ちょっと数学とはずれるかもしれないんですが数理論理学ってことでお願いします。
自然演繹体系においてP,Qを原始命題とすれば
¬(P→Q) |- Q→P
はどの様に証明できますか？よろしくお願いします。