Namespaces
Variants
Actions

Contrary theorem

From Encyclopedia of Mathematics
Revision as of 17:17, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A theorem obtained by replacing the condition and conclusion of a given initial theorem with their negations, and interchanging them.

Comments

A contrary theorem is usually called a contrapositive theorem. Formally such a theorem is of the form: "If not B, then not A" , and is obtained by "contrapositioncontraposition" (i.e. by interchanging the conclusion () and condition () and replacing each with its negation) from a given theorem: "If A, then B" .

How to Cite This Entry:
Contrary theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Contrary_theorem&oldid=16561