第2讲 一阶逻辑基础 北京大学计算机系离散数学讲义(ppt版).ppt

《集合论与图论》第2讲 第2讲 一阶逻辑基础 内容提要 1. 量词、谓词、个体词、命题符号化 2. 合式公式、解释、永真式 3. 一阶逻辑等值式 4. 一阶逻辑推理规则 一阶逻辑的字母表 个体常项: a, b, c, …, a1, b1, c1,… 个体变项: x, y, z, …, x1, y1, z1,… 函数符号: f, g, h, …, f1, g1, h1,… 谓词符号: F, G, H, …, F1, G1, H1, … 量词符号: ?, ? 联结词符号: ?, ?, ?, ?, ? 括号与逗号: (, ), ， 谓词(predicate) 谓词：表示性质、关系等；相当于句子中的谓语。 用大写英文字母F,G,H,…,后跟括号与变元来表示。例如： F(x): x是人。 G(x,y): x与y是兄弟。 n元谓词：含有n个变元。例如： F(x)是一元谓词， G(x,y)是二元谓词 量词(quantifier) 全称(universal)量词: ? “所有的”, “全部的”,… 存在(existential)量词: ? “有一些的”, “某些的”,… 唯一(unique)存在量词: ?! “恰好存在一个” 量词(举例) 设：F(x)：x是自然数。G(x)：x是偶数。 H(x) ： x是奇数。 I(x,y)：x=y。 “有些自然数是偶数”。 ?x(F(x)?G(x)) “既有奇数又有偶数” 。?xH(x)??yG(y) 存在既奇又偶的数” 。?x(H(x)?G(x)) “存在唯一的自然数0”。 ?!x(F(x)?I(x,0)) 个体常项(constant) 表示具体的特定对象 用小写英文字母a,b,c,…来表示 例如： a:王大明，b:王小明， G(x,y): x与y是兄弟, “王大明与王小明是兄弟”: G(a,b) 个体变项(varible) 表示不确定的泛指对象 用小写英文字母x,y,z,…来表示 例如： F(x): x是人。G(x): x是数。 “存在着人”: ?xF(x) “仅有一人”: ?!xF(x) “万物皆数”: ?xG(x) 合式公式（举例） ?x(F(x)??y(G(y)?H(x,y))) F(f(a,a),b) 约定：省略多余括号 最外层 优先级递减： ?, ?; ?; ∧,∨; →,? 命题符号化 个体域(scope): 个体词的取值范围, 缺省(default)采用全总个体域. 全总个体域: 世界上的万事万物 特性谓词: 表示所关注的对象的性质 两种模式: ?x(M(x)?G(x)) ?x(M(x)?G(x)) 其中M(x)是特性谓词。 命题符号化(举例) 例: “有些人是要死的”. 解1: 采用全总个体域. 设: F(x): x是人; G(x):x是要死的. 原命题符号化成: ?x(F(x)?G(x)) 解2: 采用全体人作为个体域. 设: G(x): x是要死的. 原命题符号化成: ?xG(x) 命题符号化(举例、续) 例: “凡人都是要死的”. 解1: 采用全总个体域. 设: F(x): x是人; G(x):x是要死的. 原命题符号化成: ?x(F(x)?G(x)) 解2: 采用全体人作为个体域. 设: G(x): x是要死的. 原命题符号化成: ?xG(x) 命题符号化(举例、续) 例: “存在最小的自然数”。 解1: 设: F(x): x是自然数; G(x,y): x?y; 原命题符号化成: ?x(F(x)??y(F(y)?G(x,y))) 解2: 采用全体自然数作为个体域. 设: G(x,y): xy; 原命题符号化成: ?x?yG(x,y) 注意量词顺序: ?y?xG(x,y): “没有最小的自然数”. 命题符号化(举例、续) 例: “不存在最大的自然数”。 解: 设: F(x): x是自然数; G(x,y): xy; 原命题符号化成: ??x(F(x)??y(F(y)?G(y,x))) 或: ?x(F(x)??y(F(y)?G(x,y))) 命题符号化(举例、续) 例: “火车比汽车快”。 解: 设: F(