推論規則

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年8月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Rule of inference|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

演繹の推論規則
命題計算
モーダスポネンス モーダストレンス モーダスポネンストレンス（英語版） 連言導入 簡単化 選言導入 選言除去 選言三段論法 仮言三段論法 構成的ジレンマ（英語版） 破壊的ジレンマ（英語版） 二条件導入（英語版） 二条件除去（英語版）
述語計算
普遍汎化 普遍例化 存在汎化 存在例化
カテゴリ:推論規則
表 話 編 歴

推論規則（すいろんきそく、英: rule of inference, inference rule, transformation rule）とは、論理式から他の論理式を導く推論の規則である。

記号、公理、代入規則、推論規則によって理論を形式化したものを公理系という。 公理は記号だけで記述されるが、推論規則や代入規則はこれらの記号について述べているメタ言語で記述される。 恒真式 （トートロジー）から推論規則を導くと妥当性のある推論になる。

古典論理における代表的な推論規則を以下に示す。（⊢は推論を表すメタ言語の記号であり、A₀, …, A_n-1 ⊢ BはA₀, …, A_n-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

• シークエント計算 - カット除去定理
• ルイス・キャロルのパラドックス