SOLUTION: (1). (I&E) > ~ F (2). F v (G&H) (3). I = E / (conclusion) I > G

Algebra ->  Customizable Word Problem Solvers  -> Evaluation -> SOLUTION: (1). (I&E) > ~ F (2). F v (G&H) (3). I = E / (conclusion) I > G       Log On

Ad: Over 600 Algebra Word Problems at edhelper.com


   



Question 1032782: (1). (I&E) > ~ F
(2). F v (G&H)
(3). I = E / (conclusion) I > G

Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!
(1). (I&E) > ~ F
(2). F v (G&H)
(3). I = E      / (conclusion) I > G 

(4).         | I             Assumption for Conditional Proof
(5).         | (I>E)&(E>I)   (3),Material Equivalence
(6).         | I>E           (5),Simplification
(7).         | E             (6),(4),Modus Ponens
(8).         | I&E           (4),(7),Conjunction
(9).         | ~F            (1),(8),Modus Ponens
(10).        | G&H           (2),(9),Disjunctive Syllogism
(11).        | G             (10),Simplification
             ---------------------------------------
(12). I > G   Conditional Proof (4)-(11)

Edwin