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

Algebra.Com
Question 1032782: (1). (I&E) > ~ F
(2). F v (G&H)
(3). I = E / (conclusion) I > G
Answer by Edwin McCravy(20060)   (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
RELATED QUESTIONS

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
how to solve this logic proof (1)(I&E)>~F (2)Fv(G&H) (3)I=E /(conclusion) I>G (Key: (answered by robertb)
1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G (answered by Edwin McCravy)
Given the functions f(x)=1/x+6 ; g(x)=x/2-x a.(f ∘ g)(-2) b.(g ∘ f)(-2) (answered by stanbon)
Please help me solve this logic proof: 1. E→H 2. (E ∨ F) • (E ∨ G) (answered by jim_thompson5910)
Two step proof: 1. D > E 2. F > G 3. D v F / E v G (answered by Edwin McCravy)
Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)
can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)
I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)