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

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...


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

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência. Política de Privacidade.