Выполнить 2 задания

1. Сравнить свойства, которыми обладает формальная система

Исчисление высказываний со свойствами, которыми обладает

Исчисление предикатов 1 порядка как формальная система. Указать

свойства, общие для обеих формальных систем. Какие свойства

различаются?

2. Решить задачу.

Доказать методом резолюции справедливость рассуждения:

Если Джонс не встречал этой ночью Смита, то либо Смит был

убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не

встречал его этой ночью, и убийство имело место после полуночи.

Если убийство имело место после полуночи, то либо Смит был

убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей