一、单项选择题（共 10 道试题，共 100 分。）
1. 设A（x）：x是人，B（x）：x是学生，则命题"不是所有人都是学生"可符号化为（ C）．
A. (x)(A(x)uB(x))
B. ?(x)(A(x)uB(x))
C. ?("x)(A(x)?B(x))
D. ?(x)(A(x)u?B(x))
2. 谓词公式是（A ）．
A. 不可满足的
B. 可满足的
C. 有效的
D. 蕴含式
3. 命题公式的析取范式是( A )．
A.
B.
C.
D.
4. 下列等价公式成立的为( A )．
A. ?PuP ??QuQ
B. ?Q?P?P?Q
C. PuQ?PuQ
D. ?PuP ?Q
5. 在谓词公式("x)(A(x)→B(x)uC(x，y))中，（ C ）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
6. 命题公式(PuQ)?Q为( B )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取范式
7. 命题公式(PuQ)?R的析取范式是 ( D )
A. ?(PuQ)uR
B. (PuQ)uR
C. (PuQ)uR
D. (?Pu?Q)uR
8. 设A（x）：x是人，B（x）：x是工人，则命题"有人是工人"可符号化为（ A ）．
A. (x)(A(x)uB(x))
B. ("x)(A(x)uB(x))
C. ?("x)(A(x)?B(x))
D. ?(x)(A(x)u?B(x))
9. 下列公式中 ( B )为永真式．
A. ?Au?B ? ?Au?B
B. ?Au?B ? ?(AuB)
C. ?Au?B ? AuB
D. ?Au?B ? ?(AuB)
10. 设个体域D={a, b, c}，那么谓词公式消去量词后的等值式为 A ．
A. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
B. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
C. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
D. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
1
来源：网络整理 免责声明：本文仅限学习分享，如产生版权问题，请联系我们及时删除。
相关文章：
如图所示是某型号挖掘机，相关数据见下表．挖掘机在4s内将04-30
故天将降大任于是人也,必先苦其心志,劳其筋骨,饿其体04-30
果园里有20行桃树，每行棵树相等。如果再栽同样的6行，就04-30
159-38+41-6204-30
中考语文有什么学习技巧 如何提高语文成绩04-30
某人在铁道路基旁的便道上跑步,速度为每秒5米,一列火04-30
火车从甲地开往乙地,中间停靠5个车站(不包括A,B)铁道04-30
1：细胞在分裂过程中,一个细胞第一次分裂成2个,第二次分04-30
求助（双肢剪力墙微分方程建立过程中的一个公式推导看不04-30
上面一个丽下面一个鹿念什么04-30