SOLUTION: Use an ordinary proof (not conditional or indirect proof): 1. M⊃(R • E) 2. (E∨H)⊃G / M⊃G

Algebra ->  Proofs -> SOLUTION: Use an ordinary proof (not conditional or indirect proof): 1. M⊃(R • E) 2. (E∨H)⊃G / M⊃G      Log On


   

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

1. M⊃(R • E)
2. (E∨H)⊃G / M⊃G
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!


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)