Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
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)