数理論理学

最終回。まず、LKの推論についての注意点について。こういう変形は許されませんよ。というもの。
とりあえず試験に出るのだろう。
最後に、いくつかの定理について。cut除去定理であるとか、完全であるとか。まぁこのあたりの証明はでるまい。
というわけで、あっけなくおしまい。まだ本の２章しか終わっていない。論理学って奥が深いですな。
午後からは、演習。証明が難しく手が出ない。