第二章谓词逻辑.pptVIP

chapter2chapter2PredicateLogic谓词逻辑chapter2第二章谓词逻辑第1页，共37页，星期日，2025年，2月5日命题逻辑的局限在命题演算中,原子命题是演算的基本单位,不再对原子命题进行分解。故无法研究命题内部的成分,结构及其逻辑特征。1、对于某些问题，命题反映不出它们之间的关系。如：P：小王是大学生。Q：小李是大学生。××是大学生。第2页，共37页，星期日，2025年，2月5日命题逻辑的局限2、对于一些简单的推理，不能用命题逻辑的方法实现。如：P：凡是人都是要死的。R：苏格拉底是人。Q：所以苏格拉底是要死的。凭直觉这个论证是正确的,但无法用命题演算表达出来。∵P∧R?Q不成立，P∧R→Q不是永真式。第3页，共37页，星期日，2025年，2月5日2.1谓词及相关的概念1、谓词谓词——带有客体变元的断语。（指明个体的性质或个体之间的关系。）例如：小王是大学生。“小王”就是一个具体的客体；“是大学生”就是谓词。符号化为，P(x)：x是大学生。a：小王b：小李则P(a)：小王是大学生P(b)：小李是大学生第4页，共37页，星期日，2025年，2月5日一个客体变元的谓词叫一元谓词,两个客体变元的谓词叫二元谓词,一般地,n个个体变元的谓词叫n元谓词,记为P(x1,x2,…,xn)。例如：P(x，y)：x围绕y转。a：地球b：太阳c：月亮P(a，b)：地球围绕太阳转。P(b，c)：太阳围绕月亮转。2.1谓词及相关的概念第5页，共37页，星期日，2025年，2月5日2、命题函数简单命题函数——由一个谓词，一些客体变元组成的表达式称为简单命题函数。如：A(x),B(x,y),R(a,b,c)等复合命题函数——由一个或N个简单命题函数以及逻辑联结词组合而成的表达式。如:A(x)?B(x)注意：命题函数不是一个命题，只有客体变元取特定名称时，才能成为一个命题。2.1谓词及相关的概念第6页，共37页，星期日，2025年，2月5日3、论域——客体变元的取值范围，记为u。例如：u={人类}P(x)：x是大学生。全总个体域——宇宙间万物的集合。(各种个体域的综合)4、量词——表示数量的词。全称量词?x指对论域中所有元素。读做“对一切x”，“对任一x”或“对每一x”，这里?是全称量词，x标记?所作用的客体变元。?xP(x)表示“对一切x，P(x)是真。”存在量词?x指对论域中某些元素。读做“存在一x”，“对某些x”或“至少有一x”。这里?是存在量词，x标记?所作用的客体变元。?xP(x)表示“存在x，P(x)是真。”2.1谓词及相关的概念第7页，共37页，星期日，2025年，2月5日例如：u={人类}P(x)：x是大学生。?xP(x)：所有人都是大学生。?xP(x)：有些人是大学生。5、量词命题式(谓词公式)——由论域、谓词和量词组成的整体。6、量词和命题的关系设u={a1,a2,…,an}?xP(x)?P(a1)∧P(a2)∧…∧P(an)?xP(x)?P(a1)∨P(a2)∨…∨P(an)2.1谓词及相关的概念第8页，共37页，星期日，2025年，2月5日7、多重量词对于多元谓词，需用多个量词对其中不同的变元加以约束。如：u={a1,a2,…,an}?x?yP(x,y)??x(?yP(x,y))??x(P(x,a1)∨P(x,a2)∨…∨P(x,an))?(P(a1,a1)∨P(a1,a2)∨…∨P(a1,an))∧(P(a2,a1)∨P(a2,a2)∨…∨P(a2,an))∧…………(P(an,a1)∨P(an,a2)∨…∨P(an,an))2.1谓词及相关的概念第9页，共37页，星期日，2025年，2月5日8、特性谓词在使用全总个体域的条件下，对每一个客体变元的范围用一个谓词加以限制，这个谓词称为特性谓词。(1)对全称量词,特性谓词作为条件之前件。(2)对存在量词,特性谓词作为合取项。例如：符号化“每个人都有一些缺点”。解：设论域为全总个体域。M(x):x是人，G(y):y是缺点，F(x,y):x有y。可符号化为