Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — FUNDEPES 2024
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qg189773
- Banca
- FUNDEPES
- Órgão
- UFAL
- Ano
- 2024
- Nível
- Superior
Considerando-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam negação, conjunção, disjunção, implicação, bi-implicação, quantificador universal e quantificador existencial, respectivamente, qual fórmula é equivalente à negação de ∀xF(x) → ∀yG(y)?
- A∀xF(x) ∧ ∃yG(y)
- B∀xF(x) ∧ ∃y¬G(y)
- C∃xF(x) ∧ ¬∃yG(y)
- D¬∃xF(x) ∧ ∀y¬G(y)
- E¬∀xF(x) ∧ ∃y¬G(y)