Hola Lucas:
En efecto, existe una derivación que permite probar esa fórmula.
Se resuelve utilizando la regla de Reducción al Absurdo (RAA).
Te sugiero que mires la solución que aparece en el video de práctico para el ejercicio 7e.
Siguiendo esa misma estrategia podés resolver el 7c que es más fácil.
Si te surgen más dudas, volvé a preguntar.