Questão
ID 147024Disciplina: Raciocínio Lógico
Assuntos: Diagramas Lógicos / Diagrama de Venn / Operações com conjuntos, Propriedades da Inclusão, Sentenças Abertas e Fechadas, Simbologia dos Quantificadores Lógicos
Ano: 2016 Banca: COPEVE/UFAL - FUNDEPES Órgão: Universidade Federal de Alagoas
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)