1、设D：全总个体域，M(x)：x是人，F(x)：x犯错误。则命题“没有不犯错误的人”的逻辑符号化为（ ）
A、“x( M(x)∧F(x) )
B、“x( M(x) → F(x) )
C、$x( M(x) → P(x) )
D、$x( M(x)∧P(x) )
2、在下列表达式中不成立的是（ ）？
A、
B、
C、
D、
3、设D：全总个体域，F(x)：x是病人，G(x)：x是医生，H(x, y)：x相信y。则命题“有的病人相信所有的医生”的逻辑符号化为（ ）
A、
B、
C、
D、
4、在一栋房子里发生了一件神秘的谋杀案，现在可以肯定以下几点事实：（1）在这栋房子里仅住有A，B，C三人；（2）是住在这栋房子里的人杀了A；（3）谋杀者非常恨受害者；（4）A所恨的人，C一定不恨；（5）除了B以外，A恨所有的人；（6）B恨所有不比A富有的人；（7）A所恨的人，B也恨；（8）没有一个人恨所有的人；（9）杀人嫌疑犯一定不会比受害者富有。为了推理需要，增加如下常识：（10）A不等于B。问：谋杀者是谁（ ）
A、是
B、C
B、是B
C、是A（自杀）
D、是C
5、设D：全总个体域，F(x, y)：x=y，G(x, y)：x与y是对顶角。则命题“相等的两个角未必都是对顶角”的逻辑符号化为（）
A、
B、
C、
D、
6、以下公式对哪些是可合一的（）
A、
B、
C、
D、
7、
A、
B、
C、
D、
8、某人被盗，公安局派出所派出5个侦察员去调查。研究案情时，侦察员A说：“赵与钱中至少有一人作案”；侦察员B说：“钱与孙中至少有一人作案”；侦察员C说：“孙与李中至少有一人作案”；侦察员D说：“赵与孙中至少有一人与此案无关”；侦察员E说“钱与李中至少有一人与此案无关”。如果这5个侦察员的话都是可信的，试问谁是盗窃犯（ ）
A、李
B、赵
C、钱
D、孙
9、
A、对
B、错
10、
A、对
B、错
