QUESTION 3
For this question, you are given a proof, but with a gap where the name of the rule of inference should be. For each line, choose the right rule from the list given.
1. P & ~Q prem.
2. R → Q prem.
3. ~P v (~R → S) / S prem. / conc.
- a. b. c. d. e. f. g. h. i.
4. ~Q [rule?] 1 - a. b. c. d. e. f. g. h. i.
5. ~R [rule?] 2,4 - a. b. c. d. e. f. g. h. i.
6. P [rule?] 1 - a. b. c. d. e. f. g. h. i.
7. ~R → S [rule?] 3,6 - a. b. c. d. e. f. g. h. i.
8. S [rule?] 7,5