Весьма распространены различные задачи-шутки такого типа. Читателю, вероятно, известна история про царя, который за правду ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Гиндикин С.Г. Алгебра логики в задачах


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

(cкачать страницу)

Смотреть книгу на libgen

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