Question 1005914
<pre>
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</pre>