Siteadmin, Bureaucrats, Check users, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrators
125,657
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: + +
do not confuse with the converse
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]]