16世紀中頃:後期ラテン語のcontrapositio(n-)から。動詞contraponere(contra-「反対に」+ponere「置く」)に由来。
対偶
The teacher explained contraposition using the statement 'All cats are animals.'
先生は「すべての猫は動物である」という文を使って対偶を説明した。
派生語