Considerando-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam negação, conjun...

Questão de Raciocínio Lógico da banca FUNDEPES aplicada no concurso UFAL (2024). Confira a resolução completa abaixo:

Q1026494•
Raciocínio Lógico•
Equivalência Lógica e Negação de Proposições•
FUNDEPES•
UFAL•
Assistente Social•
2024

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)?