Este argumento es una instancia de una de las leyes de DeMorgan, que afirma que las proposiciones de la forma ¬ (AB) ¬ (AB) son equivalentes a las de la forma ¬A¬B¬A¬B ¿Cómo crees que mostramos la ver...Este argumento es una instancia de una de las leyes de DeMorgan, que afirma que las proposiciones de la forma ¬ (AB) ¬ (AB) son equivalentes a las de la forma ¬A¬B¬A¬B ¿Cómo crees que mostramos la verdad de esta ley? [Pista: Ya hemos logrado uno de los dos pasos requeridos]
