2021-06-22 ■ 本日の授業内容 授業第十回目、最小述語論理の問題演習です。また、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復習を行います。この二つの制限が組み合わさって、∃x(x=0)⇒∀(x=0)のような望まれない命題の導出をどう防ぐのかを解説します。また、前回時間がなかったため、二つの量化子の双対性について復習します。 授業内容 前回の復習 宿題の答え合わせ eigenvariable条件(復習) 双対性 (duality)