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