SOLUTION: CREATE A PROOF FOR THE FOLLOWING ARGUMENT (R ∨ M) ⊃ S M ∨ C (C ∨ H) ⊃ R ~M /S

Question 1194045: CREATE A PROOF FOR THE FOLLOWING ARGUMENT
(R ∨ M) ⊃ S
M ∨ C
(C ∨ H) ⊃ R
~M /S

Answer by mccravyedwin(406) (Show Source): You can put this solution on YOUR website!

1.  (R ∨ M) ⊃ S
2.  M ∨ C
3.  (C ∨ H) ⊃ R
4.  ~M                /S

5.  C           2,4, DS 
6.  C ∨ H         5, add.
7.  R           3,6, MP
8.  R ∨ M         7, add.
9.  S           1,8, MP

Edwin

RELATED QUESTIONS
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

I'm having a hard time constructing a proof for the following argument. M&~Q M->S... (answered by richard1234,Edwin McCravy)

CREATE A PROOF FOLLOWING THE ARGUMENT K ∨ L (K ⊃ F) • (R ⊃ S) (N ⊃ K) •... (answered by Edwin McCravy)

Create proof for the following argument 1. (H ∨ M) ∨ L 2. L ⊃ H 3. H ⊃ (M ⊃... (answered by Edwin McCravy)

Create a proof for the following argument: 1. D ⊃ (∼G ⊃ ∼H) 2. (K ∨ M) ⊃ H (answered by Edwin McCravy)

Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)

S=c/1-m; solve for... (answered by Earlsdon)

1. (O+M)>S 2. ~S /~M Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

Create a poof for the following argument 1. (L ∨ B) ⊃ C 2. (S ∨ D) • L /... (answered by math_helper)