命题逻辑与证明练习卷（附答案）

真值表中恰有一行使 (¬q ∨ ¬p) → ¬p 为假。点选这一行。

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

真值表中恰有一行使 (q ∨ p) ↔ p 为假。点选这一行。

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

你想用逆否证明来证明 (q ∨ p) → r。你要改为证明哪个蕴涵？点选它。

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

哪个公式与 (q ∧ r) → p 在逻辑上等价？点选它。

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

把否定完全移到内部之后，哪个命题与 ¬∀x ∃y R(x, y) 等价？点选它。

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

前提为 b → c; a → c、结论为 b → a 的论证是无效的。点选真值表中作为反例的那一行。

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0