also: ぎゃくかん
noun
logical inversion
Technical term in logic for reversing a proposition or relation. Rare in everyday language.
「AならばB」の逆換は「BでないならばAでない」である。
The logical inversion of 'If A then B' is 'If not B then not A'.
Compound of 逆 (reverse) and 換 (exchange/change). The reading ぎゃっかん is a contraction of ぎゃくかん.