Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — COPEVE-UFAL 2023
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qq852560
- Banca
- COPEVE-UFAL
- Órgão
- UFAL
- Ano
- 2023
- Nível
- Médio
- Cargo
- COPEVE - - Técnico de Laboratório - Física
Considerando que os símbolos ¬, →, ∃ e ∀ representam negação, conjunção, implicação, quantificador existencial e quantificador universal, respectivamente, e o universo como sendo o conjunto dos números naturais, dados os conjuntos A = {7, 18, 19, 21, 31}, B = {2, 11, 18, 19, 22} e C = {19, 22, 31}, qual das alternativas apresenta a fórmula verdadeira?
- A∀ x (x ∈ (A ∪ B) → x ∉ C)
- B∀ x (x ∉ (A ∩ B) → x ∈ C)
- C∃ x (x ∉ A ∧ x ∉ B ∧ x ∉ C)
- D∃ x (x ∉ A ∧ x ∉ B ∧ x ∈ C)
- E¬∃ x (x ∉ A ∧ x ∈ B ∧ x ∈ C)