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

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

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

(r ∧ (r → p)) → p は恒真式、矛盾、そのどちらでもない式のうちのどれですか？ 答えをクリックしてください。

1. 1恒真式
2. 2矛盾（恒偽式）
3. 3恒真でも矛盾でもない式

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

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

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

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