In the below

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
2: N -> G
3: N v M

======================================
[37-2]

C: D
———————–
1: ~G -> (A v B)
2: ~B
3: A -> D
4: ~G

======================================
[37-3]

C: ~B
———————–
1: A -> (B -> C)
2: ~C
3: ~D -> A
4: C V ~D

======================================
[37-4]

C: D & E
———————–
1: A -> (~B & C)
2: C -> D
3: E v B
4: A

======================================
[37-5]

C: ~F
———————-
1: (F -> G) v H
2: ~G
3: ~H

======================================
[37-6]

C: L
———————-
1: ~A
2: (C v A) -> L
3: A v D
4: (D v U) -> C