■

5月16日（火）の授業の宿題は以下の通りです。

以下の命題が証明不可能である事を示せ

1. A⇒B（ただしA, Bは異なる任意の命題とする）
2. ¬¬A（略記しないで書くと(A⇒⊥)⇒⊥）

ただし2はエクストラ問題とする。

レポート問題として、自分の言葉で説明すること。

授業中にお伝えしたとおり、５月23日、30日は休講のため、提出は６月６日となります。