Примеры задач о лжецах и тех, кто всегда говорит правду Задача 2 Встретились два горожанина Тыс и Мыс. - По крайней мере один из нас - рыцарь, - глубокомысленно изрек Тыс. - Но ты то уж точно лжец! - рассмеялся ему в лицо Мыс. Определите, кем являются оба?

Давайте разберем ситуацию. 1. Тыс говорит: "По крайней мере один из нас - рыцарь". 2. Мыс говорит: "Но ты то уж точно лжец!" **Рыцарь** всегда говорит правду, а **лжец** всегда лжет. Рассмотрим возможность, что Тыс — рыцарь (говорит правду): - Если Тыс — рыцарь, то его утверждение ("По крайней мере один из нас - рыцарь") истинно. Это значит, что Мыс может быть либо рыцарем, либо лжецом. Однако, если Мыс говорит действительно, что "ты точно лжец", это противоречит тому, что Тыс рыцарь, значит, так не может быть. Теперь предположим, что Тыс — лжец: - Если Тыс лжец, то его утверждение ("По крайней мере один из нас - рыцарь") ложно, что означает, что оба являются лжецами. Но в этом случае утверждение Тыс было бы истинным, так как по его словам хотя бы один из них - рыцарь, что приводит к противоречию. Таким образом, единственная возможность состоит в том, что Тыс — лжец, а Мыс — рыцарь: - Если Мыс рыцарь, тогда он говорит правду, и утверждение "ты то уж точно лжец!" действительно правда. Ответ: Тыс — лжец, Мыс — рыцарь.