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 一阶逻辑合式公式及解释 原子公式： 为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