1. Главная
  2. Библиотека
  3. Высшая математика
  4. Установить правильность рассуждения, построив вывод исч...
Решение задачи

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

  • Высшая математика

Условие:

1. Установить правильность рассуждения, построив вывод исчисления высказываний. 

2. Проверить вывод методом резолюций.

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

Решение:

Обозначим:

А = х сильный;

В = х умный;

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

Р = Петр

Посылки:

П1: х(А ˄ В С);

П2: = Р А ˄ В.

Заключение:

Р С.

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

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

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

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

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

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

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

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет