Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
14
(tA)*∼(0ą∼0)
pozostałeprawa:
(if)∼(0ąβ)ą(0ą∼β)
Wstęp
tezaArystotelesa
(druga)
(dd)ą((0ąβ)ą(γąδ))ą(((0ąβ)ą∼(γąδ))ą∼(0ąβ))
(pkr)*(0ąβ)ą(∼βą∼0)
(F3)∼0ą∼(0ą0)
(F4)(∼0ą∼β)ą((∼0ą∼∼β)ą0)
(F4)ą(∼XąY)ą((∼Xą∼Y)ąX),gdzieX=0ąβ,Y=γąδ
(F5)∼(0ą∼∼0)ą0
(F6)∼(0ąβ)ą0
(F6)*∼(0ąβ)ą∼β
(F7)0ą∼(0ą∼0)
(F8)(0ąβ)ą∼(0∧∼β).
II.Reguływnioskowania
(RO)0,0ąβ/β
(EFQ)0,∼0/β
(DK)0,β/0∧β
(Syll)0ąβ,βąγ/0ąγ
modyfikacjeregułyexfalsoquodlibet:
(EFQ)*0,∼0/β,οile0∉var
(EFQ)(nn)*0ą∼∼0,0,∼0/β
(EFQ)o∼(0∧∼0),0,∼0/β
(EFQ)(n)0(n),0,∼0/β.
(EFQ)⊥0∨∼0,∼(0∨∼0)/β.
III.Zbioryaksjomatów:
regułaodrywania
regułaexfalso
quodlibet
reguładołączania
koniunkcji
regułasylogizmu
(AC
ω)0,oile0jestaksjomatemsystemuC
ωdaCosty
(AC
min)0,oile0jestaksjomatemsystemuC
min
(AH+)0,oile0jestaksjomatempozytywnejczęścilogikiHilberta.
