e/Transposition (logic)

Information
has gloss	eng: In the methods of deductive reasoning in classical logic, "transposition is the rule of inference that permits one to infer from the truth of "A implies B" the truth of "Not-B implies not-A", and conversely". Its symbolic expression is:
lexicalization	eng: transposition
instance of	e/Rule of inference