推論規則
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/19 15:48 UTC 版)
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年8月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
| 演繹の推論規則 |
|---|
| 命題計算 |
| モーダスポネンス |
| 述語計算 |
| 存在例化 |
| |
推論規則（すいろんきそく、英: rule of inference, inference rule, transformation rule）とは、論理式から他の論理式を導く推論の規則である。
記号、公理、代入規則、推論規則によって理論を形式化したものを公理系という。 公理は記号だけで記述されるが、推論規則や代入規則はこれらの記号について述べているメタ言語で記述される。 恒真式 （トートロジー）から推論規則を導くと妥当性のある推論になる。
古典論理における推論規則
古典論理における代表的な推論規則を以下に示す。（⊢は推論を表すメタ言語の記号であり、A0, …, An-1 ⊢ BはA0, …, An-1からBが導かれることを示す。）
演繹
- モーダスポネンス P, P→Q ⊢ Q
- モーダストレンス ￢Q, P→Q ⊢ ￢P
- 否定導入 P → ⊥ ⊢ ￢P
- 普遍例化 ∀xψ(x) ⊢ ψ(a)
- 普遍汎化
- 存在例化
- 存在汎化 ψ(a) ⊢ ∃xψ(x)
- 二重否定の除去 ￢￢P ⊢ P
- 二重否定の導入 P ⊢ ￢￢P
- 選言三段論法 P∨Q, ￢P ⊢ Q
- 仮言三段論法 P→Q, Q→R ⊢ P→R
- 導出 l∨P, ￢l∨Q ⊢ P∨Q
- 二条件導入
- 二条件除去
- 構成的ジレンマ
- 破壊的ジレンマ
アブダクション（仮説形成）
- 後件肯定 Q, P→Q ⊢ P
関連項目
脚注
推論規則
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:10 UTC 版)
推論規則とは、あるいくつかの論理式から別の論理式を導出するための規則である。これは正確には、論理式全体の集合の上の関係として定義される。推論規則には様々なものが考えられるが、ここで用いる推論規則はモーダス・ポーネンス (modus ponens) と呼ぶ規則と全称化 (generalization) と呼ぶ規則の二つである。
※この「推論規則」の解説は、「一階述語論理」の解説の一部です。
「推論規則」を含む「一階述語論理」の記事については、「一階述語論理」の概要を参照ください。
ウィキペディア小見出し辞書の「推論規則」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
「推論規則」の例文・使い方・用例・文例
- 推論規則のページへのリンク