論理学/命題論理による推論

提供: Internet Web School

2014年5月23日 (金) 04:54 時点における最新版

論理学 ＞ 命題論理による推論

目次

• 命題論理（Wikipedia）
• モーダスポネンス（Wikipedia）

説明

注：ここでは、αからβの推論が可能なことを、　α ⊢ β　と書くことにする。

推論規則

• 二重否定の除去：￢￢α ⊢ α
• 論理積の導入：α,β ⊢ α ∧β　　α,β ⊢ β∧α
• 論理積の消去：α∧β ⊢ α　　α∧β ⊢ β
• 論理和の導入：α ⊢ α∨β　　α ⊢ β∨α
• 論理和の消去：α∨β, ￢β ⊢ α　　α∨β, ￢α ⊢ β
• モーダスポネンス （modus ponens：前件肯定）：α, α→β ⊢ β

CAIテスト

• CAIテストのページへ（新しいWindowが開きます）