Difference between revisions of "Contrapositive"
Jump to navigation
Jump to search
FernoKlump (talk | contribs) (stub tag goes at end) |
(do not confuse with the converse) |
||
| 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." | ||
| + | |||
| + | Do not confuse the '''contrapositive''' with the [[converse]], which is very different and not necessarily true. | ||
{{stub}} | {{stub}} | ||
[[Category:Logic]] | [[Category:Logic]] | ||