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

всех возможных значениях входящих в них ■' лшу . прини­ мают значение 0. г/ Независимость аксиомы 1У Так как аксиома П /закон исключенного третьего/ .недоказуема в интуиционистской система,то и л житель­ ства независимости этой аксиомы можно и р н ы е одну из ин­ терпретации Геделя^ Иоано, например, впять следующие истинностные таблицы: - 59 - Р О / 'Р Р_ Р / £ •Р Р Р * 'Р 7 Тогда при значении Р , равном I , истинностное значение аксиоии 1У будет также I . Все остальные аксиомы при любых истинностных значениях входящих в них переменных будут при- нимать значение 0. Л д/ Независимость аксиомы Д. Истинностные таблицы: р £ Н 0 р 0 0 (? у - / 1 0 У У I " 0,1. Выделенное значение - л 1 0 рУ ~Р 0 0 0 0 0 У 0 1 0 о