На дне открытых дверей в университете собрались два типа абитуриентов: рыцари, которые всегда говорят правду, и лжецы, которые всегда лгут. На эту конференцию случайно зашёл…
На дне открытых дверей в университете собрались два типа абитуриентов: рыцари, которые всегда говорят правду, и лжецы, которые всегда лгут. На эту конференцию случайно зашёл студент, который уже поступил в ВУЗ и не интересуется вопросами поступления. Однако, придя на день открытых дверей, студент заблудился. К счастью, в блужданиях он встретил двух абитуриентов: Ивана и Павла (так было написано на их бейджах). Наш герой знает, что все пары абитуриентов на дне открытых дверей состоят из одного рыцаря и одного лжеца (а перед ним как раз пара абитуриентов!). Прежде чем узнать у них дорогу, студент решил сначала выяснить, кто из них, кто, и спросил: «Как мне определить, кто из вас рыцарь, а кто - лжец?». Иван ответил на это: «По крайней мере один из нас лжец». Кто из двух персонажей рыцарь, кто лжец? Достаточно ли информации, которую сообщил Иван, чтобы •однозначно определить, кем является каждый из них? Иван - лжец. Павел - рыцарь. Да, достаточно. Иван - рыцарь. Павел - рыцарь. Да, достаточно. Иван - лжец. Павел - лжец. Да, достаточно. Иван - рыцарь. Павел - лжец. Да, достаточно. Иван - лжец. Павел - лжец. Нет, недостаточно. Иван - рыцарь. Павел - рыцарь. Нет, недостаточно. Иван - лжец. Павел - рыцарь. Нет, недостаточно. Иван - рыцарь. Павел - лжец. Нет, недостаточно.
Чтобы разобраться с ситуацией, давайте проанализируем утверждение Ивана: «По крайней мере один из нас лжец».
Предположение, что Иван - рыцарь:
- Если Иван говорит правду, значит, его утверждение "по крайней мере один из нас лжец" также истинно.
- Но если Иван - рыцарь, то это противоречие, поскольку он не может быть лжецом. Таким образом, это предположение неверно.
Предположение, что Иван - лжец:
- Если Иван - лжец, то его утверждение "по крайней мере один из нас лжец" ложно.
- Это значит, что оба (Иван и Павел) должны быть правдой, что противоречит условию, что один из них - рыцарь.
Следовательно, единственное логическое заключение:
- Иван - лжец, а Павел - рыцарь.
Теперь о том, достаточно ли этой информации для однозначного определения: Так как мы пришли к выводу, что Иван — лжец, а Павел — рыцарь, имеем четкое определение для каждого из абитуриентов. Учитывая вышеизложенное, ответ:
Иван - лжец. Павел - рыцарь. Да, достаточно.
