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

●本格的な自然演繹

背理法を使う自然演繹
        基本規則： ⊥c (背理法)
        派生規則： EM  (排中律)
        ※推論規則の詳細は教科書の推論規則一覧を参照

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

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