Exercise 3.4.

22
Suppose B is a set, {Ai |i ∈ I} is an indexed family of sets, and I 6= ∅.

(a) What proof strategies are used in the following proof that B ∩ (∪i∈I Ai ) = ∪i∈I (B ∩
Ai )?
Proof. Let x be arbitrary. Suppose x ∈ B∩(∪i∈I Ai ). Then x ∈ B and x ∈ ∪i∈I Ai , so
we can choose some i0 ∈ I such that x ∈ Ai0 . Since x ∈ B and x ∈ Ai0 , x ∈ B ∩ Ai0 .
Therefore x ∈ ∪i∈I (B ∩ Ai ).
Now suppose x ∈ ∪i∈I (B ∩ Ai ). Then we can choose some i0 ∈ I such that x ∈
B ∩ Ai0 . Therefore x ∈ B and x ∈ Ai0 . Since x ∈ Ai0 , x ∈ ∪i∈I Ai . Since x ∈ B
and x ∈ ∪i∈I Ai , x ∈ B ∩ (∪i∈I Ai ). Since x was arbitrary, we have shown that
∀x[x ∈ B ∩ (∪i∈I Ai ) ↔ x ∈ ∪i∈I (B ∩ Ai )], so B ∩ (∪i∈I Ai ) = ∪i∈I (B ∩ Ai ). 

As estratégias de prova utilizadas são:

(i) Provar a bicondicional em duas partes (→ e ←, conforme a seção 3.4):

Note que a demonstração foi dividida em provar isoladamente ∀x(x ∈ B ∩
(∪i∈I Ai ) → x ∈ ∪i∈I (B ∩ Ai )) e depois ∀x(x ∈ ∪i∈I (B ∩ Ai ) → x ∈
B ∩ (∪i∈I Ai )).
(ii) Tomar um x arbitrário para lidar com goals na forma ∀xP (x) (seção 3.3):
Por exemplo, na primeira linha da demonstração.
(iii) Supor o antecedente de implicações para lidar com goals na forma P (x) →
Q(x) (seção 3.1):
Por exemplo, na primeira linha da demonstração foi suposto x ∈ B ∩
(∪i∈I Ai ) que antes desse passo, era o antecedente de uma implicação.
(iv) Tomar um x particular para lidar com goals na forma ∃xP (x) (seção 3.3):
(v) Dividir conjunções em diferentes givens e goals. (seção 3.4):
Por exemplo, na primeira linha foi suposto x ∈ B ∩ (∪i∈I Ai ) e em seguida
dividiu-se esse given em x ∈ B e x ∈ ∪i∈I Ai .
(vi) E, tomar instanciamentos existenciais para lidar com givens na forma
∃xP (x). (seção 3.3):
Por exemplo, na primeira linha x ∈ ∪i∈I Ai , e é tomado um i0 ∈ I. tal que
x ∈ A0 . Ao ser tomado i0 , foi feito a instanciação existencial.

(b) Prove that B \ (∪i∈I Ai ) = ∩i∈I (B \ Ai ).

Prove que B \ (∪i∈I Ai ) = ∩i∈I (B \ Ai ). Então, temos:

Rascunho:

Givens Goal
- B \ (∪i∈I Ai ) = ∩i∈I (B \ Ai )

Para lidar com a igualdade, vamos dividir a análise em duas partes. Pois B \
(∪i∈I Ai ) = ∩i∈I (B \ Ai ) é equivalente a (B \ (∪i∈I Ai ) ⊆ ∩i∈I (B \ Ai )) ∧ (∩i∈I (B \

1
Ai ) ⊆ B \ (∪i∈I Ai )). Façamos inicialmente o lado esquerdo da conjunção acima.
Então,
(⇒)

Givens Goal
- ∩i∈I (B \ Ai ) ⊆ B \ (∪j∈I Aj )

Note que ∩i∈I (B \ Ai ) ⊆ B \ (∪j∈I Aj ) é equivalente a ∀x(x ∈ ∩i∈I (B \ Ai ) →

x ∈ B \ (∪j∈I Aj )). Então, tomando um x arbitrário e supondo x ∈ ∩i∈I (B \ Ai )
obtemos:

Givens Goal
x ∈ ∩i∈I (B \ Ai ) x ∈ B \ (∪j∈I Aj )

Veja que, o given é equivalente a ∀i ∈ I(x ∈ B ∧ x ∈ / Ai ) (Def. indexed ∩ e \).

