Ejercicio 3.3

Ejercicio 3.3 de conjuntos
Es importante recordar que al momento de realizar las demostraciones se pueden utilizar las herramientas adquiridas en la parte de lógica.
La parte marcada de amarillo es una proposición verdadera con juntada con una tautología.
Lo anterior es algo muy parecido a la adición con el conectivo lógico "o", en el que algo verdadero "o" lo que sea sigue siendo verdadero. Con el "y" es necesario 'pegar' algo que siempre sea verdadero (una tautología) para conservar el valor de verdad.