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