前回の復習 宿題の答え合わせ eigenvariable条件（復習） 双対性 (duality) 宿題

授業スライド・宿題 こちらから

授業第九回目、量化子 ∀ ∃の導入・除去規則についての演習です。また、前回時間がなかったため、二つの量化子の双対性について復習します。