Annotate the following proofs

Question

1. ~~P*~P :. W
2. ~~P

3. ~~PvW

4. PvW

5. ~P

6. W

Answer 1

1. ~~P*~P :. W

2. ~~P Conjunction elimination 1

3. ~~PvW Disjunction introduction 2

4. PvW Double negation elimination 3

5. ~P Conjunction elimination 1

6. W Disjunction elimination 4, 5