Pues lo de la hipotesis se usa mucho. Pero la idea es simple, tu das por supuesta verdadera una premisa (la hipotesis) y si llegas a una contradicción partiendo de esa hipótesis, entonces puedes deducir que la hipótesis es falsa. De no ser así, entonces puedes introducir lo deducido con una implicación, como he hecho yo.
Si no quedo claro lo que dije antes, tu puedes suponer la primera parte de la implicacion como una hipótesis, y por MP entonces deduces la conclusion debajo de la hipotesis, y ya operando llegas a ¬P.
