仮言三段論法（読み）かげんさんだんろんぽう

世界大百科事典（旧版）内の仮言三段論法の言及

【三段論法】より

…以上の(3)，表は，正確には〈定言的三段論法〉と呼ばれ，次の(4)，(5)，(6)とは区別されている(以下において，p,q,rは任意の命題を表すものとする)。　(4)〈“pならばq”，“qならばr”⇒“pならばr”〉という型の推論は〈純粋仮言三段論法〉，〈“pならばq”，“p”⇒“q”〉は〈仮言三段論法〉の〈肯定式〉，〈“pならばq”，“qでない”⇒“pでない”〉は同論法の〈否定式〉と呼ばれている。　(5)〈“pとqのどちらか一方だけ成立する”，“qでない”⇒“p”〉は〈選言三段論法〉の〈否定肯定式〉，〈“pとqのどちらか一方だけ成立する”，“p”⇒“qでない”〉は同論法の〈肯定否定式〉と呼ばれる。…

※「仮言三段論法」について言及している用語解説の一部を掲載しています。

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