Usuario:Juansbotero/Ejercicio 5

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

CONSIDERE LA EXPRESION. TRASLADAR TODOS LOS CUANTIFICADORES UNIVERSALES AL COMIENZO DE ESTA EXPRESION.


SOLUCION

           ∃xP(x) ^ ∃x(Q(x) ^ P(x)) = ∃yP(y) ^ ∃x(Q(x) ^ P(x))
           = ∃y∃x(P(y) ^ Q(x) ^ P(x))