換かん質しつ換かん位い

noun

contraposition

Technical term in logic; refers to the inference that derives a new proposition by switching the subject and predicate and negating both.

• 換かん質しつ換かん位いは伝でん統とう的てき論ろん理り学がくで用もちいられる推すい論ろん形けい式しきの一ひとつである。

  Contraposition is one of the inference forms used in traditional logic.