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

- 56 - '-'‘ сиотеш аксиом исчисления 3 получается "ад"°Та “ • » « фреге / ? и »а того факта, Яа0 аксиомы смерд*™ /-) Тео о геиИ являются либо аксиомами, либо исчисления 3 . Непротиворечивость исчисления *ВДясц.я следствием того, что аксиомы и теоремы исчис­ ления О НРПоитл - яюуся тождественно истинными з обычно*! интерпре­ тации. связ В »счислении 3 связка V определена лишь как ЭКа’ СЗязыва‘СЩая произвольную формулу с ее отрицанием. -О...но дать, например, следующее, общее определе- НИ8 связки V ; Л v З Д ^ > 3 “Р" 310и “ <=■">«> П перейдет в Формул, ^ОТОгш * я является тоЕдественно истинно*! в обычной интерпре­ тации. § Независимость аксиом исчисления 3 Докажем независимость аксиом исчисления^. а/ Независимость аксиомы I Для доказательства независимости аксиомы I рас- 0 ^ следующую интерпретацию. Истинностные значения: »2»3,л. Выделенные значения: 0 , 1 . Истинностные таблицы: