SOLUTION: 1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G

Algebra.Com
Question 1032774: 1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G
Answer by Edwin McCravy(20054)   (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

1. (E ⊃ A) • (F ⊃ A) 2. E ∨ G 3. F ∨ ∼G / A (answered by Edwin McCravy)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴... (answered by jim_thompson5910)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. G ⊃ (E... (answered by robertb)
(1). (I&E) > ~ F (2). F v (G&H) (3). I = E / (conclusion) I > G (answered by Edwin McCravy)
Proof using rules of replacement. Thanks for your help. 1. G · K 2. K ⊃ E (answered by Edwin McCravy)
Please help me solve this logic proof: 1. E→H 2. (E ∨ F) • (E ∨ G) (answered by jim_thompson5910)