题目1 题干
命题公式的主合取范式是( A )．
A.
B.
C.
D.
题目2 题干
谓词公式( x)(A(x)→B(x)∨C(x，y))中的约束变元为（B）。

A. x，y 都是约束变元
B. x 是约束变元，y 都是自由变元
C. x，y 都是自由变元
题目3 题干
前提条件的有效结论是( A )．
A. ┐Q
B. P
C. ┐P
D. Q
题目4 题干
表达式中的辖域是( D )．
A.
B.
C.
题目5 题干
设命题公式G：，则使公式G 取真值为1 的P，Q，R 赋值分别是( A )．
A. 1, 0, 0
B. 0, 0, 0
C. 0, 1, 0
D. 0, 0, 1
题目6 题干
设个体域为整数集，则公式的解释可为( D )．
A. 存在一整数x 对任意整数y 满足x+y=0
B. 任一整数x 对任意整数y 满足x+y=0
C. 存在一整数x 有整数y 满足x+y=0
题目7 题干
设A（x）：x 是书，B（x）：x 是数学书，则命题“不是所有书都是数学书”可符号化为（D ）．
A.
B.
C.
D.
题目8 题干
设个体域D 是整数集合，则命题的真值是（D ）．
A. 不确定
B. 以上说法都不是
C. F。