Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rachunekzdań
Rys.
.
.Zamkn§tyuk.adtwierdze.
Zuwmyepoprzednikiimplikcjizznczonychnrys1przykoń-
cchtegosmegoumieszczonegopionowooku(ZorzŹZiodpowiednioT
orzŹT)wyczerpujwszystkiemoliwościzśnstępnikikdejztychprw
lucaąsęwaemneUkdimplikcjimjcytewściwościnzywmy
amnęmułademmplac
Kdzdw.chprtwierdzeń
Z#T
orz
i
ŹZ#ŹT
(19)
T#Z
i
ŹT#ŹZ
(10)
stnowiamnę
uładwerdeńZprwdziwościwszystkichtwierdzeń
stnowicychzmkniętyukd(twierdzeńtychmoeywięcejni
)wynik
prwdziwośwszystkichtwierdzeńdonichodwrotnychWprzypdkchukdu
(19)orzukdu(10)fktenwynikzr.wnowności(17)i(18)(ptrz
rys1)
r
ład3
Weźmypoduwgętwierdzenienlizy
Jeślicig(an)nE\jestzienyto(an)nE\jestogrniczony
(11)
mocyprwkontrpozycjitwierdzeniejestr.wnownenstępujcemu
(implikcjprzeciwstwn)
Jeścą(an)nE\nejestoranczonyto(an)nE\nejestzbeżny.(1)