Hola, no estoy pudiendo resolver el ejercicio, se que ninguna persona puede entrar los sabados segun las reglas ay que se contradice, por ende no puedo probar que alguien entra los sabados, estoy intentando probar que "No ingresan los sabados" se deriva de todas las cualidades que tiene un miembro. Capaz que no estoy entendido si pide una una deduccion, segun la pregunta no, pero el video del practico dice que tenemos que hacer algo parecido al ejercicio 12
Saludos
Diego