[目次]

命題と論理


チェックポイント
  1. 命題 P, Q, …… から新しい命題を作る基本演算にはどんなものがあるか。
  2. 「⇒」という演算は基本演算をどのように組み合わせて作られるか。
  3. 命題 P, Q, …… から作られる複雑な命題の真理表を作れるか。
小テスト:¬( P ∨ Q )の真理値表(真理表)を作りなさい。


演習