intro to logics questions derive the conclusions from premises by using inference rules
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