[目次]

命題と論理（続き）

小テスト：次のような命題を考えます。
　　P : 36 は 2 で割り切れる。
　　Q : 36 は 3 で割り切れる。
　　R : 36 は 5 で割り切れる。
　　S : 2 は 3 で割り切れる。
このとき次の論理式のおのおのは真であるか偽であるか答えなさい。

　　P ⇒ Q, Q ⇒ P, P ⇒ S, S ⇒ P, R ⇒ S, S ⇒ R



ふたつの論理式が同値であるとはどういうことか学びました。




演習

教科書の問題1.2を解きました。

小テスト：¬(¬Ｐ)≡Ｐ　を真理値表を作って証明しなさい。