Usuario:Galindo6/ejercicio 17

De Wikilibros, la colección de libros de texto de contenido libre.

< Usuario:Galindo6

Ir a la navegación Ir a la búsqueda

ejercicios libro fundamentos de logica pagina 119

18.[editar]

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[editar]

A) VERDADERO

B) FALSO

C) FALSO

D) VERDADERO

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

Obtenido de «https://es.wikibooks.org/w/index.php?title=Usuario:Galindo6/ejercicio_17&oldid=19895»