SOLUTION: annotate the following proofs 1. ~~P*~P :. w 2. ~~P 3. ~~PvW 4. PvW 5. ~P 6. W

Algebra ->  Proofs -> SOLUTION: annotate the following proofs 1. ~~P*~P :. w 2. ~~P 3. ~~PvW 4. PvW 5. ~P 6. W      Log On


   

Question 1005914: annotate the following proofs
1. ~~P*~P :. w
2. ~~P
3. ~~PvW
4. PvW
5. ~P
6. W
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~~P*~P :. W
 
2. ~~P          1, Simplification
3. ~~PvW        2, Addition
4. PvW          3, Double negation
5. ~P           1, Simplification
6. W          4,5, Disjunctive syllogism

Edwin