Questões de Concurso Público IFAL 2016 para Analista de Tecnologia da Informação

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)