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

前回の復習 宿題の答え合わせ 自然演繹：∧ の規則 自然演繹：∨ の規則 例題 宿題

授業第四回目の今回は、最小命題論理の自然演繹の論理結合子 ∧ と ∨ に関する導入規則・除去規則の紹介と問題演習です。 当分の間、機械的な問題演習が続くと思いますが、形式的な論理体系を理解するためには、まず手を動かして 練習問題の証明をやり、計算…