選言三段論法(読み)せんげんさんだんろんぽう

世界大百科事典(旧版)内の選言三段論法の言及

【三段論法】より

… (4)〈“pならばq”,“qならばr”⇒“pならばr”〉という型の推論は〈純粋仮言三段論法〉,〈“pならばq”,“p”⇒“q”〉は〈仮言三段論法〉の〈肯定式〉,〈“pならばq”,“qでない”⇒“pでない”〉は同論法の〈否定式〉と呼ばれている。 (5)〈“pqのどちらか一方だけ成立する”,“qでない”⇒“p”〉は〈選言三段論法〉の〈否定肯定式〉,〈“pqのどちらか一方だけ成立する”,“p”⇒“qでない”〉は同論法の〈肯定否定式〉と呼ばれる。 (6)このほかに,〈仮言選言三段論法〉と呼ばれる推論の型があり,〈“pならばr,かつ,qならばrである”,“pqのどちらか一方だけ成立する”⇒“r”〉はその一例である。…

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

出典|株式会社平凡社「世界大百科事典(旧版)」

機械メーカー。トヨタグループの総本家で,繊維機械のほかトヨタ自動車からの小型商用車の受託生産,エンジンその他の自動車部品,フォークリフトなどの産業用車両の生産も行なう。1926年豊田佐吉が,みずから発...

豊田自動織機の用語解説を読む