Usuario:Camilo maldonado/ejercicio 18 capitulo 2 pagina 119

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Niegue lo siguiente.

a) Эx[p(x) q(x)]

  Negacion: ∀x[ ¬p(x)  ¬q(x)]


b) ∀x[p(x) ¬q(x)]

  Negacion: Эx[¬pq(x)]


C) ∀x[p(x) q(x)]

   Negacion: Эx[¬p(x)  q(x)]


d) Эx[(p(x)q(x)) r(x)]

  Negacion: ∀x[(¬p(x)  ¬q(x))
             ¬r(x)]