Questão 2476591

• Banca: COPEVE-UFAL
• Órgão: MPE-AL
• Ano: 2012
• Provas: COPEVE-UFAL - 2012 - MPE-AL - Analista do Ministério Público - Desenvolvimento de Sistemas
• Disciplina: Não definido

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

• A. ∃x∀y(¬F(x)∨¬G(x,y)∨∀z(¬H(x,z)))
• B. ∃x∀y(¬F(x)∧¬G(x,y)∧∀z(¬H(x,z)))
• C. ∀x∃y(¬F(x)∨¬G(x,y)∨∃z(¬H(x,z)))
• D. ∀x∃y(¬F(x)∧¬G(x,y)∧∃z(¬H(x,z)))
• E. ∀x∀y(¬F(x)∧¬G(x,y)∧∀z(¬H(x,z)))

Gabarito: A

Comentários

• what????

• REGRA PARA NEGAÇÂO DE PROPOSIÇÔES: *Troca o "e"(conjunção) pelo "ou" (disjunção) e nega tudo.

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

  Na alternativa C, temos exatamente a mesma fórmula, com as dividas alterações de conectivos e valor lógico que a regra propõe.