Hola...tengo una duda acerca de derivaciones, hice algunas suposiciones, pero de lo que no estoy seguro es de que si puedo desarmar las supociciones que hice, es decir ¿es legal aplicarle reglas de derivación a una suposición?
Adjunto el enunciado y su posible resolución.
Hallar derivaciones que justifiquen \( \vdash ((\varphi\to \neg \psi)\wedge \psi)\to \neg \varphi \)Gracias.