1.  M --> R&E        Premise

2.  (EvH) --> G      Premise



// show M --> G



3.  ::M              Conditional Proof (CP) assumption #1

4.  ::R&E            3,1 Modus Ponens (MP)

5.  ::E              4, Simplification (SIMP)

6.  ::EvH            5, Addition (ADD) (if E is true, certainly E or H is true)

7.  ::G              5,2 MP

8.  ::M-->G          3-7, CP

9. M-->G             3-8, CP   (discharge CP assumptions)



 

RELATED QUESTIONS

1. M -> (R ^ E)
2. (E v H) -> G  /M ->... (answered by Edwin McCravy)

Natural Deduction - all 18 rules can be used

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

Help!

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

find the value of m if
e/1 = f/2 = g/3 = (5e - 6f -2g)/m
 (answered by ankor@dixie-net.com,lalitmohan,greenestamps)

find the value of m if
e/1 = f/2 = g/3 = (5e - 6f -2g)/m
                   (answered by AnlytcPhil,Edwin McCravy,greenestamps)

g(m+1) if... (answered by orca)

Substitution... (answered by tommyt3rd)

Use rules of implication to derive the indicated conclusions.

1. R ⊃ (G v ~A) 2. (G... (answered by math_tutor2020)

Prove the following:

1. O --> (H * M)

2. (O --> G) --> (H --> ~M)

3. ~G --> (~H... (answered by Edwin McCravy)