Usuario:Damaya59/Ejercicio 33

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

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