Usuario:Damaya59/Ejercicio 33
Apariencia
UTILICE LAS REGLAS DE LA TABLA 2.4 PARA MOSTRAR QUE
∃^(∃Y(R(Y)∨Q(x)≡∃X∃Y(Q(x)∨R(Y))
∃^(∃Y(R(Y)∨Q(x)≡∃Y(R(Y)∨∃YQ(x) si x no es libre de a ≡∃X(∃(Y)(R(Y)∨Q(x)) el libro simplemente la describe como 5d ≡∃X∃Y(Q(x)∨R(Y)) conmutativa