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

前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 宿題について

授業第六回目、∀の導入・除去規則についてです。

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

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

前回の復習 宿題の答え合わせ 量化子：∀と∃ 述語論理:∀の導入と除去 宿題について

新型インフルエンザが流行しているようですが、大学の規定により、本日も平常通り授業を行います。 授業第五回目、量化子および∀の導入・除去規則についてです。

問題4はやらなくてよい（気が向いたらどうぞ）。

今回から、宿題の答えはスライドではなく、板書とします。 授業スライド こちらから 宿題 こちらから

前回の復習 宿題の答え合わせ 命題のイメージ：BHK解釈 命題＝証明のデータ型

授業第四回目、BHK解釈および「命題＝証明のデータ型」についてのざっくりとしたお話です。