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

授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前回の復習 宿題の答え合わせ 演習 自然演繹：⇒, ∧, ∨ の関係 宿題

6月18日は大学の創立記念日のためお休みです！ 特に補講日の指定もないようです。

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

授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則について紹介します。また、論理結合子⇒,∧と∨の導入規則と除去規則を持つ記号体系として、最小命題論理を定義します。 前回の復習 宿題の…

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

授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則・「きれいな証明」（正規な証明）に関する補足です。 前回終わらなかった後半部分と、否定に関する問題演習を行います。 前回の復習 ⇒の証明例 除去→導入の例外