Conjuntos. demostración de propiedades de conjuntos, igualdad, inclusión y doble inclusión

[@davidfernandom.3849]

Con todo respeto creo que el procedimiento p^q-->q sobra por qué podríamos usar una de las reglas de inferencia que sería la de simplificar P^Q=Q