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

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

Предикати 

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

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

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

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

додавання по модулю 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

завершеним

повним

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

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

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

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

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

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

уповільнювач курка

перевідник

пружина уповільнювача курка

спусковий гачок

вісь