Para probar que una sentencia y su contrapositiva son lógicamente equivalentes, se tiene que entender cuando una implicación es verdadera o falsa.