Questões da Prova COPEVE-UFAL - 2012 - MPE-AL - Analista do Ministério Público - Desenvolvimento de Sistemas
Foram encontradas 2 questões
Resolva questões gratuitamente!
Junte-se a mais de 4 milhões de concurseiros!
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
Ano: 2012
Banca:
COPEVE-UFAL
Órgão:
MPE-AL
Prova:
COPEVE-UFAL - 2012 - MPE-AL - Analista do Ministério Público - Desenvolvimento de Sistemas |
Q825525
Raciocínio Lógico
A fórmula da lógica sentencial ¬((A
∧¬B)→C) é equivalente à fórmula