Usuario:Hernandez.o/ejercicio 5

PROBLEMAS 2.4

EJERCICIO 4

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

Para solucionar este ejercicio lo que devemos es tratar de agragar la variable y es decir:

• $\in _{x}\;$ P( x ) $\vee$ $\in _{x}\;$ ( Q( x ) $\vee$ P( x ) )

ACA CAMBIAMOS LA PRIMERA VARIABLE X POR Y

• $\in _{y}\;$ P( y ) $\vee$ $\in _{x}\;$ ( Q( x ) $\vee$ P( x ) )

LUEGO DE ESTO POR LEY DE EQUIVALENCIAS PODEMOS DECIR QUE

• $\in _{y}\;$$\in _{x}\;$ ( P(Y)$\vee$( Q( x ) $\vee$ P( x ) )

DE ESTA MANERA TENEMOS A LOS CUANTIFICADORES AL COMIENZO DE LA EXPRESION