Lista de Exerccios 1

CB 0661 - Matemtica Discreta - 2014.2

Prof. Julio Araujo www.mat.ufc.br/~julio julio@mat.ufc.br
Universidade Federal do Cear

Aluno:

Centro de Cincias
Departamento de Matemtica

Matrcula:

Justifique todas as suas respostas.

Questo 1. Prove as seguintes equivalncias lgicas. Primeiro use a Tabela Verdade e em seguida use
as equivalncias vistas em sala.
(a) A B (A B) (A B)
(c) (x y) z (x z) (y z)
(b) A B A B
Questo 2. Simplifique as expresses a seguir usando equivalncias lgicas.
(a) (x y)
(f) (x (x y)) y
(b) (x y) (x y)
(g) (x y) (z (x y))
(c) (x y) (x y)
(h) ((x y) (y z)) (x z)
(d) x (x y) (y)
(i) (x y) (x y) (x)
(e) (x y) ((x) y) (y)
Questo 3. Escreva as sentenas abaixo e suas negaes usando linguagem lgica.
(a) Todo inteiro primo.
(b) H um inteiro que no primo nem composto.
(c) Existe um inteiro cujo quadrado 2.
(d) Para todo inteiro x, existe um inteiro y tal que xy = 1.
(e) Existe um inteiro que quando multiplicado por qualquer outro inteiro sempre resulta em 0.
Questo 4. Considerando como universo de discurso o conjunto dos nmeros naturais N, as afirmaes
a seguir so verdadeiras ou falsas?
(a) xy(2x y = 0)
(c) xy(x 2y = 0)
(b) yx(2x y = 0)

(d) x(x < 10 y(y < x y < 9))

Questo 5. Use o diagrama de Venn para verificar se as seguintes equivalncias esto corretas. Em caso
afirmativo, prove-as. Caso contrrio, exiba um contra-exemplo.
(a) (A B) \ B = A
(d) A (B \ C) = (A B) \ C
(b) A \ (A B) = A \ B
(e) (A4B) C = (A B)4(B C)
(c) (A B) \ C = (A \ C) (B \ C)
Questo 6. Complete o ltimo parntese de tal maneira que a expresso seja verdadeira.
(a) (A4B) C = (C \ A)4(

(b) (B \ A)4C = (A4C)4(

Questo 7. Para cada afirmao a seguir, prove ou apresente um contra-exemplo.

1

(a) P(A B) = P(A) P(B)

T
T
T
(b) ( F) ( G) = (F G)
Questo 8. Reescreva cada uma das seguintes afirmaes usando linguagem lgica e, em seguida, para
cada uma delas apresente uma prova ou um contra-exemplo.
(a) Se n um nmero natural maior que 2 e n no um nmero primo, ento 2n + 13 no um nmero
primo.
(b) Suponha que (A \ B) (C D) e que x A. Dessa forma, se x
/ D, ento x B.
(c) Sejam x e y nmeros reais tais que x 6= 3 e x2 y = 9y. Consequentemente, y = 0.
(d) Se P verdade, ento Q (Q P ) tambm o .
(e) Suponha que A \ B disjunto de C e que x A. Logo, se x C, ento x B.
(f) Se x + y = 2y x e x e y no so ambos iguais a zero, ento y 6= 0.
(g) Para todo nmero real x, se x > 2, ento existe um nmero real y tal que y +

1
y

= x.

(h) Sejam B um conjunto e F uma famlia de conjuntos. Se F P(B), ento F B.

(i) Se x A(x 6= 0) e A B, ento x B(x 6= 0).
(j) Suponha que F e G so famlias de conjuntos. Se F e G so disjuntos, ento F e G tambm so
disjuntos.
(k) xP (x) xP (x).
(l) x(P (x) Q(x)) (xP (x)) (xQ(x))
(m) Se x e y so inteiros mpares, ento xy tambm o .
(n) Se m um inteito par e n um inteiro mpar, ento n2 m2 = n + m.
(o) Suponha que F and G so famlias de conjuntos. Ento (F G) ((F) (G)).
(p) Para todo inteiro n, 15|n se, e somente se, 3|n e 5|n.
(q) Se A C B C e A C B C, ento A B.
(r) Para todo nmero real x, se |x 3| > 3, ento x2 > 6x .
(s) Para quaisquer conjuntos A, B e C, temos que A \ C (A \ B) (B \ C).
(t) Para quaisquer conjuntos A, B e C, temos que (A B)4C (A4C) (B4C).
(u) Se xP (x) xQ(x), ento x(P (x) Q(x)).
(v) Para todo nmero real x existe um nico nmero real y tal que x2 y = x y.
(w) Para todo nmero real x, se x 6= 0 e x 6= 1, ento existe um nico nmero real y tal que y/x = y x.
Questo 9. Prove que para quaisquer conjuntos A, B, C e D, se A B e C D so disjuntos, ento
ou A e C so disjuntos ou B e D so disjuntos.
Questo 10. Sejam A = {1, 2, 3}, B = {4, 5}, C = {6, 7, 8}, R = {(1, 7), (3, 6), (3, 7)} e S = {(4, 7), (4, 8), (5, 6)}.
(a) Represente as relaes R e S por meio de grafos direcionados.
(b) Determine os domnios, imagens e relaes inversas de R e S.
2

(c) Determine S 1 R e R1 S.

Questo 11. Sejam R e S relaes de A para B. Prove ou mostre um contra-exemplo para os itens:
(a) R Dom(R) Im(R).
(b) Se R S, ento R1 S 1 .
(c) (R S)1 = R1 S 1 .

Questo 12. Sejam R1 e R2 relaes em A. Prove ou mostre um contra-exemplo para:

(a) Se R reflexiva, ento R1 reflexiva.
(b) Se R simtrica, ento R1 simtrica.
(c) Se R transitiva, ento R1 transitiva.
(d) Se R1 e R2 so reflexivas, ento R1 R2 reflexiva.
(e) Se R1 e R2 so simtricas, ento R1 R2 simtrica.
(f) Se R1 e R2 so transitivas, ento R1 R2 transitiva.

Questo 13. Sejam R uma ordem parcial em A e B A. Prove que:

(a) R uma relao simtrica e anti-simtrica em A se, e somente se, R idA .
(b) R (B B) ordem parcial em B.
(c) b um elemento R-mnimo de B se, e somente se, b um elemento R1 -mximo de B.
(d) Se B1 B2 A, x1 o menor lim. sup. para B1 e x2 o menor lim. sup. para B2 , ento x1 Rx2 .