演繹法
演繹法(えんえきほう、deduction)
演繹(えんえき、英: deduction)は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。
ref:
演繹 - Wikipedia
三段論法
は演繹法
演繹の推論規則
モーダスポネンス
モーダストレンス
確認用
Q. 演繹法とは
関連
帰納法
命題論理
論理的推論
参考
演繹 - Wikipedia