Modus Tollens

created by Tem42

(idea) by Tem42 (7.1 hr) (print) ? I like it! Sat Nov 13 1999 at 14:53:12

A rule of Inference in propositional logic, used to break up a conditional statement. Basically:

If P, Then Q.
~Q (Not Q)
Therefore, ~P.

If Socrates is a god, then he is immortal.
It is not the case that Socrates is immortal.
Therefore Socrates is not a god.

Often abbreviated to MT. Don't confuse with Denying the Antecedent.

Also see Modus Ponens and Hypothetical Syllogism

Denying the Antecedent	Modus Ponens	Hypothetical Syllogism	modus morons
deductive logic	Disjunctive Syllogism	Valid argument form	I tried to memorise her, from beginning to end
propositional logic	reductio ad absurdum	Staunton's Theory	hex
OpenCyc	syllogism	Lessons on life, love and things of utter importance	Rules of Inference
qualia	Latin	Sleep deprivation	Electric pickle
Si hoc legere scis nimium eruditionis habes	logical operators	e-stalking	Logical necessity

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.

Login
Password

Ouzo
Existential Dilemmas	(personal)
shaogo
Robert Mondavi	(person)
Ouzo
Goodwill Hunting, Thrift Store(ies)	(log)
Pandeism Fish
How conatus compels divine ketosis through a radical kenosis	(essay)
cryforhelp
Major dictionaries of the world	(review)
Glowing Fish
The Uncanny X-Men and the New Teen Titans	(thing)
WolfKeeper
Launch loop	(idea)
TendoKing
Katana	(person)
Wuukiee
Highly ornamental cultivars of brambles still have as many thorns as their wild counterparts	(idea)
TheDeadGuy
Editor Log: May 2008	(log)
everyday j.Lo
pray do not molest them	(thing)
ammie
Bands Who Take Their Names from Eighteenth-century English Poetry and Prose	(idea)
shaogo
Under My Thumb	(review)
ammie
Rock On	(person)
The Custodian
The Dresden Files	(thing)