2021-06-15 ■ 本日の授業 授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現しています。この規則は x がA[x]を満たす「未知数」であることを表現しています。 授業内容 前回の復習 述語論理:∃の導入と除去