Usuario:Camilo maldonado/ejercicio 18 capitulo 2 pagina 119

Niegue lo siguiente.

a) Эx[p(x) $\vee \;$ q(x)]

  Negacion: ∀x[ ¬p(x) $\land$ ¬q(x)]

b) ∀x[p(x) $\land$ ¬q(x)]

  Negacion: Эx[¬p$\vee \;$q(x)]

C) ∀x[p(x) $\Rightarrow$ q(x)]

   Negacion: Эx[¬p(x) $\Rightarrow$ q(x)]

d) Эx[(p(x)$\vee \;$q(x))$\Rightarrow$ r(x)]

  Negacion: ∀x[(¬p(x) $\land$ ¬q(x))
            $\Rightarrow$ ¬r(x)]