Задача о трех греческих богинях:
Гере, Афине и Афродите
Богини Гера, Афина и Афродита пришли к юному Парису, чтобы тот решил, кто из них прекраснее.
Представ перед Парисом, богини высказали следующие утверждения:�
Я самая прекрасная!
Я самая прекрасная! Гера не самая прекрасная.
Я самая прекрасная!
Афродита не самая прекрасная.
Гера
Афродита
Афина
Парис предположил, что все утверждения прекраснейшей из богинь истинны, а все утверждения двух других богинь ложны.
Мог ли Парис вынести решение, кто прекраснее из богинь?
Решение.
Гера =«Гера самая прекрасная»,
Афина =«Афина самая прекрасная»,
Афродита =«Афродита самая прекрасная».
Представим в таблице истинности высказывания каждой богини.
Так как самая прекрасная только одна из них, составим не всю таблицу, а только её фрагмент, содержащий наборы входных переменных: 001, 010, 100.
Гера | Афина | Афродита | Гера | Афина | Афродита | ||
Я самая прекрасная | Я самая прекрасная | Афродита не самая прекрасная | Я самая прекрасная | Гера не самая прекрасная | |||
1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
Исходя из того, что правду говорит только самая прекрасная, следует искать в
таблице строки, содержащие у двух богинь только 0, а у одной только 1. Это третья строка.
Ответ:
Афродита – самая прекрасная из богинь.
Задача основана на мифе «Суд Париса».
Суд Париса — сюжет древнегреческой мифологии о пасторальном конкурсе красоты, на котором троянский царевич Парис выносит свой вердикт трём богиням. Вы можете подробнее изучить события, которые последуют
за этим вердиктом, а именно — Троянскую войну.