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

提供: Internet Web School

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

目次

目次

説明

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

推論規則

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

CAIテスト

個人用ツール
他の言語