Questão de Raciocínio Lógico — Quantificadores — COPEVE-UFAL 2024
Raciocínio LógicoQuantificadores
- Código
- qg109248
- Banca
- COPEVE-UFAL
- Órgão
- Prefeitura de Viçosa - AL
- Ano
- 2024
- Nível
- Superior
Considerando que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente; considerando, ainda, as informações ∀x(S(x)→A(x)) e ∃x(S(x)∧¬E(x)), ambas verdadeiras, qual das alternativas apresenta uma contradição em relação a essas informações?
- A∀x(S(x)→A(x))
- B∃x(S(x) ∧ A(x))
- C∃x(S(x) ∧ E(x))
- D∀x(S(x)→¬E(x))
- E∀x(S(x)→¬A(x))