Exercise 3.4.

3
Suppose A ⊆ B. Prove that for every set C, C \ B ⊆ C \ A.

Scratch work
Podemos representar o problema como:
Givens Goal
A⊆B ∀C(C \ B ⊆ C \ A)
Seja C um conjunto arbitrário, então o problema se torna:
Givens Goal
A⊆B C \B ⊆C \A
Note que o goal é equivalente à ∀x(x ∈ C \ B → x ∈ C \ A). Assim, tome x arbitrário
e suponha x ∈ C \ B:
Givens Goal
A⊆B x∈C \A
x∈C \B
No given 2 temos x ∈ C \ B que é equivalente à x ∈ C ∧ x ∈ / B (def. diferença de
conjuntos). Então, podemos tratá-lo como dois givens separados:
Givens Goal
A⊆B x∈C \A
x∈C
x∈/B
O goal é equivalente à x ∈ C ∧ x ∈ / A (def. diferença de conjuntos). Então, podemos
tratá-lo como dois goals diferentes.
Conforme discutido no capítulo, mostremos primeiramente que x ∈ C:
Givens Goal
A⊆B x∈C
x∈C
x∈/B
Mas como, no given 2, temos x ∈ C, logo, está feita essa parte da demonstração.
Agora mostremos que x ∈ / A:
Givens Goal
A⊆B x∈
/A
x∈C
x∈/B
O given 1 é equivalente à ∀y(y ∈ A → y ∈ B) (definição de subconjunto). Então, em
particular para y = x (instanciação universal), temos:
Givens Goal
x∈A→x∈B x∈
/A
x∈C
x∈/B
No given 3 temos que x ∈ / B e no given 1 temos que x ∈ A → x ∈ B, então x ∈ /A
(modus tollens), conforme queríamos demonstrar. Portanto, mostramos que x ∈ B\A.

1
Suppose A ⊆ B. Prove that for every set C, C \ B ⊆ C \ A.
Prova: Seja C um conjunto arbitrário. Seja x arbitrário. Suponha x ∈ C \ B. Então,
x ∈ C e x ∈ / B. Como temos que A ⊆ B, então para todo y, y ∈ A → y ∈ B.
Em particular para y = x (instanciação universal), temos x ∈ A → x ∈ B. Como
também temos x ∈ / B, então, temos x ∈ / A (modus tollens). Como x ∈ C e x ∈ / A,
então, x ∈ C \ A. Portanto se x ∈ C \ B, logo x ∈ C \ A. Como x foi tomado
arbitrariamente, então para todo x, se x ∈ C \B, então, x ∈ C \A, isto é, C \B ⊆ C \A.
Como C foi tomado arbitrariamente, então, para todo C, C \ B ⊆ C \ A.