modus tollens

<logic, philosophy of science> a rule of inference of the form:

	p -> q
	~ q
	_______
	~ p

Example: "If it had rained this morning, then the grass would still be wet. But the grass is not wet. Therefore, it did not rain this morning." A simple truth-table shows that any argument of this form must be valid.

[A Dictionary of Philosophical Terms and Names]

<2002-03-11>

Try this search on OneLook / Google


Nearby terms: moderation « modernism « modus ponens « modus tollens » molecule » monad » monadic predicate logic