Exercı́cio Velleman 3.5.

2. Suppose A, B, and C are sets. Prove that (A ∪ B) \ C ⊆ A ∪ (B \ C).

Scratch work:

Givens Goals
(A ∪ B) \ C ⊆ A ∪ (B \ C)
Temos que (A ∪ B) \ C ⊆ A ∪ (B \ C) é equivalente a ∀x(x ∈ (A ∪ B) \ C → x ∈ A ∪ (B \ C)).

Givens Goals
∀x(x ∈ (A ∪ B) \ C → x ∈ A ∪ (B \ C))
Suponha x arbitrário e suponha x ∈ (A ∪ B) \ C.

Givens Goals
x ∈ (A ∪ B) \ C x ∈ A ∪ (B \ C)
Observe que x ∈ (A ∪ B) \ C é equivalente a x ∈ A ∪ B ∧ x ∈
/ C.

Givens Goals
x∈A∪B∧x∈ /C x ∈ A ∪ (B \ C)
Agora note que x ∈ A ∪ B ∧ x ∈
/ C é equivalente a (x ∈ A ∨ x ∈ B) ∧ x ∈
/ C.

Givens Goals
(x ∈ A ∨ x ∈ B) ∧ x ∈
/ C. x ∈ A ∪ (B \ C)
Temos que, pela lei distributiva, (x ∈ A ∨ x ∈ B) ∧ x ∈
/ C iet (x ∈ A ∧ x ∈
/ C) ∨ (x ∈ B ∧ x ∈
/ C).

Givens Goals
(x ∈ A ∧ x ∈
/ C) ∨ (x ∈ B ∧ x ∈
/ C) x ∈ A ∪ (B \ C)
Agora note que possuı́mos uma disjunção no Given. Por isso faremos nossa prova em dois casos.
Para o caso 1, assumiremos x ∈ A ∧ x ∈
/ C. Para o caso 2, assumiremos x ∈ B ∧ x ∈
/ C.

Caso 1:
Givens Goals
x∈A∧x∈ /C x ∈ A ∪ (B \ C)
Como x ∈ A ∧ x ∈
/ C, segue que x ∈ A e x ∈
/ C.

Givens Goals
x∈A x ∈ A ∪ (B \ C)
x∈/C
Como A ∪ (B \ C) = {y|y ∈ A ∨ y ∈ (B \ C)}, e x ∈ A, segue que x ∈ A ∪ (B \ C).

Caso 2:
Givens Goals
x∈B∧x∈ /C x ∈ A ∪ (B \ C)
Note que x ∈ B ∧ x ∈
/ C é equivalente a x ∈ B \ C.

1
 Givens Goals
x∈B\C x ∈ A ∪ (B \ C)
Como A ∪ (B \ C) = {y|y ∈ A ∨ y ∈ (B \ C)}, e x ∈ B \ C, segue que x ∈ A ∪ (B \ C).

Como sabemos que x ∈ A ∧ x ∈ / C ou x ∈ B ∧ x ∈ / C, esses casos cobrem todas as possibili-

dades, então concluı́mos que x ∈ A ∪ (B \ C). Logo, como supomos x ∈ (A ∩ B) \ C, segue que
x ∈ (A∩B)\C → x ∈ A∪(B\C). Como x é arbitrário, segue que ∀x(x ∈ (A∩B)\C → x ∈ A∪(B\C)).
E portanto, disto, concluı́mos que (A ∩ B) \ C ⊆ A ∪ (B \ C)).

2. Suppose A, B, and C are sets. Prove that (A ∪ B) \ C ⊆ A ∪ (B \ C).

Prova:
Observe que mostrar (A ∪ B) \ C ⊆ A ∪ (B \ C) é equivalente a mostrar ∀x(x ∈ (A ∪ B) \ C → x ∈
A ∪ (B \ C)). Seja x arbitrário. Suponha x ∈ (A ∪ B) \ C. Note que x ∈ (A ∪ B) \ C é equivalente a
x ∈ (A ∪ B) ∧ x ∈ / C. Agora note que x ∈ A ∪ B ∧ x ∈ / C é equivalente a (x ∈ A ∨ x ∈ B) ∧ x ∈ / C.
Então, pela lei distributiva, temos que (x ∈ A ∨ x ∈ B) ∧ x ∈
/ C iet (x ∈ A ∧ x ∈/ C) ∨ (x ∈ B ∧ x ∈
/ C).
E portanto, disto segue que x ∈ A ∧ x ∈ / C ou x ∈ B ∧ x ∈/ C.
Caso 1: x ∈ A ∧ x ∈ / C. Como x ∈ A ∧ x ∈ / C, segue que x ∈ A e x ∈ / C. Como A ∪ (B \ C) =
{y|y ∈ A ∨ y ∈ (B \ C)}, e x ∈ A, segue que x ∈ A ∪ (B \ C).
Caso 2: x ∈ B ∧ x ∈ / C. Note que x ∈ B ∧ x ∈ / C é equivalente a x ∈ B \ C. Como
A ∪ (B \ C) = {y|y ∈ A ∨ y ∈ (B \ C)}, e x ∈ B \ C, segue que x ∈ A ∪ (B \ C).
Como sabemos que x ∈ A ∧ x ∈ / C ou x ∈ B ∧ x ∈ / C, esses casos cobrem todas as possi-
bilidades, então concluı́mos que x ∈ A ∪ (B \ C). Logo, como supomos x ∈ (A ∩ B) \ C, segue que
x ∈ (A∩B)\C → x ∈ A∪(B\C). Como x é arbitrário, segue que ∀x(x ∈ (A∩B)\C → x ∈ A∪(B\C)).
E portanto, disto, concluı́mos que (A ∩ B) \ C ⊆ A ∪ (B \ C)).