Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
34
I.Wstępdomatematyki
90Znaleźćnapłaszczyźnieobrazynastępującychrelacjiokreślonychwzbiorzeliczb
rzeczywistych:
a)xRyx2+y2<1,
b)xQyx+y>1,
c)xSyx=y1x=y,
d)xTy|x|<y.
100Ilejestrelacjidwuargumentowychokreślonychwzbiorze{39a91}iprzyjmują-
cychwartościwzbiorze{19+}?Wypisaćtrzyspośródtakichrelacji.
2.7.Rozwiązaniazadań
10a)(A\C)(B\C)=(AC/)(BC/)=(AB)C/=(AB)\C,
b)A\(B\C)=A(BC/)/=A(B/C)=(AB/)(AC)=
=(A\B)(AC),
c)(A\B)\C=(AB/)C/=A(B/C/)=A(BC)/=A\(BC),
d)MamyA(BA/)=(AB)(AA/)=(AB)X=AB.Stąd
A(B\A)[C\(AB)]=A(BA/)[C(AB)/]=
=(AB)[C(AB)/]=(AB)C=A(BC).
20a)AB^
(xAxB),
x
AB=A^
(xABxA)^
[(xAxB)xA].
x
x
JeżelizapiszemyxAjakoa,natomiastxBjakob,tomusimypokazać,że
(ab)[(ab)a].Dowódnp.metodą0-1.
b)Analogiczniemożnaodrazunapisaćtautologię:
(ab)[(ab)b].
c)Tutajmamy(ab)(∼b∼a).
30Zzadania2bmamyA/B/=A/B/A/,conapodstawie2cdajeAB.
ZzałożeniadodatkowoBA,więcpozostajeudowodnićzdanie[(ab)(b
a)](ab),którejestznanątautologią.Twierdzenieodwrotnejestoczywiste.
40a)Zzadania2bAB(AB=B).ZprawadeMorganamamywięc
A/B/=(AB)/=B/,c.b.d.o.
b)JeżeliXoznaczacałąprzestrzeń,to:
A=AX=A(BB/)=(AB)(AB/)=(AB/)=AB/.
(AB)\B=(AB)B/=(AB/)(BB/)=(AB/)=AB/.