离散数学谓词公式与解释.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得到项。; 原子公式： 为n元谓词符号，t1,t2,…,tn 是项，则 是原子公式； 合式公式的归纳定义： 1、任意的原子公式是公式 2、若A是公式，则?xA、?xA是公式； 3、若A、B是公式，则? A、A∧ B、A∨B、A → B、A ?B是公式； 有限次地应用前三条，得到公式。;在谓词公式中，形如?xP(x)或?xP(x)以及 ?xP(x，y)的部分中x称为指导变元，在辖域中,x的所有出现称为约束变元（约束出现）；y是自由变元（自由出现）。量词的辖域 ?(x)P(x)或?(x)P(x)中的公式P(x)，通称为量词的辖域。换言之，量词的辖域是邻接其后的公式，除非辖域是原子公式，否则应在所辖公式的两侧插入圆括号。 ;量词辖域举例;换名规则;换名规则举例;谓词公式的解释;三、谓词公式的赋值(解释);解释举例1;解释举例2;解释的说明;四、谓词公式的类型;代换实例;1、永真式和永假式的代入实例是永真、永假式； 2. 对于某些简单的公式，特别对于简单的闭式，可在假定给定任意解释的前提下该公式的真值都为真（或者为假）来证明该公式是永真式（或矛盾式）。 3. 要证明一个公式是可满足式，只要找到一个解释，使得该公式的真值为真即可。同时为了证明它不是永真式，只要找一个解释，使得该公式的真值为假即可。 ;公式类型举例;?x F(x) ? (?x ? yG(x,y) ? ? x F(x) );2) ?x F(x) ? ? x F(x);3) ?x ? y F(x,y) ? ? y ?x F(x,y) ;思考题：