一阶逻辑基本概念谓词逻辑(离散数学).pptVIP

(1) 单个命题常项或变项 p,q,r,…是合式公式； (2) 若A , B是合式公式，则 (? A)，(A?B), (A?B), (A?B), (A?B)也是合式公式； (3) 只有有限次地应用(1)~(2)形成的包含命题变元、联结词和括号的符号串才是合式公式。 命题逻辑合式公式的定义： (1)原子公式是合式公式; (2)若A、B是合式公式，则 (?A), (A?B), (A?B), (A?B), (A?B)是合式公式; (3)若A是合式公式，则?xA, ?xA是合式公式; (4)所有合式公式都是有限次应用1~3形成的符号串。 谓词逻辑合式公式的定义： 原子命题公式 n元谓词 * 一、原子公式和项 定义：设P(x1, x2, …, xn)是任意的n元谓词，t1,t2,…,tn是任意的n个项，则称P(t1,t2,…,tn)是原子公式。 个体常项和个体变项是项. 若?(x1, x2, …, xn)是任意的n元函数，t1,t2,…,tn是任意的n个项，则?(t1, t2, …, tn) 是项。 所有的项都是有限次使用 1, 2 得到的。 * F(x,y)： G( f(x1, x2), g(x3, x4) ) F(x): x是无理数。 F( ) 一、原子公式和项 项 * 引例 ?x(F(x,y)?G(x,z)) 考察上述两个公式中个体变项受约束的情况。 * 二、个体变项的