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

提供: Internet Web School

UNIQ1c38804b5dcae5eb-MathJax-2-QINU2 による版
(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)

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

目次

目次

説明

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

推論規則

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

CAIテスト

個人用ツール