За круглым столом сидят шесть человек: А, Б, В, Г, Д, Е. А: «Б — рыцарь». Б: «В — рыцарь». В: «Г — рыцарь». Г: «Д — рыцарь». Д: «Е — рыцарь». Е: «А — лжец». Найдите все возможные расстановки.
Правильный ответ
Из А$\to$Б: тип(А)=тип(Б); аналогично тип(Б)=тип(В)=тип(Г)=тип(Д)=тип(Е). Е говорит «А лжец»: если Е рыцарь — А лжец, но тип(А)=тип(Е) — противоречие. Если Е лжец — А рыцарь, тип(А)=тип(Е) — А лжец — противоречие. Решения нет: система противоречива.
💡 Авторизуйтесь, чтобы получить помощь AI-тьютора с подсказками и решениями!