申し訳ありませんが、授業中お伝えしたように、5月23日・30日は休講となります。 補講については調整中です（またKulasisメールでご連絡します）。よろしくお願いいたします。

5月16日（火）の授業の宿題は以下の通りです。 以下の命題が証明不可能である事を示せ A⇒B（ただしA, Bは異なる任意の命題とする） ¬¬A（略記しないで書くと(A⇒⊥)⇒⊥） ただし2はエクストラ問題とする。レポート問題として、自分の言葉で説明すること。 授業…

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

授業第三回目は論理結合子⇒の自然演繹における導入規則・除去規則です。また「きれいな証明」（正規な証明）について紹介します。「きれいな証明」は、本授業のテーマである「論理の条件」と密接な関係がある、重要な概念です。 前回の復習 自然演繹：⇒の導…