■

授業第四回目は、⇒の導入規則／除去規則に関する問題演習です。前回出題の宿題の回答も説明します。また「きれいな証明」や「部分論理式原理」という概念を紹介します。「きれいな証明」は、名前こそショボいですが、後期で「正規な証明」として再登場する、実は論理学で最も重要な概念の一つなのです。。

1. 前回の復習
2. 宿題の答え合わせ
3. きれいな証明
4. ⇒の証明例
5. 今後の予定