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

(q → ¬(p ↔ r)) ∨ (r → p) の真理値表がすべて書き出されています。p = 1 かつ q = 0 となる行は何行Nありますか？

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

この論理式 (q → (q ∧ r)) ↔ (¬r → p) は、真理値表の 8 行のうち何行で真になりますか？ この数を N とします。

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

1. 1(q → p) ∨ (r → p)
2. 2(q ∧ r) → p
3. 3q ∨ (r → p)
4. 4(q → p) ∧ (r → p)

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

1. 1∀x (P(x) → ¬Q(x))
2. 2∀x (¬P(x) → ¬Q(x))
3. 3∀x (P(x) ∧ ¬Q(x))
4. 4∃x (P(x) ∧ ¬Q(x))

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