授業スライド こちらから 授業要旨 こちらから

前回の復習 証明の正規化 正規化定理の応用

授業第十七回目は、「論理結合子の意味とは何か」に関する話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について考えたいと思います。具体的には、最小命題論理では全て…