Contrapositive
This is an old revision of this page, as edited by FernoKlump (talk | contribs) at 15:39, June 23, 2008. It may differ significantly from current revision.
Template:Stub The contrapositive of a statement of the form "A implies B" is the logically equivalent statement "not-B implies not-A."