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

1. Двумя способами (методом резолюций и применением секвенциального исчисления)
средствами логики высказываний выяснить, имеет ли место логическое следствие.
При отрицательном ответе привести соответствующий набор истинностных значений.
Если бриллиант был похищен, то сейф был взломан или шифр был подобран.
Если шифр был подобран или Смит не является преступником,то бриллиант был похищен. Если сейф был взломан, то Смит --- преступникили бриллиант не был похищен.
Шифр не был подобран. Следовательно, Смит --- преступник.
2. Формализовать в языке исчисления предикатов.
1. В сигнатуре с двумя трёхместными предикатными символами S, P для суммы и
произведения соответственно.
«Всякое число можно представить в виде суммы двух простых».
2. В сигнатуре с одноместными предикатными символами Т (точка), Пр (прямая), Пл
(плоскость) и одним двухместным символом Л (лежать на).
«Если две плоскости имеют общую прямую, то они имеют по крайней мере две различные общие точки».
3. Подбирая подходящую сигнатуру.
«Каждый, кто жужжит --- пчела, но некоторые пчелы делают мед».