1. ~P>[~P>(Q>P)] 2. ~P / :. ~Q 3. ~P>(Q>P) 1,2, modus ponens 4. Q>P 3,2, modus ponens 5. ~Q 4,2, modus tollens Edwin