例题2-1
证明公式：
(P → Q) → (～Q → ～P)