Skip to main content
2 of 2
The referent is gone.
Hunan Rostomyan
  • 5.5k
  • 3
  • 27
  • 40

A summary of the rules can be found here.

1. P(x) v Q(x)    hyp
2. ~P(x)          hyp

3. | P(x)         hyp
   |------
4. | ⊥            ⊥ Intro 2, 3
5. | Q(x)         ⊥ Elim, 4

6. | Q(x)         hyp
   |------
7. | Q(x)         Reit 6

8. Q(x)           v Elim, 1, 3-5, 6-7
Hunan Rostomyan
  • 5.5k
  • 3
  • 27
  • 40