Usuario:Hernandez.o/ejercicio 5

De Wikilibros, la colección de libros de texto de contenido libre.

PROBLEMAS 2.4

EJERCICIO 4

Considere la expresion P( x ) ( Q( x ) 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:

  • P( x ) ( Q( x ) P( x ) )

ACA CAMBIAMOS LA PRIMERA VARIABLE X POR Y


  • P( y ) ( Q( x ) P( x ) )

LUEGO DE ESTO POR LEY DE EQUIVALENCIAS PODEMOS DECIR QUE


  • ( P(Y)( Q( x ) P( x ) )

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