Usuario:JULIAN.D.OR/ejercicio6

Considere la expresion $\forall _{x}$ P( x ) $\vee$ $\forall _{x}$ ( Q( x ) $\Rightarrow$ P( x ) ) Transladar los cuantificadores universales al comienzo de la expresion.

$\forall _{x}$P( x ) $\vee$ $\forall _{x}$( Q( x ) $\Rightarrow$ P( x ) ) $\equiv$ $\forall _{y}$ P( y ) $\vee$ $\forall _{x}$ ( Q( x ) $\Rightarrow$ P( x ) ) $\equiv$ $\forall _{y}$$\forall _{x}$ ( P(y) $\vee$ ( Q( x ) $\Rightarrow$ P( x ) ) )

NOTA: REVISAR LA EQUIVALENCIA $\forall _{x}$ P( x ) $\vee$ $\forall _{y}$ Q( y )$\equiv$ $\forall _{x}$$\forall _{y}$ ( P( x ) $\vee$ Q( y ) ) ESTA DEMOSTRADA EN EL LIBRO