Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Zadania
5
Jeeliimplikcjęp#qnzwiemyprosttoimplikcjęq#pnzywmy
odwrotn(Źp)#(Źq)-przeciwnzś(Źq)#(Źp)przeciwstwn
Wykz
er.wnownoś
(q#p)-(Źp)#(Źq)
jesttutologi
Sprwdziczynstępujcewyrenisregumidowodzeni
c)
d)(P^-))2
Czymoesięzdrzy
)V(P)-)
)(Pv-))2
P)-)VP)-
(V2^-))VP
P)-
P
-
e
fszywe
)zdniep#qjestprwdziwentomistzdnie(Źp)#(Źq)jest
fszywe
)zdnieq#pjestprwdziwentomistzdnie(Źp)#(Źq)jest
5Czyzdni
c)zdnieq#pjestprwdziwentomistzdniep#qjestfszywe
)x2>1orzx>1
)x2<1orzx<1
sr.wnownedlkdegorzeczywistegox
7
Czydwzdni
c)sinI:1orzcosI:0
d)sin2I:1orzcosI:0
sr.wnowne
)śorz;
)sin0O:/
2orzcos0O;
2
jkiejregulewnioskowniopiersięnstępujceznnestoikomrozu-
mowniepodneprzezrigines
Jeelwes,eumarłeś,oumarłeś
Jeelwes,eumarłeś,oneumarłeś
węcnewes,eumarłeś
8Udowodnimetodzero-jedynkowfszywośr.wnowności
9Przeprowdzinlizęlogiczndowod.wtwierdzeń
)(/#T)-(T#/)
)(Ź/#ŹT)-(ŹT#Ź/)
przyjmujctwierdzenie
)Ź(a>a)woprciuotwierdzenie(a>b)#Ź(b>a)
)(a>b)^(Ź(c#b))#Ź(ac:bc)
(a>b)^(c>a)-ac>bc7(a>b)^(c<a)#ac<bc
Ź(a:b)-(a>b)V(a<b)
