Exercise 37 ... (For-Credit of 10 Points)
(based on Textbook Exercises, 4-2 & 4-5)
Derive the conclusions from the premises in the arguments below
by utilizing inference rules:
======================================
[37-1]
C: G
---------------------
1: ~M Premise
2: N -> G Premise
3: N v M Premise
4:N Disjunctive syllogism
5:G Modus ponens
G being derived from the above premises
======================================
[37-2]
C: D
-----------------------
1: ~G -> (A v B) Premise
2: ~B Premise
3: A -> D Premise
4: ~G Premise
5:A v B 1,4 modus ponens
6:A 2,5 Disjunctive syllogism
7:D 3,6 Modus ponens
D Derived from above premises
======================================
