第8讲谓词逻辑-(精选·公开·课件).pptVIP

一阶逻辑 苏格拉底三段论 凡人都是要死的。苏格拉底是人。所以，苏格拉底是要死的。 设：p:凡人都是要死的; q:苏格拉底是人; r: 苏格拉底是要死的。 前提：p，q 结论：r 推理的形式结构：p?q?r (非永真式！) 苏格拉底三段论(续) 凡人都是要死的。 苏格拉底是人。 苏格拉底是要死的。 一阶(谓词)逻辑基础 内容提要 1. 量词、谓词、个体词、命题符号化 2. 合式公式、解释、永真式 3. 一阶逻辑等值式 4. 一阶逻辑推理规则 谓词(predicate) 谓词（关系）：表示性质、关系等；相当于句子中的谓语。 用大写英文字母F,G,H,…,后跟括号与变元来表示。例如： F(x): x是人。 G(x,y): x与y是兄弟。 n元谓词：含有n个变元。例如： F(x)是一元谓词， G(x,y)是二元谓词 函数(function) 函数：定义域与值域都是个体域； 用小写英文字母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是奇数。 “有些自然数是偶数”。 ?x(F(x)?G(x)) “既有奇数又有偶数” 。?xH(x)??xG(x) “存在既奇又偶的数” 。?x(H(x)?G(x)) 苏格拉底三段论(续) 凡人都是要死的。 苏格拉底是人。 苏格拉底是要死的。 个体词 可以独立存在的客体，可以是一个具体的事物，也可以是一个抽象的概念 个体常项 个体变项 个体常项(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) “万物皆数”: ?xG(x) 个体域 个体域(scope论域): 个体词的取值范围, 缺省(default)采用全总个体域. 全总个体域: 世界上的万事万物 特性谓词: 表示所关注的对象的性质 注意： 1.谓词、函数一般要求有一定的客体(个体词)　如：L(x,y)　f(a,b) 2.函数的取值在个体域中，关系的取值只有“Ｔ”和“Ｆ” 3.若含有多个个体词，则次序不可颠倒如：L(x,y)与L(y,x)不同,f(x,y)与f(y,x)也不同 4.有时函数也可用关系表示　如：x+y=z　E(x,y,z) 　或f(x,y)表示x+y 5.命题逻辑中的联结词同样出现在一阶逻辑中 命题符号化(举例) 例1: “有些人是要死的”. 解1: 采用全总个体域. 设: F(x): x是人; G(x):x是要死的. 原命题符号化成: ?x(F(x)?G(x)) 解2: 采用全体人作为个体域. 设: G(x): x是要死的. 原命题符号化成: ?xG(x) 命题符号化(举例、续) 例2: “凡人都是要死的”. 解1: 采用全总个体域. 设: F(x): x是人; G(x):x是要死的. 原命题符号化成: ?x(F(x)?G(x)) 解2: 采用全体人作为个体域. 设: G(x): x是要死的. 原命题符号化成: ?xG(x) 命题符号化小结 采用全总个体域时需要特性谓词: 表示所关注的对象的性质 两种模式: ?x(M(x)?G(x)) ?x(M(x)?G(x)) 其中M(x)是特性谓词。 命题符号化(举例、续) 例3: “存在最小的自然数”。 解1: 设: F(x): x是自然数; G(x,y): x?y; 原命题符号化成: ?x(F(x)??y(F(y)?G(x,y))) 解2: 采用全体自然数作为个