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

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

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

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

1. 1¬r ∨ ¬q
2. 2¬r ↔ ¬q
3. 3r ↔ ¬q
4. 4r ∧ ¬q

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

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

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

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

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