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

宿題（⇒の導入規則・除去規則） 余裕のある方は、以下の宿題を5月29日（火）の授業に持参して下さい（エクストラ加点の対象とします） こちらから

申し訳ありませんが、授業中に連絡したように、5月15日・22日は休講となります。 補講に関しては、教務と交渉します。 また5/29までの宿題については、出題する場合は今週か来週中に本BlogとKlasisメールで連絡します。 どちらもしばらくお待ち下さい。

今回の授業は、⇒の導入規則／除去規則に関する問題演習です。前回配布資料を忘れずご持参下さい。

本日は休講です。