1,645
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − {{stub}} +
stub tag goes at end
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]]