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