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