1.  M⊃(R • E)	  Premise

2.  (E∨H)⊃G       Premise  

// Prove  M⊃G



3.   M ⊃ E        1, Simplification (SIMP)

4.   M ⊃(E v H)   3, Addition (ADD)

5.   M ⊃ G        4,2 Hypothetical Syllogism (HS)  







 

RELATED QUESTIONS

Use an ordinary proof (not conditional or indirect proof):
1.
G ⊃ (H ⊃ K) 
 
2.... (answered by Edwin McCravy)

 Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)

Use an ordinary proof (not conditional or indirect proof):
 

1.	∼N ⊃ (∼R ⊃ C)	 (answered by math_tutor2020)

 Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by RBryant,Edwin McCravy,math_tutor2020)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)

Using an ordinary proof (not a conditional or indirect proof) 
 (answered by richwmiller)

Use natural deduction to derive the conclusion in each problem.

Use an ordinary proof... (answered by Edwin McCravy)

 Use an ordinary proof (not conditional or indirect) to solve the following arguments.

 (answered by Edwin McCravy)

Using an ordinary proof (not a conditional or indirect proof) 
1. S ⊃ (K ⋅... (answered by richwmiller)