离散数学一阶谓词逻辑汇编.ppt

《离散数学》 课程学时:48 讲授:杨绍禹 ysyncwu. edu.cn  「-阶逻辑 问题的提出:(为什么要对原子命题进一步细分?) 例:苏格拉底论断 不是命题演算 口前提 的有效推理 “所有的人都是要死的 “苏格拉底是人” 结论 PQR P∧Q→R “所以苏格拉底是要死的” ■命题逻辑限定原子命题是不能细分的整体 口命题逻辑的局限性  原子命题不能细分吗?(能否对原子命题进一步细分?) 例 刻划个体的性质 口P1:小张是大学生 尸2:小李是大学生 刻划两个个体的关系 口Q1:2大于3 口Q2:6大于4 不同原子命题之问是有内在联系的,但命题逻 辑无法研究这种内在联系 解决问题的方法 口分析原了命题,分离其主语和谓语 口考虑一般和个别,全称和存在  谓词和量词 4.1谓词 以命题逻独为袖件 口谓词的概念和表示(如对原子命题进一步细分? 在原子命题中,用来 成分称为谓词 个个体的性质或几个个体之间关系的 刻划一个个体性质的词称为一元谓词;刻划n个个体之间关系的 词称为n元谓词。谓词常用大写英文字母表示。 谓词与个体词一起才能表示命题。用A(a)表示“a具有性质A"(或 “a属于A类”),用Ba,a2…an)表示a1,a2…an关系满足B"。 个体 谓词命名式 能够独立存在的事物,思维的对象 。通常用小写英文字母a、b、c、表示个体常量(谓词填式) 用小写英文字母x、y、x..表示任何个体,则称这些字母为个体 变  例 (a)5是质数 P(5) (b)张明生于北京G(a,b) 思考:X>y>z该 (c)7=3×2 怎么表示? H(7,3,2) P(x):x是质数 G(x,y):x生于y,a:张明,b:北京 H(,y,z):x=y×x N元谓词填式中变 谓词个体词谓词命名式(元的次序很重要 谓词填式)