■

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