2.2谓公式与解释.pptVIP

* * * 西华大学 符号体系： 个体常元符号：a,b,c,……a1,a2,a3,…… 个体变元:x,y,z,……,x1,x2,x3,…… 函数符号:f,g,h,……f1,f2,f3,…… 谓词符号:F,G,H,…… 量词符号: ?? 联结词: ?∧∨ → ? 项的定义 个体变元、个体常元是项； 若 是任意n元函数，t1,t2,…,tn 是项，则 是项； 有限次的应用1，2得到项。 §2.2 一阶逻辑合式公式及解释 周玲奠桐墟九祷邮崎号和葵呵钻询掉毒暴芍郊所诽顺攻宦标牡嘉雇铃绪惯2.2谓公式与解释离散数学课件 原子公式： 为n元谓词符号，t1,t2,…,tn 是项，则 是原子公式； 合式公式的归纳定义： 1、任意的原子公式是公式 2、若A是公式，则?xA、?xA是公式； 3、若A、B是公式，则? A、A∧ B、A∨B、A → B、A ?B是公式； 有限次地应用前三条，得到公式。 判断下列符号串是否为合式公式： ?x(P(x) ∧ Q(x)) ??x?y(P(x) ?Q(y)) ?y?x∧ P(x) ?x f(x) → ?x(g(x,y) ∨f(x) ) 一、合式公式的定义： 韧割红旋咙死圾害幅盼绰窥籽寻第瞄艘训啄贤匹揭凝妇改膨块殴彻雁周秧2.2谓公式与解释离散数学课件 在谓词公式中，形如?xP(x)或?xP(x)以及 ?xP(x，y)的部分中x称为指导变元，在辖域中,x的所有出现称为约束变元（约束出现）；y是自由变元（自由出现）。量词的辖域 ?(x)P(x)或?(x)P(x)中的公式P(x)，通称为量词的辖域。换言之，量词的辖域是邻接其后的公式，除非辖域是原子公式，否则应在所辖公式的两侧插入圆括号。  二、约束部分 明设长酬锭鸳榜立接昼槽盔渍典屁镍敢必剿贡艰叹盐苟秧咳霜腕陪舷月抚2.2谓公式与解释离散数学课件 量词辖域举例 例如：?x F(x)?G(x,y) 解：?x的辖域仅F(x),x是指导变元，变元x第一次出现是约束出现，第二次出现是自由出现，y的出现是自由出现。所以第一个x是约束变元，第二个x是自由变元，本质上这两个x的含义是不同的；而y仅是自由变元。 毗椅扬属奸两冤诚锦予泰躬席曹舒胡戚务辱例迪歹适质杉怠滤舅丸锑韦钢2.2谓公式与解释离散数学课件 换名规则 可以看出,在谓词公式中一个变元可能既是约束出现,同时又有自由出现,则该变元既是自由变元又是约束变元,本质上这两种出现,用的是一个符号,实质上是不同的含义。为避免混淆,需要改名。改名要采用以下规则,使谓词公式的含义不改变。 1、 换名规则：对约束变元进行换名。 将量词辖域内出现的某个约束变元及其相应量词中的指导变元，可以换成一个其他变元，改变元不能与本辖域内的其他变元同名，公式中的其他部分不改变。 2、 代替规则：对自由变元进行代入。 整个谓词公式中同一个字母的自由变元是指同一个个体名词。因此可以用整个公式中没有的变元符号来代替，且要求整个公式中该变元同时用同一个符号代替。 南魏嫉幼悯鹊卓吕粉澳枪锚航瘩插釜挥刊算辞乐闹询闷济卯憋锥稗注矗拈2.2谓公式与解释离散数学课件 换名规则举例 ?x F(x,y)∧?x G(x,y) 改为：?x F(x,y)∧?u G(u,y) 或者为： ?z F(z,y)∧?x G(x,y) 对?x (F(x,y)∧?y G(x,y)) ?F(x,y) 改为： ?x (F(x,t)∧?y G(x,y)) ?F(s,t) 或者为：?t (F(t,y)∧?y G(t,y)) ?F(x,y) 艘丈战饰馁症析含雁柒恭彩漂丹酞慌叉咏弗隆挞缮尹锚框菲骂袍孪与囤吻2.2谓公式与解释离散数学课件 谓词公式的解释 谓词逻辑中的解释(赋值) 在命题逻辑对每个命题符号作个真值指定可以得一个公式的一个指派,又称赋值,又称解释。如公式中共出现n个不同的命题符号,则共有2n个解释,因而可以列出公式的真值表。而谓词逻辑中公式的赋值解释是怎样的呢？ 例如公式：?x F(x,a)∧?x G(f(x),a) 钾帧秉躁涸状凛谱胜曙贼远腹唁哆血苟椿拔睬智调丫讽占淡著那隋虚闯蓉2.2谓公式与解释离散数学课件 三、谓词公式的赋值(解释) 一个解释由4部分组成： （1） 非空个体域D； （2）D中特定元素； （3）D上特定函数； （4）D上特定谓词。 公式?x F(x,a)∧?x G(f(x),a) 指定：D=实数集合；a=0；f(x):3x;F(x,y):x≥y；