1．根据量词的定义( x)P(x)
= F成立，当且仅当______。（4.2节）
（A） 对论域D中的所有x，P(x)均为假。
（B） 有一个x0∈D，使P(x0) = F。
（C） 以上均不对。
2．( x)Q(x)
= F成立，当且仅当______。（4.2节）
（A） 对论域D中的所有x，Q(x)均为假。
（B） 有一个x0∈D，使Q(x0) = F。
（C） 以上均不对。
3． 公式(x)(P(x)→Q(x,
y)∨(z)R(y,
z))→S(u)中（4.2节）
（1） 自由变元为______。
（2） 约束变元为______。
4． 公式(x)(y)(P(x,
y)∧Q(y, z))∧(x)S(x,
y)中（4.2节）
（1）(x)的辖域是______。
（2）(y)的辖域是______。
（3）(x)的辖域是______。
5． 设论域S = {a, b, c}，消去公式(x)(P(x)→Q(x))中的量词后，公式可化为______。（4.5节）
6． 设论域S = {a, b, c}，消去公式(x)P(x)∧(x)Q(x)中的量词后，公式可化为______。（4.5节）
将下列语句形式化：
7． 并非每个实数都是有理数（R(x)：x是实数，Q(x)：x是有理数）。（4.4节）
8． 没有不犯错误的人（P(x)：x是人，F(x)：x犯错误）。（4.4节）
9． 尽管有人聪明，但未必一切人都聪明。（P(x)：x是人，C(x)：x聪明）。（4.4节）
10． 所有的老人都喜欢某些孩子（A(x)：x是老人，B(x)：x是孩子，L(x, y)：x喜欢y）。（4.4节）
|