■

本日の授業

授業第八回目の今回は、全称量化子 ∀ の導入・除去規則についてです。∀xP(x) は「前提なしで任意の x を選んできたとき P(x)が成立する」という意味ですが、その「前提なしで選ぶ」という要求を実現するため、∀ の導入規則には 「eigenvariable 条件」という非常にややこしい制限がついているので、注意が必要です。

授業内容

1. 前回の復習
2. 宿題の答え合わせ
3. 述語論理:∀の導入と除去
4. 補講日について