2015-05-19から1日間の記事一覧
授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則に関する補足で、前回終わらなかったスライドの解説続き(「きれいな証明」こと正規な証明など)と、否定に関する問題演習を行います。 前回配付した資料を持参して下さい!また、今週出題…
授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則に関する補足で、前回終わらなかったスライドの解説続き(「きれいな証明」こと正規な証明など)と、否定に関する問題演習を行います。 前回配付した資料を持参して下さい!また、今週出題…