Questão 2366281

• Banca: COPEVE-UFAL
• Órgão: ALGÁS
• Ano: 2014
• Provas: COPEVE-UFAL - 2014 - ALGÁS - Analista de Processos Organizacionais - Bacharel em qualquer Área de Conhecimento; COPEVE-UFAL - 2014 - ALGÁS - Engenheiro - Engenharia de Produção
• Disciplina: Raciocínio Lógico
• Assuntos: Diagramas de Venn (Conjuntos)

Dadas as fórmulas abaixo relativas a conjuntos A, B e C

quaisquer,

I. (A ⊆ B) ↔ (A – B = Ø)

II. (A ∩ B = C) → ∀x(((x ∈ A) v (x ∈ B)) → (x ∈ C))

III. (A − B = A) → (B = Ø)

verifica-se que está(ão) correta(s) 

• A. I, apenas.
• B. III, apenas.
• C. I e II, apenas.
• D. II e III, apenas.
• E. I, II e III.

Gabarito: A

Comentários

• I. (A ⊆ B) ↔ (A – B = Ø)

        V   <---->V        (V)

  II. (A ∩ B = C) → ∀x(((x ∈ A) v (x ∈ B)) → (x ∈ C))

       V---->F        (F)

  III. (A − B = A) → (B = Ø)

            V---->F     (F)

• legal !