━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 数理論理学 第11回「自然演繹 3」の要点 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
●命題論理の自然演繹
推論規則
⇒I ∧I ∨I1 ∨I2 ⊥
⇒E ∧E1 ∧E2 ∨E
依存する仮定や,解消する仮定に注意
※推論規則の詳細は教科書の推論規則一覧を参照
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
授業のホームページ
山田 俊行
https://www.cs.info.mie-u.ac.jp/~toshi/