授業スライド こちらから 宿題 こちらから

授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則・「きれいな証明」（正規な証明）に関する補足です。 前回終わらなかった後半部分と問題演習を行います。 前回の復習 ⇒の証明例 除去→導入の例外