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

●自然演繹の基礎

演繹と帰納
        推論や思考の方法の分類
        演繹 … 規則や普遍的な法則に基づいて結論を導くこと
        帰納 … 個々の事実から一般的な法則を導くこと

自然演繹
        推論を通常の推論手順に近い形で形式化する枠組みのひとつ
        推論規則を繰り返し使って証明を作る

帰納的定義
        (主に無限個の)対象の集まりを，有限個の規則で定める方法
        定義しようとしているもの自身を参照する定義

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

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