Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
4
Zadania
r
ład)
Rozwmynstępujcetwierdzenienlizy
Dakażdeozboru\:Żczbrzeczywstych\jestoran-
czonyzórywtedytykowtedydystnejesup\.
Ztwierdzenitegowynik(nmocyrozw
dzenimisr.wnienstępujceimplikcje
(1)
ńwtymprgre)etwier-
Jeś\jestoranczonyzórytostnejesup\.
Jeśstnejesup\to\jestoranczonyzóry.
Jeś\nejestoranczonyzórytonestnejesup\.
Jeśnestnejesup\to\nejestoranczonyzóry.
(1)
(15)
(1)
(17)
Zkwdrtulogicznegowynik
edludowodnienitwierdzeni(1)wy-
strczyudowodnidowolnspośr.dnstępujcychprtwierdzeń(1)(1);
(15)(17);(17)(1);(1)(15)
Pytaa
1PodwrtościlogicznezdńŹpp^qpVqp#qp-q
Podprzykdnstępujcegozdnizoonego)koniunkcjiprwdziwej;
)lterntywyfszywej;c)implikcjiprwdziwej;d)r.wnownościfszy-
wej;e)negcjifszywej
m.wintepretcjezycznelterntywyikoniunkcji
piszzwizekimplikcjizlterntyw
5SformuujprwodeMorgn
Podjokreślenietutologii
7
m.wreguywnioskowni
8
m.wmetodędowodzenitwierdzeńnniewprost"
9Cotojest)kwdrtlogiczny
)zmkniętyukdtwierdzeń
adaa
1Kt.reznstępujcychwyreństutologimi
c)(p#q)^(q#p)-(p-q)
d)pV(p^r)#(ŹqVŹr)
e)(Źp)#Ź(p^q)
f)(p#q)-(Źp)Vq
g)(p#q)-(p#q)^(q#p)
)(p#q)#(q#p)
)p#(Źp^q)#q
