Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций. Каждый, кто силен и умен, добьется успеха. Петр силен и умен. Значит, Петр добьется успеха.
«Установить правильность рассуждения, построив вывод исчисления высказываний. Проверить вывод методом резолюций. Каждый, кто силен и умен, добьется успеха. Петр силен и умен. Значит, Петр добьется успеха.»
- Высшая математика
Условие:
1. Установить правильность рассуждения, построив вывод исчисления высказываний.
2. Проверить вывод методом резолюций.
Каждый, кто силен и умен, добьется успеха. Петр силен и умен. Значит, Петр добьется успеха.
Решение:
Обозначим:
А = х сильный;
В = х умный;
С = х добьется успеха.
Р = Петр
Посылки:
П1: 
х(А ˄ В С);
П2: = Р А ˄ В.
Заключение:
Р С.
Нужно построить следующий вывод:
A ˄ BС, РА˄В ├ РС.
Построим вывод:
(1) A ˄ BС гипотеза;
(2) РА˄В гипотеза;
(3) P C из (2) и (1) по правилу силлогизма;
Проверим вывод методом резолюций. Для э...
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
S
А
Б
В
Г
И
К
М
П
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
С
Т
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства
Ф
Э