e/Contraposition (traditional logic)

Information
has gloss	eng: In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality (affirmation or negation). For its symbolic expression in modern logic see the rule of transposition. Contraposition also has distinctive applications in its philosophical application distinct from the other traditional inference processes of conversion (logic) and obversion where equivocation varies with different proposition types.
lexicalization	eng: contraposition
instance of	e/Rule of inference

Meaning
French
lexicalization	fra: Propriété contraposée
Interlingua (International Auxiliary Language Association)
has gloss	ina: Action de contraponer. Etymologia: :Contraponer: Ab le latino contra e ponere "poner in contradiction
lexicalization	ina: Contraposition
Chinese
has gloss	zho: 直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论，它从一个直言命题得出另一个直言命题，所以被称为是直接的。在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)和对置法(Contraposition)。
lexicalization	zho: 直接推理