Условие задачи
1. Установить правильность рассуждения, построив вывод исчисления высказываний.
2. Проверить вывод методом резолюций.
Если идет дождь, то крыши мокрые. Крыши не мокрые. Следовательно, дождя нет.
Ответ
Обозначим:
А = Идет дождь;
В = Крыши мокрые.
Тогда:
Нужно построить следующий вывод: