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

ЕРЛИ 1 р принимает ист ишюстнсе. зна «енне I, то и фор:¿Улб , ь а '.таю::'.: ■ 1 К и му У, принимает значение I. Осталь ние «ЛС;1 ТОЖ 'СТВв! но исти ними !:Орнулами. в/ .0 -.3ПОД Ис инноетн:. значения 0, I. Выделеиное значение - 0. Истпнностн табл щи: Р ? Р Л/ Р ~Р р у 0 0 0 / о / 0 / 0 / 0 1 0 0 1 / 1 / и 1 / 0 При значении Р , равном 0, аксиомы УТ принимает истинностное значение I. Остальные формулы длп аксиои тоя- доственно и с т и н н ы . С 4. Удаление закона исключенного третьего из системы аксиом В Рассмотрим систему аксиом 3 / , которая получается из системы аксиом 3 , если из системы 3 удалить аксиому ГУ /закон исключенного третьего/. С помощью разрешающей процедуры, установленной Генценом, мокно показать \}Ц , что все аксиомы системы 3 , являются формулами, выводимыми в интуиционистском исчисле­ нии высказываний, Следовательно, логическое исчисление, опи­ сываемое аксиомами содержится в интуиционистском исчисле нии. Однако это исчисление не охватывает всего интуиционисти