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

提供: Internet Web School

---

2013年10月23日 (水) 08:21時点における版

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

目次 1 目次 2 説明 2.1 推論規則 3 CAIテスト

目次

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

説明

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

推論規則

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

CAIテスト

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