第9讲谓词逻辑公式.pptVIP

一阶逻辑 苏格拉底三段论 重新符号化：?, ?, F( ), x, a 设：F(x)：x是人。G(x)：x是要死的。 a：苏格拉底。 前提：?x(F(x)?G(x))，F(a) 结论：G(a) 注意： 在论域不同时，命题符号化的形式也不同 若未给出论域，则以全总个体域为论域 论域确定后，使用全称量词与存在量词符号化形式不同 多个量词同时出现时，不能随意颠倒次序　 　　　　　　　　 ?x?y(x≤y)　　　 　　　　　　 ?x?y(x≤y) 谓词演算的形式系统 字母表 公式 公理 推理规则 一阶语言与一阶逻辑 一阶语言是用于一阶逻辑的形式语言 一阶逻辑是建立在一阶语言上的逻辑体系 一阶语言 谓词演算形式系统语言 非逻辑符号 个体常元: a, b, c, …, a1, b1, c1,… 函数符号: f, g, h, …, f1, g1, h1,… 谓词符号: F, G, H, …, F1, G1, H1, … 把函数和谓词中的变元直接写到符号后的括号中,如F(x,y,x), g(x,y)等 非逻辑符号集合常记为L 逻辑符号 个体变元: x, y, z, …, x1, y1, z1,… 量词符号: ?, ? 联结词符号: ?, ?, ?, ?, ? 括号与逗号: (, ), ， 字母表 个体常元: a, b, c, …, a1, b1, c1,… 函数符号: f, g, h, …, f1, g1, h1,… 谓词符号: F, G, H, …, F1, G1, H1, … 个体变元: x, y, z, …, x1, y1, z1,… 量词符号: ?, ? 联结词符号: ?, ?, ?, ?, ? 括号与逗号: (, ), ， L生成的一阶语言 个体常元: a, b, c, …, a1, b1, c1,… 函数符号: f, g, h, …, f1, g1, h1,… 谓词符号: F, G, H, …, F1, G1, H1, … 非逻辑符号并不一定都出现 一阶语言随着非逻辑符号的不同而不同，称为由非逻辑符号集合L生成的一阶语言。 L生成的一阶语言举例 如：非逻辑符号 个体常元: 0 函数符号: + L1={0, +} 如：非逻辑符号 个体常元: 0，1 函数符号: +,* L2={0,1, +,*} L生成的一阶语言说明 非逻辑符号与所描述的特定对象有关。 逻辑符号是逻辑系统中的符号。 一阶逻辑研究一阶语言的一般性质，而不是针对某个特定的一阶语言。对一个具体的应用而言，L通常是不言自明的，由使用的全部非逻辑符号组成。 一阶(first order)逻辑的合式公式 项 原子公式 合式公式 项(term) 个体常项和个体变项是项 若?(x1,x2,…,xn)是n元函数, t1,t2,…,tn是项, 则?(t1,t2,…,tn)是项 所有的项都是有限次地应用上述规则形成的 例如: a, x, f(a), g(a,x), g(x,f(a)) 原子公式(atomic formula) 若R(x1,x2,…,xn)是n元谓词, t1,t2,…,tn是项, 则R(t1,t2,…,tn)是原子公式 例如: F(a), G(a,y), F(f(a)), G(x,g(a,y)) 合式公式(well-formed formula) 原子公式是合式公式 若A是合式公式，则(?A)是合式公式 若A,B是合式公式，则(A∧B), (A∨B), (A→B), (A?B)也是合式公式 若A是合式公式，则?xA, ?xA也是合式公式 只有有限次地应用上述规则形成的符号串才是合式公式 合式公式（举例） ?x(F(x)??y(G(y)?H(x,y))) F(f(a,a),b) F(x,y) 约定：省略多余括号 最外层 优先级递减： ?, ?; ?; ∧,∨, →,? 合式公式中的变项 量词辖域: 在?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)) 合式公式中的变项(举例) H(x,y)∨?xF(x)∨?y(G(y)?H(x,y)) x 与 y 是指导变项 x与y是约束