Complete this formal proof following all conventions from the textbook. Try it in the proof machine.
1. (P&~P)v(Q&~Q)v(R&~R) Premise
2. |
3. |
4. |
5. |
6. |
7. |
8. |
9. |
10. |
11. |
12. |
13. |
14. #