谓词逻辑等值式.pptVIP

一阶逻辑 一阶逻辑的字母表 个体常项: a, b, c, …, a1, b1, c1,… 个体变项: x, y, z, …, x1, y1, z1,… 函数符号: f, g, h, …, f1, g1, h1,… 谓词符号: F, G, H, …, F1, G1, H1, … 量词符号: ?, ? 联结词符号: ?, ?, ?, ?, ? 括号与逗号: (, ), ， 一阶(first order)逻辑的合式公式 项 原子公式 合式公式 合式公式中的变项 量词辖域: 在?xA, ?xA中, A是量词的辖域. 例如: ?x(F(x)??y(G(y)?H(x,y))) 指导变项: 紧跟在量词后面的个体变项.例如: ?x(F(x)??y(G(y)?H(x,y))) 约束出现: 在辖域中与指导变项同名的变项. 例如: ?x(F(x)??y(G(y)?H(x,y))) 自由出现: 既非指导变项又非约束出现. 例如: ?y(G(y)?H(x,y)) 解释(interpret) 对一个合式公式的解释包括给出 个体域 谓词 函数 个体常项 的具体含义 赋值(举例) F(f(a,a),b) 赋值1： 个体域是全体自然数; a: 2;