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

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

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

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

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

1. 1(b ∧ c) → a
2. 2b ∨ (c → a)
3. 3(b → a) ∧ (c → a)
4. 4(b → a) ∨ (c → a)

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

1. 1∀x (A(x) ∧ ¬B(x))
2. 2∀x (A(x) → ¬B(x))
3. 3∃x (A(x) ∧ ¬B(x))
4. 4∀x (¬A(x) → ¬B(x))

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