申し訳ありませんが、本日と来週は休講です。なお、次回授業は以下の予定です： 次回授業 6月4日（火） 今年前期は、講師の都合上休講が多く、最大で二週間に一回程度休講になる可能性があります。その分の授業は補講期間にまとめて行う予定ですので、補講期…

申し訳ありませんが、以下の日は休講とします。 5月14日 5月21日 今年前期は、講師の都合上休講が多く、最大で二週間に一回程度休講になる可能性があります。その分の授業は補講期間にまとめて行う予定ですので、補講期間は空けておいてください（後でアンケ…

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

授業第三回目の今回は自然演繹の⇒の導入規則・除去規則、また「きれいな証明」（正規な証明）について紹介します。 「きれいな証明」は、本授業のテーマである「論理の条件」と密接な関係がある、重要な概念です。 前回の復習 自然演繹：⇒の導入・除去規則 …