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

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

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) (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)
RELATED QUESTIONS
Sally claims to have telekinetic powers. She claims that she can cause a die to turn up... (answered by CPhill)

I am really having a hard time with this one. Been working on it for nearly 3 hours and... (answered by robertb)

Express as a single logarithm: 3 ln(e^2 - e) - 3. I have come up with ln (e^2 - e)^3.... (answered by jim_thompson5910)

Find the exact value of e^LOGe^2 16 The answer is 4, but I am unsure as to why. If... (answered by addingup)

Evening All, Right its been a while since i have attempted maths, and have just gone... (answered by Alan3354)

Evening All, Right its been a while since i have attempted maths, and have just gone back (answered by user_dude2008,Fombitz)

Morning, Please could somebody possible help with this Right its been a while since (answered by Fombitz)

Can someone tell me if the answer I got to the following equation is correct?... (answered by Alan3354)

Its several months before Christmas - New Year’s holiday season. Wholesalers for... (answered by ikleyn)