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
pq
Mmy
pqp#qŹqpqp#q^pqŹp.p#q^pq]#Źp
Poniejprzedstwimyzstosownietutologii
(p#q)-(Źqp)
(p#q)-(ŹpVq)
wdowodchtwierdzeń
Pokz
Mmy
r
ład6
ejeślilicz
(1)
nturlnn2jestprzysttontejestliczprzyst
(n21przyst)#(n1przyst)#Ź(n1przyst)(n21przyst)