2014-04-22 ■ 教室は前回と同じく第二演習室です!授業第三回目の今回は自然演繹の⇒の導入規則・除去規則、また「きれいな証明」(正規な証明)について紹介します。 「きれいな証明」は、本授業のテーマである「論理の条件」と密接な関係がある、重要な概念です。 前回の復習 自然演繹:⇒の導入・除去規則 きれいな証明 ⇒の証明例 今後の予定 本日の授業資料 授業スライド こちらから 授業要旨・宿題 こちらから 次回授業 5月13日(火)