一谓词逻辑.pptVIP

谓词逻辑 在命题逻辑中, 主要研究命题及命题演算, 其基本组成单位是原子命题, 并把它看做不可再分解的. 但是原子命题实际上还是可以做进一步分析的, 特别两个原子命题间, 常常有一些共同特征, 为了刻画命题内部的逻辑结构就需要研究谓词逻辑. 11.1 谓词与个体 谓词逻辑对源自命题进行进一步的分解, 并在此基础上建立起了一个完整体系称谓词逻辑, 也称谓词演算. 谓词逻辑中, 将原子命题分解为谓词与个体两部分. 个体: 可以独立存在的物体, 可以是抽象的, 也可以是具体的. 谓词: 用于刻画个体的性质或关系的. 11.1 谓词与个体 个体的一定变化范围叫个体域. 所有的个体聚集在一起所构成的个体域叫全总个体域. 某个个体域为变域的变元叫个体变元, 可以用小写字母x,y,z等表示. 由n元谓词及n个个体变元所组成的命题变元可以表示成: F(x1,x2,…,xn), 它可叫谓词命名式. 一个谓词命名式, 确定了此谓词的元数以及个体变元间的次序, 是一个以个体域为定义域, 以真假为值域的函数. 11.1 谓词与个体 一般来讲, 专用名词(如王强, 法国等)为个体 通用名词(如楼房, 人等)一般可为谓词 人称代词(如你,我,他), 指示代词(如这个,那个)为个体 不定代词(如任何, 每个, 有些, 一些)是量词 形容词, 动词: 一般是谓词 数词: 一般讲是量词 副词: 与所修饰的动词合并为一谓词 前置词: 与别的有关字合并为一, 本身不独立表示 连接词: 一般讲是命题联结词 11.1 谓词与个体 例: 1) 小张不是工人 P(x): x是工人 a: 小张 此式可写成 ?P(a) 2) 他是田径或球类运动员 P(x): x是田径运动员 Q(x): x是球类运动员 a: 他 此式可写成 P(a)∨Q(a) 11.2 量词 全称量词“?x”表示“对所有x” 对个体域中的所有个体x其谓词F(x)均为真时可表示为: ?x(F(x)), 后跟的括号内的式子叫全称量词的辖域. 如果谓词F(x)中变元x的个体域是有限集{a1, a2, …, an}, 则有 ?x(F(x)) ? F(a1)∧F(a2)∧…∧F(an) 11.2 量词 存在量词“?x”表示“存在某些x” 对个体域中的个体x, 存在某些个体其谓词F(x)均为真时可表示为: ?x(F(x)), 后跟的括号内的式子叫存在量词的辖域. 如果谓词F(x)中变元x的个体域是有限集{a1, a2, …, an}, 则有 ?x(F(x)) ? F(a1)∨F(a2)∨…∨F(an) 11.6 谓词逻辑的永真公式 例: 设P(x): x吃草, Q(x): x是无性繁殖的. 个体域D1: 全体动物; 个体域D2: 兔子. 1) 求?xP(x)在x个体域分别是D1和D2时的真值 2) 求?xP(x)在x个体域分别是D1和D2时的真值 解: 1) 不是所有动物都吃草，所有的兔子都吃草 所以个体域是D1时的真值是F, 个体域是D2时的真值是T. 2) 存在无性繁殖的动物，但所有的兔子都是有性繁殖的. 所以个体域是D1时的真值是T, 个体域是D2时的真值是F. 11.6 谓词逻辑的永真公式 例: 将以下语句翻译成谓词公式: 1) 所有人都是要死的 2) 有些人不怕死 解： 设H(x): x是人, D(x): x是要死的, F(x): x不怕死 1) 若x的个体域是“全人类”, 则翻译为?xD(x) 若x的个体域是“全体动物”, 则翻译为?x(H(x)→D(x)) 2)若x的个体域是“全人类”, 则翻译为?xF(x) 若x的个体域是“全体动物”, 则翻译为?x(H(x)∧F(x)) 11.2 量词 谓词逻辑中, 每个个体变元的个体域必须是确定的. 为方便起见, 一律用全总个体域, 对每个个体变元的变化范围用一定的特性谓词刻画之. 对全称量词, 此特性谓词可作为蕴含的前件而加入 对存在量词, 此特性谓词可作为合取式的合取项而加入 如: ?x( I(x)→(x+1)2=x2+2x+1 ) ?x( I(x)∧(x+6=5)) 11.2 量词 例： 没有不犯错误的人 F(x): x犯错误 M(x): x为人 此句可以表示为 ?(?x(M(x)∧F(x))) 凡是实数不是大于零就是等于或小于零 R(x): x为实数 (x,0): x大于零 =(x,0): x等于零 (x,0): x小于零 此句可以表示为 ?x(R(x)→(x,0)∨=(x,0)∨(x,0) 11.2 量词 对于所有的自然数x,y, 均有x+y≥x. F(x,y): x+y≥x N(x): x是自然数 可表示为 ?x?y(N(x)∧N(y)→F(x,y))