DiversosDiversos (21)
- (COPEVE-UFAL 2012)
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)))
Próximo:
EXERCÍCIOS - Exercício 96
Vamos para o Anterior: Exercício 94
Tente Este: Exercício 52
Primeiro: Exercício 1
VOLTAR ao índice: Diversos