(idea) by Tem42 Sat Nov 13 1999 at 14:53:14
A rule of inference in Propositional logic. Used to break up a disjunctive statement. Like this:
(I am using ^ for 'or', not xor).

P^Q
~P
Therefore, Q

I have an apple or an orange.
I don't have an apple.
Therefore, I have an orange.

Abruviated as DS.

See also: Modus Ponens, Modus Tollens, And Hypothetical Syllogism.

del.icio.us Facebook Digg StumbleUpon Reddit (I like it!)
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.