Follow all conventions from the textbook. For example, no spaces; drop outer parentheses; use -> for arrow;
etc. Some have been done for you. A vertical bar "T" signals a subproof line.
Pay attention to the subproofs to figure out how we did it!
Here's the argument:
P1: -(-P&-Q)
P2: R->-Q
C: R->P
1. -(-P&-Q)
2. R->-Q
3.
4. 11
5. 11
6. 11
7. 11
8.
9.
10. R->P
Premise
Premise