コトバンクはYahoo!辞書と技術提携しています。

戻換 れいかん inversion

翻訳|inversion

3件 の用語解説(戻換の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

戻換
れいかん
inversion

妥当な変形推理の一つで逆換ともいう。2つの場合があり,主語はいずれも全称肯定形が単称否定形に,述語は肯定は否定に否定は肯定に変化する。 (1) 「すべてのSはPである」 (A) →「ある非SはPでない」 (O) 。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

れい‐かん〔‐クワン〕【戻換】

inversion》論理学で、定言的判断の変形による直接推理の一。ある判断から主語の矛盾概念を主語に、述語を同じくする、新しい判断を導き出す推理。例えば、「すべてのsはpである」から「ある非sはpでない」を導出する類。逆換。

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

大辞林 第三版の解説

れいかん【戻換】

〘論〙 ⇒ 逆換ぎやつかん

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

戻換の関連キーワード論理記号真理値伝統的論理学数理論理学小概念定言定言的定言的三段論法定言的判断二値論理学

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone