■

本日の授業

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

授業内容

1. 前回の復習
2. 述語論理:∃の導入と除去

今後の予定

エクストラ補講：
受けなくても成績には影響はありません

• 8月 1日（土）16:00〜　形式的な算術
• 8月 8日（土）16:00〜　2+2=4