SOLUTION: 1. (I&-E) -> -I |-(Conclusion) I -> E

Question 1206856: 1. (I&-E) -> -I |-(Conclusion) I -> E
Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!


1. (I&~E) -> ~I   |-(Conclusion) I -> E
             
             |2.  I               Assumption for conditional proof
             |3.  ~~I          2, double negation
             |4.  ~(I&~E)    1,3, transposition
             |5.  ~I v ~~E     4, DeMorgan's law
             |6.  ~I v E       5, double negation
             |7.  E          6,3, disjunctive syllogism
8. I -> E    lines 2-7  for conditional proof.

Edwin

RELATED QUESTIONS
(1). (I&E) > ~ F (2). F v (G&H) (3). I = E / (conclusion) I > G (answered by Edwin McCravy)

Please help me solve this proof: Premise 1: (E � I) v (M �U) Premise 2: ~E... (answered by jim_thompson5910)

I need help deriving the conclusion using the 18 rules of inference. 1. C>(Dv~E) 2.... (answered by jim_thompson5910)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)

infinity E 6(.02)^i... (answered by galactus)

-i(log(-1))i^2/e (answered by stanbon)

how to solve this logic proof (1)(I&E)>~F (2)Fv(G&H) (3)I=E /(conclusion) I>G (Key: (answered by robertb)

Proof by Natural Deduction � Propositional Logic. Use a direct proof to show that the... (answered by robertb)

I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)