SOLUTION: Given E, construct a conditional which has E as its consequent. So far I have 1. E 2. EvS 3. -E->S and the solution as _->E

Algebra ->  Proofs -> SOLUTION: Given E, construct a conditional which has E as its consequent. So far I have 1. E 2. EvS 3. -E->S and the solution as _->E      Log On


   

Question 687116: Given E, construct a conditional which has E as its consequent.
So far I have
1. E
2. EvS
3. -E->S
and the solution as _->E
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
You have the right idea, but you need to flip things around a bit

1. E (given)
2. E v S (addition)
3. S v E (commutation)
4. ~~S v E (double negation)
5. ~S -> E (material implication)

Optionally, you can also do

1. E (given)
2. E v ~S (addition)
3. ~S v E (commutation)
4. ~S v E (double negation)
5. S -> E (material implication)

So basically, the antecedent is whatever you want it to be because you can add on anything you want (in line 2)