授業スライド こちらから 授業要旨・宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∃の導入と除去 宿題

授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現して…