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