атомами;

хибними;

істинними;

формулами.

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

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

Предикати 

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

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

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

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

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

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

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

C^k_n∙A^k_m

A^k_n∙A^k_m

C^k_n+C^k_m

 C^k_n∙C^k_m

4

3

1

2

завершеним

повним

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

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

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

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

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

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

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

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

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

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

1+0=0.

1+1=0;

1+1=2;

1+1=1;