補足

授業中にコメントしたことですが

1. 前回、量化子の説明だけで終わり、∀の導入・除去規則の話ができなかったため、次回の授業ではその話をします。
2. それにともない、宿題は、問題(1)（量化子で数学の文章を記述する）のみを出題します。