Procura

DiversosDiversos (21)


EXERCÍCIOS - Exercício 95

  • (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






Cadastre-se e ganhe o primeiro capítulo do livro.
+
((ts_substr_ig=0.00ms))((ts_substr_id=5.30ms))((ts_substr_m2=0.00ms))((ts_substr_p2=0.64ms))((ts_substr_c=0.72ms))((ts_substr_im=0.76ms))
((total= 7ms))