Любое предложение - Большая Энциклопедия Нефти и Газа, статья, страница 4
Пока твой друг восторженно держит тебя за обе руки, ты в безопасности, потому что в этот момент тебе видны обе его. Законы Мерфи (еще...)

Любое предложение

Cтраница 4


Все дело в том, что к любому предложению всегда можно добавить фиктивные кванторы, не меняя при этом его смысла.  [46]

А &-А э В ( из противоречия следует любое предложение, & - знак конъюнкции и) или - А: э з ( Л: э В) - к интуиционистской логике высказываний, а дальнейшее присоединение закона снятия двойного отрицания - пЛ: э А или закона исключенного третьего А V - А ( где V - знак дизъюнкции или) - к классич. АУ-А) доказуемо в интуиционистском, а фактически даже в минимальном исчислении высказываний, поэтому присоединение к последнему закона - - А: э А дает и A Vi / 4H, как легко доказать, также A & - iA В п тем самым классич. AV - iA к минимальному исчислению приводит к более слабой системе сильного отрицания ( термин Фитча), не содержащей законов - - А z А и А &-А В. Закон А э - г А имеет место в минимальном - и подавно в интуиционистском и в классич. Коль скоро нек-рое предложение считается истинным, О.  [47]

Не следует, однако, думать, что любое предложение является высказыванием. Нельзя считать высказываниями и многие равенства с буквами ( переменными); например, 3 - f x 7 не есть высказывание.  [48]

Это означает, что выражение 79 отбрасывается при любом предложении а, так как а является здесь интерпретационной переменной.  [49]



Страницы:      1    2    3    4