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