Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rachunekzdań
Wnose
Częstozdrzsięewynikpewnegorchunkujestpoprwny
czkolwiekwrchunkutymtkwipomyk
Konrapocawerdena
Rozwmytwierdzeniewpostciimplikcji
Z#T
kt.renzwiemyprostymgdystnowidlnspunktwyjści
Twierdzenie
T#Z
nzywmyodwronmdotwierdzeni(1)twierdzenie
ŹZT
nzywmyprecwnmdo(1)ntomisttwierdzenie
ŹTZ
(1)
(1)
(15)
(1)
nzywmytwierdzeniemprecwsawnmdo(1)loonrapocątego
twierdzeniMetodzero-jedynkow(ptrzzd)nietrudnosprwdzi
etwier-
dzenieproseiprecwsawnemjzwszetsmwrtoślogicznpodonie
jktwierdzenieodwroneprecwne
Dow.dtwierdzeni(1)monwięczstpidowodemkontrpozycji
(1)tegotwierdzenizczegoczęstokorzystmywprktyce
Uwaa5Twierdzenieprosemoemieinnwrtoślogicznnitwierdze-
nieodwronedoniego
Kwadralocn
Fkteimplikcjeprost(1)iprzeciwstwn(1)orzodpowiednio
odwrotn(1)iprzeciwn(15)mjtsmwrtoślogicznczylies
r.wnowne
(Z#T)-(ŹTZ)
(17)
orz
(T#Z)-(ŹZT)
(18)
monprzedstwinrysunkuzwnymwadraemlocnm(rys1)
Implikcjezznczoneprzykońcchtejsmejprzektnejkwdrtusr.w-
nowneStdwynik
eprwdziwośdw.chimplikcjizznczonychnrys1
przykońcchjednegookukwdrtu(kt.regokolwiek)zpewniprwdziwoś
wszystkichczterechimplikcji(1)J(1)