2016-05-17から1日間の記事一覧

■

授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則に関する補足で、前回終わらなかったスライドの解説続き（「きれいな証明」こと正規な証明など）と、否定に関する問題演習を行います。前回配付した資料を持参して下さい！