■
補講日について
補講日：8月19日（火）
場所：第9講義室
内容：
10:30-12:00 述語論理の演習
13:30-15:00 形式的自然数論Ｑ
15:30-17:00 2+2=4
本日の授業内容
授業第十回目、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復習です。この二つの制限が組み合わさって、∃x(x=0)⇒∀(x=0)のような望まれない命題の導出をどう防ぐのかを解説します。また、前回時間がなかったため、二つの量化子の双対性について復習します。
授業内容
- 前回の復習
- 宿題の答え合わせ
- eigenvariable条件（復習）
- 双対性 (duality)
