KeyLang

obversion

複数:
obversions
意味・定義
2つの辞書から2件の定義

AIによる解説

1
1「obversion」は論理学用語で「換質」を意味します。命題の質(肯定・否定)を変えて、述語を補集合に変換する推論の形式です。例えば「すべてのSはPである」を「どのSも非Pではない」に変換します。

Obversion is a logical operation in traditional logic where a proposition is transformed by changing its quality (affirmative to negative or vice versa) while replacing the predicate with its complement. For example, 'All S is P' becomes 'No S is non-P.' The truth value remains unchanged.

ライセンス: KeyLang Original

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

Obversion is one of the immediate inferences in traditional logic.

換質は伝統的論理学における直接推論の一つです。

-

Through obversion, 'All cats are mammals' becomes 'No cats are non-mammals.'

換質により「すべての猫は哺乳類である」は「猫で非哺乳類なものはない」となります。

-

The obverse of the coin shows the president.

コインの表面には大統領が描かれている。

-

Love is the obverse of hate.

愛は憎しみの表裏一体だ。

-
関連語
活用形・派生語などの関連単語
同じレベルの単語
このレベル周辺のおすすめ単語