Questão
ID 146475Disciplina: Raciocínio Lógico
Assuntos: Diagramas Lógicos / Diagrama de Venn / Operações com conjuntos, Propriedade da Interseção, Propriedades da Inclusão
Ano: 2023 Banca: COPEVE/UFAL - FUNDEPES Órgão: Universidade Federal de Alagoas
Considerando-se que os símbolos ∧ e → representam conjunção e implicação, respectivamente, dadas as fórmulas sobre quaisquer três conjuntos A, B e C,
\(\quad\)
I. (A ⊆ B) → (A ∩ B ≠ ∅ )
II. ((A ⊆ B) ∧ (B ⊆ A)) → (A = B)
III. (A ∩ B ∩ C = B ∩ C) → (B ∩ C ⊆ A)
IV. (A ∪ B = B ∪ C) → ((A - C = ∅) ∧ (C - A = ∅))
\(\quad\)
verifica-se que são verdadeiras