к которому можно прийти, состоит

Единственное здравое заключение, к которому можно прийти, состоит в том, что автор этой задачи не рыцарь. Действительно, ни рыцарь, ни лжец не могли бы высказать утверждения, приведенного в задаче. Действительно, предположим, что A - рыцарь. Тогда высказывание "А - лжец или два плюс два - пять" ложно, так как оба образующих его высказывания ("А - лжец" и   "два плюс два - пять") ложны. Но это означало бы, что рыцарь A высказал ложное утверждение, что невозможно. С другой стороны, если бы A был лжецом, то сложное высказывание "А - лжец или два плюс два - пять" было бы истинным, так как первое из входящих в него простых высказываний "А - лжец" истинно. Но тогда лжец A высказал бы истинное утверждение, что также невозможно.
   Итак, условия задачи (так же как и условия задачи о всесокрушающем пушечном ядре и несокрушимом столбе) противоречивы. Следовательно, я, автор задачи, либо допустил ошибку, либо солгал. Смею уверить вас, что ошибки я не допускал. Отсюда вы с полным основанием приходите к выводу, что я не рыцарь.



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