A fórmula da lógica de primeira ordem ∀x∃y(F(x)∧G(x,y)∧∃z(H...

Com base no mesmo assunto

Q825528

Ano: 2012 Banca: COPEVE-UFAL Órgão: MPE-AL Prova: COPEVE-UFAL - 2012 - MPE-AL - Analista do Ministério Público - Desenvolvimento de Sistemas |

Q825528 Raciocínio Lógico

A fórmula da lógica de primeira ordem ∀x∃y(F(x)∧G(x,y)∧∃z(H(x,z))) tem como negação a fórmula

∃x∀y(¬F(x)∨¬G(x,y)∨∀z(¬H(x,z)))

∃x∀y(¬F(x)∧¬G(x,y)∧∀z(¬H(x,z)))

∀x∃y(¬F(x)∨¬G(x,y)∨∃z(¬H(x,z)))

∀x∃y(¬F(x)∧¬G(x,y)∧∃z(¬H(x,z)))

∀x∀y(¬F(x)∧¬G(x,y)∧∀z(¬H(x,z)))

Incorreta. Gabarito oficial da banca:

Errou um tema comum da banca? Veja o que mais costuma cair no Raio-X. Ver raio-X

teste

Parabéns! Você acertou!

Essa questão segue o padrão da banca! Veja o que mais costuma cair. Ver raio-X

teste

Questões de assuntos semelhantes