2014-05-13 ■ 教室 教室:未定 授業内容 授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則・「きれいな証明」（正規な証明）に関する補足です。 前回終わらなかった後半部分と、否定に関する問題演習を行います。 前回の復習 ⇒の証明例 除去→導入の例外 今後の予定 本日の授業資料 授業スライド こちらから 宿題 こちらから
