在谓词(wèicí)公式中，形如xP(x)或xP(x)以及xP(x，y)的部分中x称为指导变元，在辖域中,x的所有出现称为约束变元（约束出现）；y是自由变元（自由出现）。量词的辖域(x)P(x)或(x)P(x)中的公式P(x)，通称为量词的辖域。换言之，量词的辖域是邻接其后的公式，除非辖域是原子公式，否则应在所辖公式的两侧插入圆括号。量词(liàngcí)辖域举例换名规则(guīzé)换名规则(guīzé)举例谓词(wèicí)公式的解释三、谓词(wèicí)公式的赋值(解释)解释(jiěshì)举例1解释(jiěshì)举例2解释(jiěshì)的说明四、谓词(wèicí)公式的类型代换(dàihuàn)实例1、永真式和永假式的代入实例是永真、永假式；2.对于某些简单的公式，特别对于简单的闭式，可在假定给定任意解释的前提下该公式的真值都为真（或者为假）来证明该公式是永真式（或矛盾式）。3.要证明一个公式是可满足式，只要找到一个解释，使得该公式的真值为真即可。同时(tóngshí)为了证明它不是永真式，只要找一个解释，使得该公式的真值为假即可。公式类型(lèixíng)举例xF(x)(xyG(x,y)xF(x))2)xF(x)xF(x)3)xyF(x,y)yxF(x,y)思考题：感谢您的观看(guānkàn)！内容(nèiróng)总结