Imagem de fundo

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

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)