変形推理（読み）へんけいすいり

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

【推理】より

…例えば〈すべてのSはPである〉から〈あるSはPである〉を導出することは直接推理であり，〈すべてのS₁はS₂である〉〈すべてのS₂はS₃である〉〈すべてのS₃はS₄である〉という3個の前提命題から〈すべてのS₁はS₄である〉を導出することは間接推理である。直接推理には(a)換質，(b)換位，(c)この両者の組合せによる推理((a)(b)(c)は変形推理と総称される)，および(d)対当による推理がある。一方，間接推理においては，三段論法(すなわち，前提命題が2個の推理)がその中枢となる。…

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

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