文档介绍：该【离散数学的谓词逻辑详解 】是由【1557281760】上传分享，文档一共【74】页，该文档可以免费在线阅读，需要了解更多关于【离散数学的谓词逻辑详解 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。离散数学的谓词逻辑详解命题逻辑的局限性苏格拉底三段论:P:所有的人都是要死的。Q:苏格拉底是人。R:所以苏格拉底要死。凭直觉知道这个结论是真的,推理是有效的。但是,借助命题演算的推理理论,却不能推导出这个结论(无法证明它的正确性)。Why2024/3/282此三段论的论断显然正确。但是,在命题逻辑中无法得到正确性的反应:P∧Q?R不是重言式!命题逻辑不能正确反映此三段论的推理过程。这是命题逻辑的局限性!2024/3/283原因在命题逻辑中无法将简单命题之间的内在联系反映出来。命题逻辑中描述的上述三段论,即P∧Q→R,使R与命题P、Q无关的独立命题。但是,实际上R与命题P、Q是有关系的,只是这种关系在命题逻辑中得不到反映。要反映这种内在联系,需对简单命题作进一步分解,分解出其中的成份,包括:个体词,谓词,量词,函词等,研究它们的形式结构及逻辑关系,总结出正确的推理形式和规则,。谓词逻辑是一种表达能力更强的逻辑。2024/3/284谓词逻辑我们将介绍谓词逻辑的基本概念和符号。关于命题、命题的真值、命题词、命题常量和命题变元以及逻辑五个联结词其含意和在命题逻辑中的基本相同,本章中只介绍谓词逻辑中新出现的基本概念和符号,其中主要的是个体词,谓词,量词以及函词。2024/3/。谓词,通常是用来描述个体的性质或特征,或者个体之间的关系。谓词逻辑,是命题逻辑的扩充与发展。例1::张华b:李明H:是学生,则H(x):x是学生1,2可分别表示成H(a),H(b).这样表示就揭示了两命题间有相同的谓语这一特征。2024/3/286例2:张华比李明高令a:张华b:李明L(x,y):x高于y该命题可表示为:L(a,b) 例1和例2中的H、L称为谓词,其中H是一元谓词,表示个体的性质(是什么),L是二元谓词,表示个体之间的关系。注:(1)常用大写拉丁字母表示谓词.(2)谓词是用来刻划个体的性质或者个体之间的关系的。2024/3/287命题函数与命题例:令P(x)表示x为质数,则P(x)为一元谓词。令H(x,y)表示“x高于y”,则H(x,y)为二元谓词。则:H(张三,李四)表示“张三高于李四”,是命题。注意:P(),H(x,y)(2)与H(张三,李四)才是命题。,它可以是一个具体的事物---个体常元,常用小写拉丁字母a,b,c等表示。 也可以是一个抽象的概念(即没指定哪一个个体)----个体变元,常用小写拉丁字母:x,y,:张华的哥哥比李明高 a:张华b:李明L(x,y):x高于yf(x):x的哥哥 则上述符号化为:L(f(a),b)f称为函词定义: