e/Proof by contrapositive

Information
has gloss	eng: In logic, proof by contrapositive is a form of proof that establishes the truth or validity of a proposition by demonstrating the truth or validity of the converse of its negated parts.
lexicalization	eng: Proof by contrapositive
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof