━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
数理論理学 第11回「自然演繹 3」の要点
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

●命題論理の自然演繹

推論規則
        ⇒I ∧I ∨I1 ∨I2 ⊥
        ⇒E ∧E1 ∧E2 ∨E
        依存する仮定や，解消する仮定に注意
        ※推論規則の詳細は教科書の推論規則一覧を参照

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
授業のホームページ

山田 俊行
https://www.cs.info.mie-u.ac.jp/~toshi/