Usuario:JULIAN.D.OR/ejercicio5

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

demostrar que ( B ) A ( B A )


( B ) A B A -si x no esta libre en A

( B A )


NOTA: REVISAR TABLA (2.4) DE EQUIVALENCIAS QUE IMPLICAN CUANTIFICADORES SECCION 2.4 PAG 88