■

授業第三回目は論理結合子⇒の自然演繹における導入規則・除去規則です。導入規則と除去規則は、論理結合子⇒の定義を与えるものであるため、合わせて論理的語彙の「定義」とはどういうものであるべきかの検討も行います。
また、前回出題の宿題の回答も説明します。

1. 前回の復習
2. よい「定義」の条件
3. 自然演繹：⇒の導入・除去規則
4. 今後の予定