Universidade de Braslia

Departamento de Matematica

Algebra
1 - Turma D 2o/2016
1a Lista de Exerccios Conjuntos
Prof. Jose Antonio O. Freitas
Exerccio 1: Em cada um dos seguintes itens, determine se a afirmacao e verdadeira ou
falsa. Se for verdadeira, demonstre-a. Se for falsa, exiba um exemplo mostrando que a
afirmacao e falsa.
a) Se x P A e A B, entao x P B.
b) Se A B e B C, entao A C.
c) Se A B e B C, entao A C.
d) Se x P A e A B, entao x R B.
e) Se A B e x R B, entao x R A.
Exerccio 2: Demonstre que:
a) Se A B e C D, entao A X C B X D.
b) Se A B e C B A, entao A B C.
c) Se A X B H e A Y B C, entao A C B.
d) Se A Y B E, entao CE pAq B.
e) Se A X B H, entao A Y CE pBq CE pBq.
f) A B se, e somente se, A B B A;
g) A B se, e somente se, A B H;
h) A Y B H se, e somente se, A H e B H;
i) A Y B A X B se, e somente se, A B;
j) CE pAq CE pBq se, e somente se, A Y B A;
k) CE pAq CE pBq se, e somente se, A X B B;
l) A B se, e somente se, A X B A.
Exerccio 3: Demonstre as seguintes igualdades.
a) A Y pCE pAq X Bq A Y B;
b) A X pCE pAq Y Bq A X B;

c) pA Bq C A pB Y Cq;
d) A Y pB Cq pA Y Bq pC Aq;
e) A X pB Cq pA X Bq pA X Cq;
f) A pB Y Cq pA Bq X pA Cq;
g) A pB X Cq pA Bq Y pA Cq;
h) pA Y Bq C pA Cq Y pB Cq;
i) pA X Bq C pA Cq X pB Cq;
j) pA X Bq X pA Bq pA Bq X pB Aq H;
k) pA Bq Y pB Aq pA Y Bq pA X Bq;
l) A pA Bq A X B;
m) pA Bq B A B;
n) A Y pB X pA Y Cqq A Y pB X Cq;
o) CE pA X pB Y Cqq CE pAq Y pCE pBq X CE pCqq.
p) CE pA X B X Cq CE pAq Y CE pBq Y CE pCq.
q) CE pA Y B Y Cq CE pAq X CE pBq X CE pCq.