So I have gathered/learned a total of 8 different rules of inference & 10 rules of equivalence for proofs: making a total of 18 proofs (Modus Ponens, Modus Tollens, Disjunctive Syllogism, Hypothetical Syllogism, Conjunction, Addition, Simplification, Constructive Dilemma, De Morgan's Law, Association, Distribution, Commutativity, Double Negation, Contraposition, Material Implication, Material Equivalence, Expotation, and Tautology). I want to turn the following premises GIVEN into a conclusion using the rules I know and mentioned.
Premises:
- $(G \wedge I) \implies H$
- $(I \implies H) \implies F$
Conclusion [What I want] : $G\implies F$
My Progress :
- $(G \wedge I) \implies H$
- $(I \implies H) \implies F\qquad\qquad\qquad\qquad [ G \implies F]$
- $G \implies (I \implies H)\qquad\qquad\qquad\qquad [1, $exp]
- $\sim(I \implies H) \vee F\qquad\qquad\qquad\qquad\quad\; [2, $Impl]
Not sure what else to do.