Usuario:Juansbotero/Ejercicio 5

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))