Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — COPEVE-UFAL 2012
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qg863991
- Banca
- COPEVE-UFAL
- Órgão
- MPE-AL
- Ano
- 2012
- Nível
- Superior
- Cargo
- Analista do Ministério Público - Desenvolvimento de Sistemas
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)))