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

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



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