Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rachunekzdań
Dlkdejliczypierwszejpkdejliczyckowitejaikdejliczyckowi-
tejb
pab#(Ź(pa)#pb)
(119)
Wszczeg.lnościdlkdejliczypierwszejpikdejliczyckowiteja
paa#(Ź(pa)#pa)
(10)
ZprwClViusiprwdowodzeniwynik
e(ŹI#I)#Ijestprwem
rchunkuzdńZtemprwdziwejestzdnie
(Ź(pa)#pa)#pa
(11)
Z(10)i(11)zpomocreguysylogizmuwrunkowegownioskujemyeprw-
dziwjestfunkcjzdniow(118)codowodziprwdziwościtwierdzeni
r
ład5
Zpomoctelizero-jedynkowejwykzprwdziwośreguy
p#q7
Źp
p#Źq
Mmy
pqp#qŹqp#Źqp#q^p#ŹqŹp.p#q^p#Źq]#Źp
Poniejprzedstwimyzstosownietutologii
(p#q)-(Źq#Źp)
(p#q)-(ŹpVq)
wdowodchtwierdzeń
Pokz
Mmy
r
ład6
ejeślilicz
(1)
nturlnn2jestprzysttontejestliczprzyst
(n21przyst)#(n1przyst)#Ź(n1przyst)#Ź(n21przyst)