解答つき命題論理と証明ワークシート

無料で印刷できる命題論理と証明のワークシート：やさしい問題から試験レベルまで 6 問、解答つき。印刷するか PDF で保存できます。

新しいワークシートヒントつきでオンライン練習

先生方へ： 授業で自由に印刷・コピーしてお使いいただけます。新しいワークシートごとに数値が変わり、専用の解答が付きます。授業ページに ExamProblems へのリンクを載せていただけると嬉しいです。

名前: ____________________   日付: ____________

1.やさしい
pq(¬q ∧ ¬p) ∨ q11100100

真理値表のちょうど 1 行が (¬q ∧ ¬p) ∨ q を偽にします。その行をクリックしてください。

(¬q ∧ ¬p) ∨ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.やさしい
abb → a11100100

真理値表のちょうど 1 行が b → a を偽にします。その行をクリックしてください。

b → a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.ふつう
¬a → ¬c¬c → ¬aa → c¬a ∧ ¬c

c → a と論理的に同値な論理式はどれですか？ クリックしてください。

c → a
  1. 1¬a → ¬c
  2. 2¬c → ¬a
  3. 3a → c
  4. 4¬a ∧ ¬c
4.ふつう
¬r → ¬pp → r¬p → ¬r¬p ∧ ¬r

r → p と論理的に同値な論理式はどれですか？ クリックしてください。

r → p
  1. 1¬r → ¬p
  2. 2p → r
  3. 3¬p → ¬r
  4. 4¬p ∧ ¬r
5.むずかしい

真理値表の 16 行のうち、(¬q ∧ r) ∨ ¬((p ∧ s) ↔ (q ↔ p)) が真になるのは何行ですか？ この数を N とします。

(¬q ∧ r) ∨ ¬((p ∧ s) ↔ (q ↔ p))
N =
6.むずかしい
∀x ∃y ¬R(x, y)∃x ∀y ¬R(x, y)∃y ∀x ¬R(x, y)∀x ∀y ¬R(x, y)

否定を最も内側まで移したとき、¬∀x ∃y R(x, y) と同値な主張はどれですか？ クリックしてください。

¬∀x ∃y R(x, y)
  1. 1∀x ∃y ¬R(x, y)
  2. 2∃x ∀y ¬R(x, y)
  3. 3∃y ∀x ¬R(x, y)
  4. 4∀x ∀y ¬R(x, y)

解答

  1. 1. p = 1, q = 0
  2. 2. a = 0, b = 1
  3. 3. ¬a → ¬c
  4. 4. ¬p → ¬r
  5. 5. N = 9
  6. 6. ∃x ∀y ¬R(x, y)

ステップごとの詳しい解答：このトピックは examproblems.com で練習できます。