■

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

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