Universidade Federal de Santa Catarina - UFSC

Departamento de Informatica e de Estatstica - CTC - INE

INE5381 - Fundamentos Matematicos para a Informatica
Prof. Mauro Roisenberg
Lista de Exerc
cios

Data de Entrega: 1/12/1998

1. Dados os conjuntos S = f2; a; f3g; 4g e R = ffag; 3; 4; 1g, indicar se as seguin-

tes armaco~es scao Verdadeiras ou Falsas:
(a) fag 2 S
(b) fag 2 R
(c) fa; 4; f3gg  S
(d) ffag; 1; 3; 4g  R
(e) R=S
(f) fag  S
(g) fag  R
(h) ;R
(i) ;  ffagg  R  U
(j) f;g  S
(k) ;2R
(l) ;  ff3g; 4g
2. Dado o seguinte teorema:
(R  S ) ^ (S  Q) ` R  Q
Estaria correto substituir R  Q por R  Q? Explique sua resposta.
3. De o conjunto pot^encia do conjunto fa; fbgg.
4. Dado o conjunto S = fa1; a2; :::; a8g. Quais os subconjuntos representados
por B10001 e B11111? Como voc^e representaria os subconjuntos fa2; a6; a7g e
fa1; a8g?
5. Dados A = fxjx e um numero inteiro ^ 1  x  5g, B = f3; 4; 5; 17g e
C = f1; 2; 3; :::g. Achar A \ B , A \ C , A [ B e A [ C .
 6. Mostre, usando regras de infer^encia do calculo de predicados, que:
(a) A [ B = (A \  B ) [ (B \  A) [ (A \ B )
(b) A  B ` B   A
7. Desenhe Diagramas de Venn e mostre os conjuntos
 B;  (A [ B ); B ; ( A);  A [ B;  A \ B
onde A \ B 6= ;.
8. Escreva A  B  C , B 2, A3, B 2  A e A  B onde
A = f1g; B = fa; bg; C = f2; 3g:
9. Mostre atraves de exemplos que:
A  B 6= B  A e (A  B )  C 6= A  (B  C )
10. Desenhe Diagramas de Venn mostrando:
(a) A [ B  A [ C mas B 6 C
(b) A \ B  A \ C mas B 6 C
(c) A [ B = A [ C mas B 6= C
(d) A \ B = A \ C mas B 6= C