世界大百科事典（旧版）内の変形推理の言及
【推理】より
…例えば〈すべてのSはPである〉から〈あるSはPである〉を導出することは直接推理であり，〈すべてのS1はS2である〉〈すべてのS2はS3である〉〈すべてのS3はS4である〉という3個の前提命題から〈すべてのS1はS4である〉を導出することは間接推理である。直接推理には(a)換質，(b)換位，(c)この両者の組合せによる推理((a)(b)(c)は変形推理と総称される)，および(d)対当による推理がある。一方，間接推理においては，三段論法(すなわち，前提命題が2個の推理)がその中枢となる。…
※「変形推理」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」