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

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

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

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

名前: ____________________   日付: ____________

1.やさしい

(¬c ∧ ¬(b → a)) ↔ (b ∧ ¬(¬a ∨ c)) の完全な真理値表は何行Nありますか？

(¬c ∧ ¬(b → a)) ↔ (b ∧ ¬(¬a ∨ c))
N =
2.やさしい
ab¬a ↔ (b ∨ a)11?10?01?00?

真理値表を完成させてください（1 = 真、0 = 偽）。¬a ↔ (b ∨ a) が真になる行は何行Nありますか？

¬a ↔ (b ∨ a)
N =
3.ふつう
(c ∧ b) ∨ (c ∧ a)(c ∨ b) ∧ ac ∧ (b ∨ a)(c ∨ b) ∧ (c ∨ a)

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

c ∨ (b ∧ a)
  1. 1(c ∧ b) ∨ (c ∧ a)
  2. 2(c ∨ b) ∧ a
  3. 3c ∧ (b ∨ a)
  4. 4(c ∨ b) ∧ (c ∨ a)
4.ふつう
(r ∧ q) ∨ (r ∧ p)r ∨ (q ∧ p)(r ∧ q) ∨ p(r ∨ q) ∧ (r ∨ p)

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

r ∧ (q ∨ p)
  1. 1(r ∧ q) ∨ (r ∧ p)
  2. 2r ∨ (q ∧ p)
  3. 3(r ∧ q) ∨ p
  4. 4(r ∨ q) ∧ (r ∨ p)
5.むずかしい
qrq → r¬q¬r11100100

前提 q → r; ¬q、結論 ¬r の論証は妥当ではありません。反例となる真理値表の行をクリックしてください。

q → r¬q∴ ¬r
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0
6.むずかしい
q → pp → qq ∧ p¬q → ¬p

前提 q → r; r → p が与えられています。そこから導かれる結論はどれですか？ クリックしてください。

q → rr → p
  1. 1q → p
  2. 2p → q
  3. 3q ∧ p
  4. 4¬q → ¬p

解答

  1. 1. N = 8
  2. 2. N = 1
  3. 3. (c ∨ b) ∧ (c ∨ a)
  4. 4. (r ∧ q) ∨ (r ∧ p)
  5. 5. q = 0, r = 1
  6. 6. q → p

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