Сталі: імена об’єктів, числа;

Предикати 

Логічні операції 

Логічні операції 

які належать одній або іншій множині;

які належать обом множинам.

заперечення,  кон’юнкція,  диз’юнкція;

диз’юнкція,  кон’юнкція,  заперечення;   

кон’юнкція,  диз’юнкція,  заперечення; 

додавання по модулю 2, диз’юнкція,  кон’юнкція,  заперечення;   

C^k_n∙A^k_m

 C^k_n∙C^k_m

C^k_n+C^k_m

A^k_n∙A^k_m

3

4

2

1

збалансованим

завершеним

впорядкованим

повним

правила побудови понять і силогізмів;

правила мислення.

форми і закони правильного мислення;

правила побудови визначень і доведень;

бінарні і небінарні

алгоритмічні та неалгоритмічні

рівномірні та нерівномірні

прості і складні

1+1=0;

1+0=0.

1+1=1;

1+1=2;