直接推理（読み）チョクセツスイリ

デジタル大辞泉

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

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

出典　小学館

精選版 日本国語大辞典

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

〘名〙 一つの命題から直接に他の命題を推論すること。対当関係による推理、変形推理、逆関係による推理などが含まれる。〔普通術語辞彙（1905）〕

出典　精選版 日本国語大辞典

世界大百科事典（旧版）内の直接推理の言及

【換質】より

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

【推理】より

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

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

出典｜株式会社平凡社「世界大百科事典（旧版）」