本日の休講のお詫び 皆様 本日は、論理学の授業に関し、私の個人的事情のため、当日に休講通知をお送りすることになり、大変申し訳ありません。全て、私の仕事上の自己管理の失敗によるものであり、深く陳謝させていただきます。 本日の分の授業は、補講期間…

教室変更 総合研究2号館 地下第9演習室 に移動します 授業内容 授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則について紹介します。また、論理結合子⇒,∧と∨の導入規則と除去規則を持つ記…

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