2014-04-22から1日間の記事一覧

■

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