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