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

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

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

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

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

1. 1¬r → ¬q
2. 2r ∨ ¬q
3. 3q → r
4. 4¬r ∨ q

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

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

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

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

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