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

Algebra ->  Proofs -> SOLUTION: 1. (I&-E) -> -I |-(Conclusion) I -> E      Log On


   

Question 1206856: 1. (I&-E) -> -I |-(Conclusion) I -> E
Answer by Edwin McCravy(20055) About Me  (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