4.2一阶逻辑公式及总结.pptVIP

一阶语言 的字母表定义如下: 1 个体常项: a, b, c, …, ai , bi , ci ，…，i≥1 2 个体变项: x, y, z, …, xi, yi, zi，…， i≥1 3 函数符号: f, g, h, …, fi, gi, hi，…， i≥1 4 谓词符号: F, G, H,…,Fi , Gi , Hi ，…，i≥1 5 量词符号: 6 联结词符号: ┐,∧,∨, →, ← 7 括号与逗号: , , , ?定义4.2 的项的定义如下: 1 个体常项和个体变项是项. 2 若 f x1, x2, …, xn 是任意的 n 元函数, t1,t2,…,tn是任意的 n 个项， 则 f t1, t2, …, tn 是项. 3 所有的项都是有限次使用 1 ， 2 得到的. 例4.5中的1元谓词F x ，G x ，2元谓词 H x,y ，L x,y 等都是原子公式． 设 R x1 , x2 , …,xn 是的任意n元谓词, t1, t2, …, tn 是 的任意的 n 个项，则称 R t1, t2, …, tn 是 的原子公式. 定义4.4 的合式公式定义如下: 1 原子公式是合式公式. 在定义4.4中出现的字母A, B是代表任意公式的 元语言符号. 为方便起