Usuario:JULIAN.D.OR/ejercicio6

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

Considere la expresion P( x ) ( Q( x ) P( x ) ) Transladar los cuantificadores universales al comienzo de la expresion.





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





NOTA: REVISAR LA EQUIVALENCIA P( x ) Q( y ) ( P( x ) Q( y ) ) ESTA DEMOSTRADA EN EL LIBRO