Difference between revisions of "Contrapositive"
Jump to navigation
Jump to search
FernoKlump (talk | contribs) (wikilink) |
FernoKlump (talk | contribs) (stub tag goes at end) |
||
| Line 1: | Line 1: | ||
| − | |||
The '''contrapositive''' of a statement of the form "A implies B" is the [[logic]]ally equivalent statement "not-B implies not-A." | The '''contrapositive''' of a statement of the form "A implies B" is the [[logic]]ally equivalent statement "not-B implies not-A." | ||
| + | {{stub}} | ||
[[Category:Logic]] | [[Category:Logic]] | ||
Revision as of 16:26, June 23, 2008
The contrapositive of a statement of the form "A implies B" is the logically equivalent statement "not-B implies not-A."