Доказать справедливость рассуждения методом резолюции Либо Петя поехал отдыхать на юг, либо, если Петя не сдал вовремя сессию, то ему пришлось каникулы провести дома. Если Петя поехал отдыхать на юг, то он сдал сессию вовремя. Следовательно, если Петя
- Информатика
Условие:
Доказать справедливость рассуждения методом резолюции
Либо Петя поехал отдыхать на юг, либо, если Петя не сдал вовремя сессию, то ему пришлось каникулы провести дома. Если Петя поехал отдыхать на юг, то он сдал сессию вовремя. Следовательно, если Петя не сдал сессию вовремя, то ему пришлось каникулы провести дома.
Введем буквенные обозначения для атомарных высказываний:
Подставляем обозначения для атомов:
Либо A, либо, если не B то C.
Если А, то B
Формализация рассуждения.
Aν (¬B→ C), A→B ├ ¬B → C
В формализованном рассуждении из четырёх посылок следует заключение
¬B → C
Aν (¬B→ C),
A→B
¬B → C
Решение:
Доказываем логическое следствие заключения B C из посылок A (B C), AB
Доказательство методом резолюции выполняется только от противного: к произведению всех посылок добавляем отрицание заключения:
Приводим к КНФ:
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства