■

授業第三回目の今回は自然演繹の⇒の導入規則・除去規則、また「きれいな証明」（正規な証明）について紹介します。
「きれいな証明」は、本授業のテーマである「論理の条件」と密接な関係がある、重要な概念です。

1. 前回の復習
2. 自然演繹：⇒の導入・除去規則
3. きれいな証明
4. ⇒の証明例
5. 除去→導入の例外
6. 今後の予定