谓词公式与解释.pptxVIP

会计学;在谓词公式中，形如?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) ;思考题：