что обвинитель был бы лжецом.

Предположим, что обвинитель был бы лжецом. Тогда высказывания (1) и (2) были бы ложными. Но если высказывание (1) ложно, то X не виновен, а если ложно высказывание (2), то X и Y оба виновны. Итак, X должен был быть виновным и не виновным одновременно, что невозможно. Следовательно, обвинитель должен быть рыцарем. Значит, X в действительности виновен, а поскольку X и Y не могут быть виновными одновременно, то Y должен быть не виновен. Следовательно, X виновен, Y не виновен, и обвинитель - рыцарь.



Содержание раздела