Question

LOGIC: give a formal proof:
1.e->(f*~g)
2.(f v g) -> h
3. e
conclusion:H

Answer 1

Any idea where to start?

Answer 2

I'm not sure if my answer is correct:
f*~g (Modus Ponens of 1 and 3)
F (simple of line 2)
~G (Simple of line 2)
f v g (addition 2)
therefore : h (modus ponen )