Условие:
1. Установить правильность рассуждения, построив вывод исчисления высказываний.
2. Проверить вывод методом резолюций.
![]()

1. Установить правильность рассуждения, построив вывод исчисления высказываний.
2. Проверить вывод методом резолюций.
![]()
Построим вывод:
(1)
гипотеза;
(2)
гипотеза;
(3) гипотеза;