Totalmente de acuerdo con tu simbolización. Ahora, me parece que la conclusión deseada (lo que sigue a continuación del "luego, ...") es la implicación completa $\neg Q\Rightarrow P$... la cual es equivalente a 4) (que a su vez es equivalente a 1)), por lo que la demostración sería un poco más corta que la que pones aquí...