contraposition

C2 general

意味・定義

2つの辞書から3件の定義

JMdict

2件

1対偶

名詞

1換質換位

JMdict © James William BREEN and The Electronic Dictionary Research and Development Group

EDRDG Licence

ライセンス: CC BY-SA 4.0

AIによる解説

1件

1対偶、対置を意味する名詞です。論理学では、条件文の主語と述語を入れ替えて否定する操作を指します。「If A then B」の対偶は「If not B then not A」となります。また、物事を対照的に配置することも意味します。数学や哲学の論理学で重要な概念です。

A noun in logic meaning the inference of a proposition from another by negating both terms and reversing their order. 'If A then B' → 'If not B then not A.' 'Proof by contraposition.' Also: placing in opposition. Logic and philosophy term. 'Use contraposition to prove the theorem.' 'The contraposition is logically equivalent.'

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

The theorem was proved using contraposition.

その定理は対偶を用いて証明されました。

Contraposition is a valid logical operation.

対偶は有効な論理演算です。