西华大学 符号体系：1. 个体常元符号：a,b,c,a1,a2,a3,2. 个体变元:x,y,z,x1,x2,x3,3. 函数符号:f,g,h,f1,f2,f3, 4. 谓词符号:F,G,H,5. 量词符号: 6. 联结词: 项的定义1. 个体变元、个体常元是项；2. 若 是任意n元函数，t1,t2,tn 是项，则 是项；3. 有限次的应用1，2得到项。2.2 一阶逻辑合式公式及解释西华大学 原子公式： 为n元谓词符号，t1,t2,tn 是项，则 是原子公式；合式公式的归纳定义： 1、任意的原子公式是公式 2、若A是公式，则xA、xA是公式； 3、若A、B是公式，则 A、A B、A B、A B、A B是公式； 有限次地应用前三条，得到公式。判断下列符号串是否为合式公式：1. x(P(x) Q(x)2. xy(P(x) Q(y)3. yx P(x)4. x f(x) x(g(x,y) f(x) )一、合式公式的定义：西华大学 在谓词公式中，形如xP(x)或xP(x)以及 xP(x，y)的部分中x称为指导变元，在辖域中,x的所有出现称为约束变元（约束出现）；y是自由变元（自由出现）。量词的
