Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций. Каждый, кто силен и умен, добьется успеха. Петр силен и умен. Значит, Петр добьется успеха.

Обозначим:

А = х сильный;

В = х умный;

С = х добьется успеха.

Р = Петр

Посылки:

П1: х(А ˄ В С);

П2: = Р А ˄ В.

Заключение:

Р С.

Нужно построить следующий вывод:

A ˄ BС, РА˄В ├ РС.

Построим вывод:

(1) A ˄ BС гипотеза;

(2) РА˄В гипотеза;

(3) P C из (2) и (1) по правилу силлогизма;

Проверим вывод методом резолюций. Для э...