Questões MPE-AL 2012 para Analista do Ministério Público - Desenvolvimento de Sistemas

Q825525

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

¬A∨¬B∨¬C

A∧¬B∧¬C

¬A∨B∨C

¬A∨B∨¬C

A∧B∧¬C

Você errou! Resposta:

Acesse Comentários para encontrar explicações sobre a solução da questão.

Parabéns! Você acertou!

Aprenda mais ensinando outros alunos ao comentar esta questão.

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

Você errou! Resposta:

Acesse Comentários para encontrar explicações sobre a solução da questão.

Parabéns! Você acertou!

Aprenda mais ensinando outros alunos ao comentar esta questão.

Questões de Concurso Público MPE-AL 2012 para Analista do Ministério Público - Desenvolvimento de Sistemas