[目次]

命題と論理（続き）

小テスト：¬(P⇒Q)≡P∧(¬Q)　を証明せよ。

すでに習った公式を使って式変形で証明する方法と、真理値表による方法の２つを説明しました。

今回は限定命題とその否定の作り方について学びました。

演習

プリント＃２の[1](1)を解説した後、 (2)〜(7)を考えてもらいました。

小テスト：プリント＃２の[1](2)〜(7)に関して、その構造を大きくとらえたとき
　　　∀x（　　　　　）
　　　∃x（　　　　　）
のどちらのパターンであるか答えよ。