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

- 55 - б/ Если /7 и - ппф, то и / 7 у ~ р суть такхе ппф. Правила вывода: I / Из [ Д ^ в ] „ д след;(е1 3 / Если 'б - переменная, то из ^ следует Т^з Р /подстановка/. Исходный набор истинных формул /аксиомы/: I. р => '% 5=1 Рт п. ^У* р 7Т ^ ^ ЭЛ у1. /Оо 7 Фреге р * ^ аКСИ°М ^ отличается от системы аксиом еще аавогГ • Т°Ы’ ЧТ0 Б системе аксиом Рг пмеотсЯ • 8а«сн переменыпосылок- ^ ух аксиом, ту и и _ Д войного п ,. н у » имеется одна аксиома / то отрицания/? Но з "*^ 1У и у г. отрицания немедлепно получается из а,<с1 „ -*^ицани с п°мосц>ю . »КЙО.РП ».. 'ЬеоСсы Что ка-сае5 с - “дает ся зако ' . Ся лишней в аксмп С Пер&иевы посылок, то эта аксиома ксиоыат1п,„ . аксиоматИКй * ДвУх аксиоц. Реге и м°кет быть выведена й»г из