Аксиомы и правила вывода

 

Исчисление высказываний определяется следующим образом.

Пример 7. аксиом II:

 

Понятие предиката

 

Пример 8.

Кванторы общности и существования

 

Пример 9.

Равносильные формулы логики предикатов

 

Исчисление предикатов