离散数学之数理逻辑(3).pptVIP

离散数学之数理逻辑（3） 上海交通大学软件学院 吴刚 2009年6月 内容 谓词逻辑 谓词与个体 量词 函数 谓词逻辑公式 自由变元与约束变元 谓词逻辑的永真公式 范式 命题逻辑的局限性 前提: 四班的同学下周都要去春游 张三是四班的同学 结论: 张三下周要去春游 用命题逻辑无法完成上述推理 原子命题不可再分割 谓词与个体 将原子命题分解成谓词和个体，引出谓词逻辑 个体：命题中名词性的主体 谓词：用于描述个体的性质或个体间的关系 一元谓词：与一个个体相连 多元谓词：与多个个体相连 多元谓词中有时个体的出现顺序是相关的 谓词与个体 符号表示 用大写字母F/G等表示谓词，用小写字母a/b/c等表示个体 例子：用F(x)表示x是大学生，用a表示张三，用b表示李四，则“张三是大学生”表示为F(a)，”张三和李四都是大学生”表示为F(a)∧F(b)； 例子：用F(x,y)表示x严重影响了y，用a表示猪流感，用b表示墨西哥，则“猪流感严重影响了墨西哥”表示为F(a,b)，而F(b,a)是不正确的 谓词与个体 上述F(x)和F(x,y)中x,y被称为个体变元，其取值范围被称为个体域 F(x)和F(x,y)被称为谓词命名式，明确了谓词与个体是如何构成命题的，其中个体变元的顺序是相关的。实际她就是一元或多元函数，定义域是个体域，值域是T或F。当个体变元被赋值后，命题及其真值就确定了 量词 有些谓词命名式对于其中个体的所有取值，其真值均为T； 有些谓词命名式对于其中个体的部分取值，其真值为T； 如何区分所有和部分的关系呢？ 引入量词：全称量词和存在量词 量词 全称量词 对于个体变元x的所有取值F(x)为真，则表示为?x (F(x))，?x 叫全称量词 存在量词 对于个体变元x的部分取值F(x)为真，则表示为?x (F(x))，?x 叫存在量词 量词 当给一个谓词命名式中的所有变元施加量词约束后，在给定的个体域下形成的公式其真值是确定的 例子：F(x)表示x会哺乳后代 当个体域为哺乳动物时，?x (F(x))为真； 当个体域为所有动物时，?x (F(x))为假，但?x (F(x))为真 量词 个体域的表达 个体域的定义本身也是一个谓词命名式 ?x (F(x))且x∈A，可以表达为 ?x (G(x)→F(x))，用G(x)表示x∈A ?x (F(x))且x∈A，可以表达为 ?x (G(x)∧F(x))，用G(x)表示x∈A 这样x的取值就可以任意了 量词 量词的辖域 量词后紧跟的括弧区域称为量词的辖域 ?x (F(x))∧G(x)，该全称量词的辖域为F(x) ?x (F(x)∧G(x))，该存在量词的辖域为F(x)∧G(x) 量词 例子： 没有人不会犯错误 F(x)表示x会犯错误，H(x)表示x是人 ? (?x (H(x)∧?F(x))) ?x (H(x)→F(x)) 对于所有的正整数x,y均有x+yx F(x,y)表示x+yx，G(x)表示x是正整数 ?x ?y (G(x)∧G(y) →F(x,y)) 每个人都有用武之地 ?x ?y (H(x) →D(y)∧F(x,y)) 函数 谓词逻辑中个体和个体之间的关系用函数来表达 定义域和值域都是个体 用f(x), f(x1,x2)来表示个体间的函数 例子：张三和他的室友是桥牌搭档 F(x,y)表示x和y是桥牌搭档，f(x)表示x的室友 则上述命题可表示为F(a,f(a))，a表示张三 谓词逻辑公式 谓词逻辑中的七种符号 个体常量：a,b,c… 个体变元：x,y,z… 函数符：f,g,h… 谓词符：F,G,H… 量词符：?,? 联结词：?,∧,∨,→, ? 括弧：(, ) 谓词逻辑公式 项 个体常量、个体变元均是项； f是n元函数，t1,t2,…tn是项，则f(t1,t2,…tn)是项 有限次使用上述规则得到的也是项 f(x, f(a, g(b)))是项, 实际还是表达一个个体 原子公式 F是n元谓词符，t1,t2,…tn是项，则F(t1,t2,…tn)是原子公式 谓词逻辑公式 谓词逻辑公式（公式） （1）原子公式是公式； （2）如果P,Q是公式，则(?P), (P∧Q), (P∨Q), (P→Q), (P?Q)是公式 （3）如果P是公式，x是个体变元，则(?xP), (?xP)是公式 有限次使用上述规则所生成的也是公式 谓词逻辑公式 谓词逻辑公式（公式）的BNF : α ::= P | (? α) | (α ∨ β) | (α ∧ β) |(α → β) | (α ? β) | (?xα) | (?xα) P代表原子公式，α,β是公式，x是个体变元 括弧可以按照命题逻辑中消去括弧的方法予以消去 量词的辖域中若存在多个原子公式，则辖域上的括弧不能消去，否则辖域会改变 谓词逻辑公式 不是公式