2009-05-22から1日間の記事一覧

補足

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