SOLUTION: How do you work this problem out? 1. P∙P 2. Q→~P ∴ ~Q

Algebra ->  Proofs -> SOLUTION: How do you work this problem out? 1. P∙P 2. Q→~P ∴ ~Q       Log On


   

Question 459028: How do you work this problem out?
1. P∙P
2. Q→~P ∴ ~Q
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   P * P
2.   Q -> ~P    / :. ~Q
--------------------------
3.   P                   1      Simplification
4.   ~~P                 3      Double Negation
5.   ~Q                  2,4    Modus Tollens