Весьма распространены различные задачи-шутки такого типа. Читателю, вероятно, известна история про царя, который за правду ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Гиндикин С.Г.
Алгебра логики в задачах
Весьма распространены различные задачи-шутки такого типа. Читателю, вероятно, известна история про царя, который за правду отрубал чужеземцу голову, а за ложь - вешал, и про то, в какое безвыходное положение поставил царя путешественник, заявивший, что его повесят. Причина возникающих парадоксов состоит в том, что здесь высказывание в целом неявно содержится в самом себе как простое высказывание и при определении значения истинности высказывания уже нужно знать заранее это значение. Такого рода ситуации невозможны для сложных высказываний, являющихся формулами при-принятой нами индуктивной конструкции формул с помощью основных логических операций.