Ученые записки математических кафедр 1968 г.

<:Ь Путём подстановки и з о т о !! ;о р и у ;ш получаем: 1 . А р ¿ у г.А р= > ~ р= > -р 3. Ар=> = > .р =>?. .=■ - р ^ « * ,. с и ,„ ^ . "■ /- Р ^ 9 ^ -> ~ Р { „ у и ^ у Сориула Г доказана. 1 ак!!и оораз с.!, ио...:'.’та системы аксиом Т доказана. <} 6. Незавпсп-усть аксиом системы 7~ а / Независим; с-ть аксиомы I Истинностные значения 0 ,1 ,2 . Выделенные значения - 0 , 1 . Лля связок * у V г - Гёделевская интер­ претация: истинностное знамение^^»^ рьрпо 0 , если знаме­ ние /О не меньше значения ^ и равно значению ^ в противном случае; значение/7*^' равно наибольшему из зна­ чений^ и ^ ; з н а ч е н и е р а в н о наименьшему их значе­ нии ^0 и ; значение о равно 0 , если значение равно 2 и равно 2 в остальных случаях. Тогда, при - £ X -0> истинностное значе­ ние формулы, выракаю^ей аксиому I , будет равно 2 . Истинност­ ные значения формул, выражающих аксиомы _П-УШ, будут всегда рярни 0 , истинностное значение формулы будет равно либо С.либо I : л ~Р 0 X с? / 4 «О ■/ X с> 0