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

直接推理 チョクセツスイリ

2件 の用語解説(直接推理の意味・用語解説を検索)

デジタル大辞泉の解説

ちょくせつ‐すいり【直接推理】

論理学で、一つの判断を前提としてそこから直接に結論を導き出す推理。原判断を変形して新判断を導き出すものと、対当関係によるものとの2種に分けられる。→間接推理

出典|小学館
デジタル大辞泉について | 情報 凡例

世界大百科事典内の直接推理の言及

【換質】より

…換位conversionとならぶ伝統的論理学における直接推理の一種。換質とは命題の肯定・否定という質を換える推理であり,(1)肯定命題〈……はPである〉から否定命題〈……は非‐Pでない〉を導出すること,(2)否定命題〈……はPでない〉から肯定命題〈……は非‐Pである〉を導出すること,の2種がある。…

【推理】より

…しかし厳密な意味での〈推理〉としては,論理的に正しい推理をさすことが多い。(1)伝統的論理学ではA,I,E,Oの四つの命題の型(判断)が存するが,前提命題が1個の推理を直接推理,前提命題が2個以上の推理を間接推理と呼ぶ。例えば〈すべてのSPである〉から〈あるSPである〉を導出することは直接推理であり,〈すべてのS1S2である〉〈すべてのS2S3である〉〈すべてのS3S4である〉という3個の前提命題から〈すべてのS1S4である〉を導出することは間接推理である。…

※「直接推理」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
世界大百科事典 第2版について | 情報

今日のキーワード

稀勢の里寛

1986- 平成時代の力士。昭和61年7月3日生まれ。中学卒で鳴戸部屋に入門し,平成14年3月初土俵。16年5月新十両,同年11月には18歳4ヵ月で新入幕をはたす。18年7月新三役小結,21年3月新関...

続きを読む

コトバンク for iPhone