Решить 2 задания

1. Сравнить свойства, которыми обладает формальная система
Исчисление высказываний со свойствами, которыми обладает
Исчисление предикатов 1 порядка как формальная система. Указать
свойства, общие для обеих формальных систем. Какие свойства
различаются?
2. Решить задачу.
Доказать методом резолюции справедливость рассуждения:
Если Джонс не встречал этой ночью Смита, то либо Смит был
убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не
встречал его этой ночью, и убийство имело место после полуночи.
Если убийство имело место после полуночи, то либо Смит был
убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей