About
Community
Bad Ideas
Drugs
Ego
Erotica
Fringe
Society
Technology
register | bbs | search | rss | faq | about
meet up | add to del.icio.us | digg it
Go Back   Community > Science > Mad Scientists
Register FAQ Members List Calendar Search Today's Posts Mark Forums Read

Mad Scientists Science and Mathematics discussion-- theories, arguments, citations, proofs and pudding.

Reply
 
Thread Tools Display Modes
 #1 
Old 2008-12-07, 02:17
Pingy Pingy is offline
Regular
 
Default Proving Implication

I'm having trouble proving the implication rule for SD+

I need to show that:

L => M is equivalent to ~L v M.

I got the proof the other way around, this one is just bugging me.

Here is the kicker, I can only use the rules of SD, not SD+, which are the basic logical operator introduction and elimination rules.

I guess I would try to get ~L first and use Disjunction Introduction to get ~L v M.

The problem is getting ~L. I tried assuming L, but I'm having trouble finding a contradiction.

Any ideas??
 
To the best of our knowledge, the text on this page may be freely reproduced and distributed.
 

totse.com certificate signatures
 
 
About | Community | Bad Ideas | Drugs | Ego | Erotica | Fringe | Society | Technology
Hot Topics