Usuario:Andresgarcia87/ejercicio 25 capitulo 2 pagina 120

En el caso de las siguientes proposiciones, el universo para cualquiera de sus variables está formado por los números reales. En cada caso, niegue y simplifique la proposición dada.

$\land$ $\Rightarrow$ ¬ $\vee \;$

• a) $\forall _{x}$$\forall _{y}$ [(x>y)$\Rightarrow$(x - y>0)]

• b) $\forall _{x}$$\forall _{y}$ [[(x>0)$\land$(y=$\lg 10x$)]$\Rightarrow$(x=10^y)]

• c) $\forall _{x}$$\forall _{y}$ [(x<y)$\Rightarrow$$\exists$z (x<z<y)]

• d) $\forall _{x}$$\forall _{y}$ [(|x| = |y|)$\Rightarrow$(y=±x)]

• e) [$\forall _{x}$$\forall _{y}$((x>0)$\land$(y>0))]$\Rightarrow$[$\exists$z (xz>y)]