contrapositive

views updated

contrapositive of a conditional, P Q. The statement ¬Q → ¬P

where ¬ denotes negation. The contrapositive of a conditional is therefore equivalent to the original conditional. See also converse, inverse.