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)?
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.