Доказать или опровергнуть следующие утверждения, используя метод резолюций Область определения: люди этого колледжа. Все выпускники Итона в этом колледже играют в крикет. Никто, кроме преподавателей, не обедает за верхним столом. Ни один из тех, кто

Добавлена: 06.05.2026
Обновлена: 06.05.2026
Предмет: Логика
Автор: Кэмп

#Теория доказательств
#Символическая логика

Условие:

Доказать или опровергнуть следующие утверждения, используя метод резолюций
Область определения: люди этого колледжа.
Все выпускники Итона в этом колледже играют в крикет. Никто, кроме преподавателей, не обедает за верхним столом. Ни один из тех, кто играет в крикет, не умеет грести. Все мои друзья в этом колледже – выпускники Итона. Все преподаватели – прекрасные гребцы. Все мои друзья обедают за нижним столом

Решение:

Наша цель – с помощью метода резолюций показать, что из приведённых утверждений логически вытекает вывод:

«Все мои друзья обедают за нижним столом»,
то есть, если x – мой друг (friend(x)), то x не обедает за верхним столом (¬dineUpper(x)).

Ниже приведён пошаговый вывод.

─────────────────────────────

Формализуем исходные утверждения. Для удобства будем работать в области людей этого колледжа. Обозначим:

• gradE(x): x – выпускник Итона.
• cricket(x): x играет в крикет.
• friend(x): x – мой друг.
...