L4谓词逻辑1 离散数学.pptVIP

最新. * 约束变元和自由变元(续) 在公式中x可能出现屡次,可能既有约束出现又有自由出现. 例如: (?x)P(x)?Q(x)中,变元x的前两个出现是约束出现,第三个出现是自由出现. 约束变元的名字不重要(后文有约束变元更名规那么).因此上面的公式与(?y)P(y)?Q(x)等值. 包含自由变元的公式一般不能计算出真值,必须对自由变元作出解释(赋值)后才可.而约束变元那么无需解释. 精选文档 自然语句表示为谓词公式 使用FOL表示自然语句,首先分解出谓词, 进而使用量词、函数、联结词来构成合式公式. 最新. * 精选文档 例:自然语句形式表示 (1)所有有理数都是实数. (?x)(Rational(x)?Real(x)) (2)有些实数是有理数. (?x)(Real(x) ? Rational(x)) (3)没有无理数是有理数./无理数都不是有理数. ?(?x)(Irrational(x) ? Rational(x)) (?x)(Irrational(x)??Rational(x)) 注:公式的真假依赖于论域. 最新. * 精选文档 例:自然语句形式表示(续) (4)设论域是自然数集:令Eq(x,y)表示=,s(x)表示x的后继x+1,p(x)表示x的前驱x-1. i.对每个数,有且仅有一个后继 (?x)(?y)(Eq(y,s(x)) ? (?z)(Eq(z,s(x)) ? Eq(y,z))) ii.没有这样的数,0是其后继 ?(?x)(Eq(0,s(x))) iii.除0之外的数,有且仅有一个前驱 (?x)(?Eq(x,0) ? (?y)(Eq(y,p(x)) ? (?z)(Eq(z,p(x)) ? Eq(y,z)))) 最新. * 精选文档 例:自然语句形式表示(续) (5)积木世界的形式描述 桌上有三块积木A,B,C.其相对位置可描述为: On(C,A) OnTable(A) OnTable(B) Clear(C) Clear(B) 那么“假设x上方空,那么不存在y在x上〞可表示为 (?x)(Clear(x) ? ?(?y)On(y,x)) 最新. * 精选文档 例:自然语句形式表示(续) (6) “函数f (x)在[a,b]上的点x0处连续〞的?-?定义. (??)(? 0 ? (?? )(? 0 ? (?x)( |x - x0 | ? ? |f (x) – f (x0)| ? ))) 最新. * 精选文档 例:自然语句形式表示(续) (7)屡次量化:如对P(x,y) 有四种屡次量化情形: (?x)((?y)P(x,y)) = (?x)(?y)P(x,y) = (?y)(?x)P(x,y) 人人爱人人= 人人被人人爱 (?x)((?y)P(x,y)) = (?x)(?y)P(x,y) ≠ (?y)(?x)P(x,y) 人人都有所爱之人 ≠ 有人被人人爱 (?x)((?y)P(x,y)) = (?x)(?y)P(x,y) ≠ (?y)(?x)P(x,y) 某人爱人人 ≠ 人人都有人爱 (?x)((?y)P(x,y)) = (?x)(?y)P(x,y) = (?y)(?x)P(x,y) 某人爱某人 = 某人被某人爱 最新. * 精选文档 谓词公式的解释 谓词公式的真假与论域、自由个体变元、命题变元、谓词和函数有关. 对谓词公式的解释I包括五个局部: 非空论域D 对命题变元指派为{0,1} 对个体常元和(自由)个体变元指派为D中元素 对谓词指派为D上的谓词(关系) 对函数指派为D上的函数 公式A在解释I下是一个命题AI,即有确定的真值.称AI的真值为A在解释I下的真值. 最新. * 精选文档 例:谓词公式的解释 考虑对(?x) (P(x) ? Q(f (x),a))的解释I: 论域D指派为{1,2}; 个体常元a指派为1; f 指派为D上函数f I: f I(1)=2, f I(2)=1. P指派为D上一元关系PI ={2} Q指派为D上二元关系QI ={1,1,1,2,2,2} 此外,假设x指派为1: PI(1) ? QI(f I(1),1) = T 假设x指派为2: PI(2) ? QI(f I(2),1) = T 所以(?x) (P(x) ? Q(f (x),a))在I下为真. 最新. * 精选文档 谓词公式的分类 谓词逻辑的公式按真假性分为三类 永真式(重言式,普遍有效式) 永假式(矛盾式,不可满足式) 可满足式 最新. * 精选文档 普遍有效式 如果一个公式在任一解释下都为真,那么称为普遍有效的(universally valid). 普遍有效公式反映了一般逻辑规律. 例如: (?x)(P