2016-05-24 ■ 今後の授業日程 先週授業でお知らせしたように、来週５／３１は、都合により休講とさせて頂きます。よろしくお願いいたします。 授業内容 授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則について紹介します。また、論理結合子⇒,∧と∨の導入規則と除去規則を持つ記号体系として、最小命題論理を定義します。 前回の復習 宿題の答え合わせ 自然演繹：∧ の規則 自然演繹：∨ の規則 例題 最小命題論理 本日の授業資料 授業スライド こちらから 授業要旨・宿題 こちらから
