Question 1032209
1. Fv(G&H)  ------------------------hypothesis
2. (FvG)&(FvH) ---------------------distributivity
3. FvG   --------------------------simplification
4. ~F > G  ------------------------material implication
5. (I&E)>~F  -----------------------hypo.
6. (I&E)> G   ----------------------hypothetical syllogism on #4 and #5
7. (I&I)> G   ---------------------- logical equivalence of I and E
8. I > G   -------------------------idempotent law