E, o goal é equivalente a x ∈ B ∧ x ∈/ (∪j∈I Aj ). Assim, podemos escrever:

Givens Goal
∀i ∈ I(x ∈ B ∧ x ∈
/ Ai ) x∈B
x∈
/ (∪j∈I Aj )

O segundo goal é equivalente a ∀j ∈ I(x ∈

/ Aj ). Assim, tome um j arbitrário e
suponha j ∈ I. Então temos:

Givens Goal
∀i ∈ I(x ∈ B∧ ∈
/ Ai ) x∈B
j∈I x∈
/ Aj

Tomando um i = j por instanciamento universal, obtemos:

Givens Goal
x∈B x∈B
x∈/ Aj x∈
/ Aj
j∈I

Assim, vemos que os objetivos saem diretamente.

Agora, provamos o outro sentido. (←)

Givens Goal
- B \ (∪j∈I Aj ) ⊆ ∩i∈I (B \ Ai )

Vemos que B \ (∪j∈I Aj ) ⊆ ∩i∈I (B \ Ai ) é equivalente a ∀x(x ∈ B \ (∪j∈I Aj ) →

x ∈ ∩i∈I (B \ Ai ). Assim, tomando um x arbitrário e supondo x ∈ B \ (∪j∈I Aj ),
obtemos:

Givens Goal
x∈B x ∈ ∩i∈I (B \ Ai )
x∈
/ (∪j∈I Aj )

2
 Note que o segundo given é equivalente a ¬∃j ∈ I(x ∈ Aj ) que é equivalente a
/ Aj ). E, o goal é equivalente a ∀i ∈ I(x ∈ B \ Ai ). Assim, tomando
∀j ∈ I(x ∈
um i arbitrário e supondo i ∈ I, obtemos:

Givens Goal
x∈B x∈B
∀j ∈ I(x ∈
/ Aj ) x∈
/ Ai
i∈I

Tomando um j = i por instanciamento universal, obtemos:

Givens Goal
x∈B x∈B
i∈I→x∈ / Ai x∈
/ Ai
i∈I

Assim, a solução para x ∈ B é imediata. E, dados que valem i ∈ I → x ∈

/ Ai e
i ∈ I, vale x ∈
/ Ai .

Theorem. B \ (∪i∈I Ai ) = ∩i∈I (B \ Ai ).

Prova: Seja x um elemento arbitrário.
(⇐) Suponha x ∈ ∩i∈I (B \ Ai ). Seja j um elemento arbitrário de I. Então
podemos escolher um i = j tal que x ∈ B e x ∈ / Aj . Desde que j foi um
elemento arbitrário de I, então, x ∈ B \ (∪j∈I Aj ). Portanto, se x ∈ ∩i∈I (B \ Ai ),
então, ∩i∈I (B \ Ai ) ⊆ B \ (∪j∈I Aj ).

(⇒) Agora suponha que x ∈ B \(∪j∈I Aj ). Então vale x ∈ B. Seja i um elemento

arbitrário de I. Então podemos escolher um j = i tal que se vale i ∈ I então vale
x∈/ Ai . Dado que vale i ∈ I, então vale x ∈ / Ai . Desde que i foi um elemento
arbitrário de I, então x ∈ ∩i∈I (B \ Ai ). Portanto, se x ∈ B \ (∪j∈I Aj ), então,
B \ (∪j∈I Aj ) ⊆ ∩i∈I (B \ Ai ).

Desde que x foi um elemento arbitrário, então, temos mostrado que ∀x(x ∈
B \ (∪j∈I Aj ) ↔ ∩i∈I (B \ Ai ), então B \ (∪j∈I Aj ) = ∩i∈I (B \ Ai ). 

(c) Can you discover and prove a similar theorem about B (∩i∈I Ai )? (Hint: Try to
guess the theorem, and then try to prove it. If you can’t finish the proof, it might
be because your guess was wrong. Change your guess and try again.)

Considere o teorema: Suponha B um conjunto, {Ai |i ∈ I} uma família indexada

de conjuntos e I 6= 0. Então B \ (∩i∈I Ai ) = ∪j∈I (B \ Aj ). Rascunho:

Givens Goal
- B \ (∩i∈I Ai ) = ∪j∈I (B \ Aj )

3
Sabe-se que para quaisquer dois conjuntos R e S, se R = S então (R ⊆ S ∧ S ⊆
R). Visto que o goal segue o mesmo modelo, vamos prová-lo em duas partes.
(→)

Givens Goal
- B \ (∩i∈I Ai ) ⊆ ∪j∈I (B \ Aj )

Visto que B \ (∩i∈I Ai ) ⊆ ∪j∈I (B \ Aj ) é equivalente a ∀x(x ∈ B \ (∩i∈I Ai ) →

x ∈ ∪j∈I (B \ Aj )), tomamos um x arbitrário e supomos o antecedente. Então,

Givens Goal
x ∈ B \ (∩i∈I Ai ) x ∈ ∪j∈I (B \ Aj )

Note que no givens, x ∈ B \ (∩i∈I Ai ) é equivalente a x ∈ B ∧ x ∈ / ∩i∈I Ai . No

goal, x ∈ ∪j∈I (B \ Aj ) é equivalente a ∃j ∈ I(x ∈ B ∧ x ∈
/ Aj ). Então,

Givens Goal
x∈B ∃j ∈ I(x ∈ B ∧ x ∈
/ Aj )
x∈
/ ∩i∈I Ai

Note que no givens, x ∈

/ ∩i∈I Ai é equivalente a ∃i ∈ I(x ∈
/ Ai ). Assim, tomando
um instanciamento existencial, seja i = i0 . Então,

Givens Goal
x∈B ∃j ∈ I(x ∈ B ∧ x ∈
/ Aj )
i0 ∈ I
x∈/ Ai

Deste modo, existe um j ∈ I tal que x ∈ B ∧ x ∈

/ Aj quando j = i0 . Provemos
agora o outro sentido: (←)

Givens Goal
- ∀x(x ∈ ∪j∈I (B \ Aj ) → x ∈ B \ (∩i∈I Ai ))

Tome um x arbitrário e suponha x ∈ ∪j∈I (B \ Aj ).

Givens Goal
x ∈ ∪j∈I (B \ Aj ) x ∈ B \ (∩i∈I Ai )

Como as expressões já foram abertas no caso anterior, apenas as replicamos

aqui:

Givens Goal
∃j ∈ I(x ∈ B ∧ x ∈
/ Aj ) x∈B
∃i ∈ I(x ∈
/ Ai )

Tomemos um j = j0 por instanciamento existencial, então:

4
 Givens Goal
x∈B x∈B
x∈
/ Aj0 ∃i ∈ I(x ∈
/ Ai )

Assim, vemos que x ∈ B decorre imediatamente dos givens e, que para o caso
de i = j0 , temos um x tal que x ∈
/ Aj0 .
Prova: Sabe-se que demonstrar a igualdade de conjuntos é o mesmo que
mostrar (A ⊆ B) ∧ (B ⊆ A), para A e B conjuntos. Assim, vejamos a seguir as
demonstrações das duas partes do teorema, as chamadas “ida” (→) e “volta” (←).

(⇒)B \ (∩i∈I Ai ) ⊆ ∪j∈I (B \ Aj )

Tome x arbitrário em B \ (∩i∈I Ai ), isto é x ∈ B e x ∈/ ∩i∈I Ai . Seja i0 ∈ I tal
que x ∈
/ Ai0 . Mas como x ∈ B, então x ∈ (B \ Ai0 ) e com isso, x ∈ ∪j∈I (B \ Aj ).
Como x é arbitrário em B \ (∩i∈I Ai ), vale que B \ (∩i∈I Ai ) ⊆ ∪j∈I (B \ Aj ).

(⇐) ∪j∈I (B \ Aj ) ⊆ B \ (∩i∈I Ai )

Tome x arbitrário em ∪j∈I (B \ Aj ). Seja j0 ∈ I tal que x ∈ / Ai0 e x ∈ B.
Mas, se x ∈/ Ai0 , então x ∈/ ∩i∈I Ai . Com isso, vale que x ∈ B \ (∩i∈I Ai ).
Como x é arbitrário em ∪j∈I (B \Aj ), então vale que ∪j∈I (B \Aj ) ⊆ B \(∩i∈I Ai ).

Tendo mostrado que B \ (∩i∈I Ai ) ⊆ ∪j∈I (B \ Aj ) ∧ ∪j∈I (B \ Aj ) ⊆ B \ (∩i∈I Ai ),

obetém-se que B \ (∩i∈I Ai ) = ∪j∈I (B \ Aj ), como queríamos demonstrar.