A fórmula da lógica de primeira ordem ∀x∃y(F(x)∧G(x,y)∧∃z(H...
Próximas questões
Com base no mesmo assunto
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