2011-05-17 ■ 授業第四回目の今回は、最小命題論理の自然演繹の論理結合子 ∧ と ∨ に関する導入規則・除去規則の紹介と問題演習です。 当分の間、機械的な問題演習が続くと思いますが、形式的な論理体系を理解するためには、まず手を動かして 練習問題の証明をやり、計算ができるようになる事が大切です。そして「論理とは何か」という哲学的な考察は、計算ができるようになってはじめてできるようになります。というわけで、皆さん、頑張って下さい。