Ответить на вопросы своими словами на основе лекций.
Сравнить свойства, которыми обладает формальная система Исчисление высказываний со свойствами, которыми обладает Исчисление предикатов 1 порядка как формальная система. Указать свойства, общие для обеих формальных систем. Какие свойства различаются?
Сколемовские стандартные формы. Понятие дизъюнкта.