∅ᶜ = ?
∅ᶜ = U
Assim como “Uᶜ = ∅”
Uᶜ = ?
Uᶜ = ∅
Assim como “∅ᶜ = U”
Se A ⊂ B, então Bᶜ ⊂ Aᶜ
Um boa forma de entender essa definição é associando ao conectivo “se… então”.
A → B (normal)
= ¬B → ¬A (contrapositiva)
Assim como:
A ⊂ B (normal)
= ¬B ⊂ ¬A (contrapositiva)
Agora usemos a analogia, dado o fato que “negar”, no mundo dos conjuntos é usar o complementar:
Se A ⊂ B (normal) então Bᶜ ⊂ Aᶜ (contrapositiva)
Como tirar o complementar de Aᶜ ⊂ B?
Aᶜ ⊂ B
Aquele esquema da contrapositiva:
Bᶜ ⊂ A.
(Aᶜ)ᶜ = A.
Certo (“negação” da “negação” gera uma afirmação)