Следовательно, независимо от того, виновен или не виновен A, подсудимый D должен быть виновен. Таким образом, виновность D не вызывает сомнений. Виновность всех остальных подсудимых остается под сомнением.
81. Все подсудимые виновны. Действительно, в силу высказывания (3) если D не виновен, то A виновен. В силу высказывания (4) если D виновен, то A виновен. Следовательно, независимо от того, виновен или не виновен D, подсудимый A должен быть виновен. Тогда в силу высказывания (1) B также виновен. Из высказывания (2) мы заключаем, что либо C виновен, либо A не виновен. Поскольку уже известно, что A не невиновен, то C должен быть виновен. Наконец, из высказывания (3) следует, что если D не виновен, то C не виновен. Но мы уже доказали, что C не невиновен, поэтому D должен быть виновен. Итак, все подсудимые виновны.
82. Вполне разумно: оно помогло подсудимому снять с себя все подозрения! Действительно, предположим, что подсудимый — рыцарь. Тогда его высказывание истинно, и виновный — лжец. Следовательно, подсудимый должен быть не виновен. С другой стороны, предположим, что подсудимый — лжец. Тогда его высказывание ложно, поэтому тот, кто совершил преступление, — рыцарь. Следовательно, и в этом случае подсудимый не виновен.
83. Предположим, что обвинитель был бы лжецом. Тогда высказывания (1) и (2) были бы ложными. Но если высказывание (1) ложно, то X не виновен, а если ложно высказывание (2), то X и Y оба виновны. Итак, X должен был быть виновным и не виновным одновременно, что невозможно. Следовательно, обвинитель должен быть рыцарем. Значит, X в действительности виновен, а поскольку X и Y не могут быть виновными одновременно, то Y должен быть не виновен. Следовательно, X виновен, Y не виновен, и обвинитель — рыцарь.
84. Если бы обвинитель был лжецом, то тогда
1) X и Y оба были бы виновны;
2) X был бы виновен.
И в этом случае мы бы опять пришли к противоречию. Следовательно, обвинитель — рыцарь, X не виновен, а Y виновен.
85. Предположим, что обвинитель был бы лжецом. Тогда высказывание (1) ложно, поэтому X виновен и Y не виновен. Следовательно, X виновен. Но высказывание (2) также ложно, поэтому X не виновен, и мы приходим к противоречию. Значит, в этой задаче, так же как и в предыдущей, обвинитель — рыцарь. Тогда в силу высказывания (2) X виновен. Из высказывания (1) (так как X не невиновен) мы заключаем, что Y виновен. Следовательно, в этом случае X и Y оба виновны.
