SOLUTION: 1. ~P>[~P>(Q>P)] 2. ~P / :. ~Q

Algebra ->  Proofs -> SOLUTION: 1. ~P>[~P>(Q>P)] 2. ~P / :. ~Q      Log On


   

Question 1000819: 1. ~P>[~P>(Q>P)]
2. ~P / :. ~Q
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

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