I. Ülesanded

A. Matemaatilise loogika abita lahenduvad ülesanded.

B. Lausearvutuse abil lahenduvad ülesanded.

C. Klasside loogika abil lahenduvad ülesanded

a) Põhiülesanded

b) Tehnilise sisuga ülesanded

c) Ülesanded aritmeetika elementidega.

II. Ülesannete lahendused. Teooria.