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
ŹZT
(19)
T#Z
i
ŹTZ
(10)
stnowiamnę
uładwerdZprwdziwościwszystkichtwierdzeń
stnowicychzmkniętyukd(twierdzeńtychmoeywięcejni
)wynik
prwdziwośwszystkichtwierdzeńdonichodwrotnychWprzypdkchukdu
(19)orzukdu(10)fktenwynikzr.wnowności(17)i(18)(ptrz
rys1)
r
ład3
Weźmypoduwtwierdzenienlizy
Jeślicig(an)nE\jestzienyto(an)nE\jestogrniczony
(11)
mocyprwkontrpozycjitwierdzeniejestr.wnownenstępujcemu
(implikcjprzeciwstwn)
Jeścą(an)nE\nejestoranczonyto(an)nE\nejestzbeżny.(1)