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

真值表中恰有一行使 ¬p ∧ q 为真。点选这一行。

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

补全真值表（1 = 真，0 = 假）。在多少行 N 中 (r ∧ p) ∧ (¬r → q) 为真？

在其真值表的 8 行中，((c ∧ a) ∧ (c ∨ b)) ∧ (b ∨ a) 在多少行为真？把这个数记作 N。

(q → r) → (r → q) 是重言式、矛盾式还是偶然式？点选你的答案。

1. 1重言式
2. 2矛盾式
3. 3偶然式

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

1. 1∃x F(x)
2. 2∃x ¬F(x)
3. 3∀x ¬F(x)
4. 4∀x F(x)

真值表的 16 行中，有多少行使 ((¬d ∨ c) → (d ∨ b)) ∧ ((a ∧ c) ∧ b) 为真？把这个数记作 N。