Contrapositive definition
A proposition derived by negating and permuting the terms of another, equivalent proposition; for example, All not-Y is not-X is the contrapositive of All X is Y.
noun
(logic) A proposition obtained by negating and transposing the terms of a given proposition.
The contrapositive of “All A is B” is “All not-B is not-A”
noun
Advertisement