[经管营销]第五章 谓词逻辑.pptVIP

第五章 谓词逻辑 第一节 简单命题的分析 第二节 一阶语言 L 第三节 量词的推理规则 第四节 谓词逻辑的自然推理系统QNP 第五章 谓词逻辑 谓词逻辑：分析简单命题的内部结构，讨论关于量词的推理理论。 例如：有学生作对所有试题， 所以，所有试题都有学生作对。 就是一个涉及量词的推理，只有在命题逻辑的基础上发展谓词逻辑，才能解决这类推理的有效性问题。 第一节 简单命题的分析 “简单命题”包含性质命题和关系命题。 传统逻辑的所谓“直言命题”，仅仅是性质命题中非常特殊的一类命题，而不包括关系命题。 谓词逻辑研究的“简单命题”，不但包括性质命题，而且包括关系命题。 第一节 简单命题的分析 一、简单命题的成分 1．个体词和谓词 2．个体域 3．开语句和闭语句 4．量词 二、一元谓词构成的命题形式 三、更一般的量化命题的形式 第一节 简单命题的分析 一、简单命题的成分 1．个体词和谓词 A：曹雪芹是文学家。 B：李亚鹏是嫣儿的父亲。 C：廊坊在北京和天津之间。 在谓词逻辑中，我们可以把最简单的命题（原子命题）分析为个体词和谓词。 第一节 简单命题的分析 一、简单命题的成分 个体词：表示个体的语词。 个体常项：表示一定范围内确定的个体，记为：a,b,c,…。 个体变元：表示一定范围内不确定的个体，记为 x,y,z、…；x1,x2,x3，