第7章谓词逻辑初步.docVIP

第七章 谓词逻辑初步 一、1．非对称非传递2．﹁aRc)）。 3．真包含真包含4．真包含于真包含于5．aRc真）。 二、1．B 2．A3．B4．C5．C．C ．A＞＜＞＞＞．C三、1．BE ） A．有效的反对称性关系推理 B．有效的对称性关系推理 C．无效的反对称关系推理 D．无效的对称性关系推理 E．有效的纯关系推理 2．CE ） A．有效的传统关系推理 B．有效的反传统关系推理 C．误把非传统关系当作传递关系 D．无效的反传统关系推理 E．无效的纯关系推理 3．CD ） A．援助 B．矛盾 C．在……左边 D．真包含于 E．交叉 4．CE ） A．关系命题 B．直言命题 C．复合命题 D．全称命题 E．联言命题 注意，直言命题通常被分析到词项，因此直言命题通常是指简单命题。 5．CD ） A．同一关系 B．真包含关系 C．交叉关系 D．全异关系 E．真包含于关系 四、（一）1．2．3．4．5．．．．$x(Fx∧Gx) 2．所有的学生都没有缺席。（F：是学生；G：缺席） 解：x(Fx→﹁$x(Fx∧﹁∧﹁x(Fx→﹁$x(Fx∧y((Gy∧Hy)→R(x, y)) 6．并非所有的儿童都喜欢喝某种饮料。（F：是儿童；G：是饮料；R(x, y)：x喜欢y） 解：﹁→$y(Gy∧R(x, y))) 7．凡是小陈喜欢的书我都喜欢。（a：小陈；b：我；F：是书；R(x, y)：x喜欢y） 解：x((Fx∧R(a, x))→R(b, x)) （三）指出下列公式中哪些是约束变项，哪些是自由变项，并指出量词的辖域。 1．x(Px∧Qx)→xPx∧Qx 解：第一个x是约束变项，辖域为(Px∧Qx)。第二个x也是约束变项，辖域为Px。第三个x是自由变项。 2．x(Px∧$xQx)∨$x(Rx→Qx) 解：第一个x是约束变项，辖域为(Px∧$xQx)。第二个x也是约束变项，辖域为Qx。第三个x也是约束的，辖域为(Rx→Qx)。 3．x(Px?Qx∧$xRx)∧$xRx∧Sx 解：第一个x是约束变项，辖域为(Px?Qx∧$xRx)。第二个x是约束变项，辖域为Rx。第三个x为自由变项。 4．x(Px→$yR(x, y)) 解：x为约束变项，辖域为(Px→$yR(x, y))。y为约束变项，辖域为R(x, y)。 5．x$y(R(x, y)→﹁zR(x, z) 解：x为约束变项，辖域为(R(x, y)→﹁→﹁xy(P(x, y)∧Q(y, z))∧$xP(x, y) 解：第一个x为约束变项，辖域为P(x, y)∧Q(y, z)。第一个y约束变项，辖域为P(x, y)∧Q(y, z)。第二个x为约束变项，辖域为P(x, y)。第二个y为自由变项。 （四）把下列推理形式表达为谓词逻辑的蕴涵式 1．有的S是P，所以有的P不是S。 解：$x(Sx∧Px)→$x(Px∧﹁x(Mx→﹁∧x(Sx→Mx))→$x(Sx∧﹁x(Px→﹁∧x(Sx→Mx))→x(Sx→﹁x(Mx→Px)∧x(Mx→Sx)→$x(Sx∧Px) （五）直言命题关系命题（六）1．有效2．无效它的直言命题不是肯定命题3．无效违反媒介向必须至少周延一次4．无效前提中不周延的项在结论中也不得周延x(Mx→H(a, x)) 2．有些甲班同学的外语成绩比所有乙班同学的外语成绩差。 解：令J表示甲班同学，Y表示乙班同学，L(x, y)表示x的外语成绩比y的差，则 $x(Jx∧y(Yy→L(x, y)) 第八章 模态逻辑及其推理 一、1．与这次试验必然不能成功为矛盾关系的命题是（ C ） A ） A．“必然p”与“可能p” B．“必然非p”与“可能p” C．“可能p”与“可能非p” D．“可能非p”与“必然p” 3．?□p与?◇?p之间为（ A ） A．矛盾关系 B．反对关系 C．差等关系 D．下反对关系 4．以?□SEP为前提进行对当关系模态推理，其结论是（ C ） A．□SAP B．□SEP C．◇SIP D．□?SIP 解析：这里需要经过两步推理，即?□SEP├ ◇?SEP├ ◇SIP。这两步推理分别用到如图两种不同类型的对当方阵。 5．以“有些昆虫可能是害虫”为前提进行对当关系推理，其结论用符号表示只能是（ A ） A．?□SEP B．□SAP C．◇SOP D．?◇SIP 解析：这里需要经过两步推理，即◇SIP├ ◇?SEP├ ?□SEP。这两步推理分别用到如图两种不同类型的对当方阵。 6．前提含有模态词“可能”的模态三段论，无论另一前提是哪种模态词，其结论的模态词应是（ C ） A．必然