《离散数学_方世昌主编_第1章___数理逻辑-谓词逻辑》由会员分享，可在线阅读，更多相关《离散数学_方世昌主编_第1章___数理逻辑-谓词逻辑（84页珍藏版）》请在金锄头文库上搜索。
1、达MathematicsLogic1.61.8谓词逻辑PredicateLogic问题的提出:(命题逻辑的目例:苏格拉底论断口前提口“所有的人总是要死的“一局限性)“苏格拉底是人“0【口结论尼毛了所以苏桥拉底是要死的“命题逻辑中原子命题不可再分不是肌效推理hll_日例口乙i:小张是大学生DPo:小李是大学生DOL:2大于3D0,:6大于4命题逻辑无法反映不同原子和题间的内在共性解决问题的方法口分析原子命题,分离其主语和谓语口考虑一般和个别,全称和存在卜_1.6谓词和量词目1.6.1谓词D谓词的概念和表示*在原子命题中,用来刻划一个个体的性质或个体之间关系的成分称为旗灵,刻划一个个体性质的词称愕
2、一元将河刻划n个个体之闰关系的词称为n元旖历常用大写英文字母表示D个体。能够独立存物。通常用小写英文字母a、5、c、.表示个体常量“用小写英文字母r、y、z.表示任何个体,则称这些宇母为万佩怡元hi_目例1(5是质数(5)()张明生于北京G(a0)(97-=3X2H(7.3.2)FCD:x是质数G闵t于7张朋,n,2):x=yXz1一1变元的次序很重要一沥谓词个体词谓词命名式(谓词填式)卜_l_谓词常元口-个字母代表一特定谓词,例如F代表“是质数“,则称此字母为谓词常元。谓词变元D若字母代表任意谓词,则称此字母为谓词变元日论域口个体域口谓词命名式中个体变元的取值站图口空集不能作为论域命题函数谓词命名式不是命题口若谓词是常元口个体词是常元口谓词命名式才成为一个命题a谓词函数口由一个谓词和若干个个体变元组成的命题形式称为芸党疮怨砂崎|表示为Ptxizr:.,.y,由一个或若干个简单命题丽数以及巡输狱缙词组成的命题形式称为取仕传盒尿益Dnz0时*命题变元hi_里例口A(O:x身体好BGo:x学习好CCO:x工作好口如果x身体不好,则x的学习与工作都不会好复合命题函数口一AO0)一一B(x/X卜_1.6.2量词日例口“所有的正整数都是素数“(a)入P(D)口“有些正整数是素数“P(a)VP(D)目假设口只有两个正整数a和2口个体域为a,D口PCD:x是素数
