Dadas as afirmativas sobre conjuntos,I. ∀x(x ∈ A → x ∈ B) → ...
Dadas as afirmativas sobre conjuntos,
I. ∀x(x ∈ A → x ∈ B) → (A ⊆ B)
II. ∀x(x ∈ A → x ∈ B) → (A = B)
III. (A ⊆ B) → ∀x(x ∈ A → x ∈ B)
IV. (A – B = A) → ¬∃x(x ∈ (A ⋂ B))
verifica-se que está(ão) correta(s)