SOLUTION: 1. M -> (R ^ E) 2. (E v H) -> G /M -> G

Question 1009886: 1. M -> (R ^ E)
2. (E v H) -> G /M -> G
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1. M -> (R ^ E)
2. (E v H) -> G  /M -> G

3. M -> (E ^ R)    1. Commutation
4. M -> E          3. Simplification
5. M -> E v H      4. Addition
6. M -> G          5,2, Hypothetrical syllogism

Edwin

RELATED QUESTIONS
Natural Deduction - all 18 rules can be used 1. M -> (R ^ E) 2. (E v H) -> G / M... (answered by jim_thompson5910)

1. M>(R&E) 2. (EvH)>G... (answered by math_helper)

Help! 1. ~M�(Z > R) 2. (~M v G) > ~ U 3. (~M v ~X) > ~B 4. (~B � ~U ) > (E > M)... (answered by Edwin McCravy)

Prove the following: 1. O --> (H * M) 2. (O --> G) --> (H --> ~M) 3. ~G --> (~H... (answered by Edwin McCravy)

(1). (I&E) > ~ F (2). F v (G&H) (3). I = E / (conclusion) I > G (answered by Edwin McCravy)

Use rules of implication to derive the indicated conclusions. 1. R ⊃ (G v ~A) 2. (G... (answered by math_tutor2020)

1. (G • H) v (M • G) 2. G ⊃ (T • A) /A (answered by CPhill)

1. G > H 2. A > (G * E) 3. A / A* (H v... (answered by jim_thompson5910)

1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) / ~R (answered by jim_thompson5910)