首页
›
答案
›
题库
›
知到智慧树
›
未分类
设
设
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） ）
正确答案："；x（M（x） → F（x） ）
标签：
命题
符号
逻辑
上一条：
下列PT；Q的等价说法中，正确的有（）
下一条：
在一栋房子里发生了一件神秘的谋杀案，现在可以肯定以下几点事实：（1）在这栋房子里仅住有A，B，C三人；（2）是住在这栋房子里的人杀了A；（3）谋杀者非常恨受害者；（4）A所恨的人，C一定不恨；（5）除了B以外，A恨所有的人；（6）B恨所有不比A富有的人；（7）A所恨的人，B也恨；（8）没有一个人恨所有的人；（9）杀人嫌疑犯一定不会比受害者富有。为了推理需要，增加如下常识：（10）A不等于B。问：谋杀者是谁（）