IAProvatec | A Maneira Inteligente de Estudar

#1832053

Raciocínio Lógico: Fundamentos de Lógica, Lógica de Argumentação - Diagramas e Operadores Lógicos

2016 FUNDEPES IF-AL

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)

A II, apenas.

B I e III, apenas.

C II e IV, apenas.

D I, III e IV, apenas.

E I, II, III e IV.

COPEVE-UFAL - 2016 - IFAL - Programador Visual