Usuario:Galindo6/ejercicio 17

• ejercicios libro fundamentos de logica pagina 119

18.

Niegue o afirme los iguiente

a)$\exists x$[$p(x)\lor q(x)$]

b)$\forall x$ [$p(x)\land$$\sim q(x)$]

c)$\forall x$ [$p(x)\to q(x)$]

d)$\exists x$[($p(x)\lor q(x))$$\to r(x)$]

SOLUCION

A) VERDADERO

B) FALSO

C) FALSO

D) VERDADERO

== pagina del solucionario == http://es.wikibooks.org/wiki/Pensamiento_Algor%C3%ADtmico:Solucionario