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
{{stub}}
The '''contrapositive''' of a statement of the form "A implies B" is the logically equivalent statement "not-B implies not-A."