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

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

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

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

¬p → r を対偶によって証明しようとしています。代わりに証明する含意はどれですか？ クリックしてください。

1. 1¬r → ¬¬p
2. 2¬¬p → ¬r
3. 3r → ¬p
4. 4¬p ∧ ¬r

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

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

真理値表の 16 行のうち、((¬b ∨ d) ∧ ¬b) ∨ ((¬d → c) ∧ (a ∧ c)) が真になるのは何行ですか？ この数を N とします。