━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 数理論理学 第12回「自然演繹 4」の要点 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
●述語を扱う準備 変数の束縛範囲 ∀x A や ∃x A の ∀ や ∃ の直後の変数 x は A 中で有効 束縛変数 量化子の有効範囲内の変数 変数の自由出現 量化子の有効範囲外にある変数 変数への項の代入 A[x:=t] は論理式 A の x の自由出現をすべて項 t で置き換えたもの ●述語論理の自然演繹 推論規則 ∀I ∃I ∀E ∃E 仮定の有効範囲に注意 ∀I と ∃E の変数条件に注意 ※推論規則の詳細は教科書の推論規則一覧を参照 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 授業のホームページ 山田 俊行 https://www.cs.info.mie-u.ac.jp/~toshi/