Проверить аргумент методом резолюций. Получить все следствия из данных посылок. «Галя и Борис – ровесники или Галя старше Бориса. Если Галя и Борис - ровесники, то Оля и Борис разного возраста, Если Галя старше Бориса, то Борис старше Коли. Следовательно,

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

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

Условие:

Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
«Галя и Борис – ровесники или Галя старше Бориса. Если Галя и Борис - ровесники, то Оля и Борис разного возраста, Если Галя старше Бориса, то Борис старше Коли. Следовательно, Оля и Борис – разного возраста или Борис старше Коли».

Решение:

Переведём утверждения на язык пропозиций. Обозначим:
\tP: «Галя и Борис – ровесники»
\tQ: «Галя старше Бориса»
\tR: «Оля и Борис – разного возраста»
\tS: «Борис старше Коли»

Таким образом, получаем следующие посылки:
1) P ∨ Q («Галя и Борис – ровесники или Галя старше Бориса»)
2) P → R, что равносильно: ¬P ∨ R («Если Галя и Борис – ровесники, то Оля и Борис – разного возраста»)
3) Q → S, что равносильно: ¬Q ∨ S («Если Галя старше Бориса, то Борис старше Коли»)

Вывод (заключение), которое нужно доказать:<br /...