Matemática Discreta. Lista de Exercı́cios 1.

1. Paridade.
Reformule cada sentência para a forma ”se... então...” e demostre-a.

(a) A soma de dois inteiros pares é par.

(b) A soma de dois inteiros impares é impar.
(c) A soma de um inteiro par e de um inteiro impar é impar.
(d) O produto de dois inteiros impares é impar.
(e) O produto de dois inteiros pares é par.
(f) O produto de dois inteiros consecutivos é par.

2. Divisibilidade.
Responda Verdadeiro ou Falso.
Justifique suas afirmações (demonstre ou exiba um contra-exemplo)
Sejam a, b, c ∈ Z

(a) A soma de dois pares consecutivos é divisı́vel por 4.

(b) A soma de dois impares consecutivos é divisı́vel por 4.
(c) O produto de dois pares consecutivos é divisı́vel por 8.
(d) O produto de dois impares consecutivos é divisı́vel por 3.
(e) Existem x, y ∈ Z tais que x + y = 314 e 11|x e 11|y.
(f) Se a|b e a|c então a|7b + 8c.
(g) Se a|b e b|a então a = b.
(h) Se a|b então a ≤ b.
(i) Se a|b então a|(bc)
(j) Se a|bc então a|b ou a|c.
(k) Se a|b e c|d então ac|bd.
(l) Se a|b e a|c então b|c.
(m) Se a|c e b|c e a - b então ab|c.
(n) Se ab|c então a|c e b|c.
(o) 0|a se e somente se a = 0.
(p) Seja k ∈ N, então k 2 + k + 41 é primo.
(q) 7613 é primo.
(r) 839 é primo.

1
3. Conjuntos
Responda Verdadeiro ou Falso.
Justifique suas afirmações (demonstre ou exiba um contra-exemplo)
Sendo A, B e C subconjuntos de um conjunto U qualquer.

(a) A ∪ (B × C) = (A ∪ B) × (A ∪ C)
(b) A ∩ (B × C) = (A ∩ B) × (A ∩ C)
(c) A − (B ∪ C) = (A − B) ∩ (A − C)
(d) A ⊆ B se e somente se B̄ ⊆ Ā
(e) A∆B = (A ∪ B) − (A ∩ B)
(f) 2A∪B = 2A ∪ 2B
(g) 2A∩B = 2A ∩ 2B
(h) (A − B) × C = (A × C) − (B × C)
(i) A − B = A − (A ∩ B)
(j) (A ∩ B) − C = (A − B) ∩ (A − C)
(k) Se A ⊆ B então A − C ⊆ B − C
(l) 2A − A = 2A
(m) 2A−B = 2A − 2B
(n) Se A ⊆ B então (C − A) ⊆ (C − B)
(o) Se A ∩ B = ∅ então A ⊆ B.

4. Achar uma condição necessária e suficiente e demonstre sua afirmação:

(a) A − B = B − A ⇔?
(b) A × B = φ ⇔?
(c) A∆B = A ⇔?
(d) A∆B = φ ⇔?
(e) Considerando A = {x ∈ Z tal que x|a} e B = {x ∈ Z tal que b|x}.
A ⊆ B ⇔?
(f) Considerando A = {x ∈ Z tal que x|a} e B = {x ∈ Z tal que x|b}.
A ⊆ B ⇔?
(g) Considerando A = {x ∈ Z tal que a|x} e B = {x ∈ Z tal que b|x}.
A ⊆ B ⇔?
(h) Considerando A = {x ∈ Z tal que a|x} e B = {x ∈ Z tal que x|b}.
A ⊆ B ⇔?