Correct Answer.

Here is a natural deduction proof of this fact:

1 p assumption
2 p assumption
3 p assumption
4 p axiom 5 line 3
5 e 2,4
6 p RAA 3-5
7 p axiom line 6
8
9 p RAA 2-8
10 p p i 1-9

Back to Question.
Next Question.