操作系统谓词演算.pptVIP

2.4前束范式 2.4.1.定义： 一个公式如果量词都在全式的开头，它们的作用域延伸到整个公式的末尾，则称该公式为前束范式。 前束范式有如下形式： (Q1V1 ) …(QnVn ) A 例如， ?x?y?z(P(x，y)?Q(x，z)) ?x?y?zP(x，y，z) 定理：任意一个谓词公式均和一个前束范式等价。 例：把下列公式化为前束范式 （1）?xG(x)??xH(x) ?xG(x)??xH(x) =?xG(x)??yH(y) 换名规则 =?x(G(x)??yH(y)) 引理1 =?x?y(G(x)?H(y)) 引理1 2.5 谓词演算的推理理论 一、推理规则 命题演算中的推理规则，可在谓词推理理论中应用。 在谓词演算中，推理的形式结构仍为 若 是永真式， 则称由前提 逻辑的推出结论C， 在此 , C均为谓词公式。 * 第二章 谓词演算 在命题逻辑中，命题被当作一个基本的，不可分割的单位，只研究由原子命题和联接词所组成的复合命题；因而无法研究命题的内部结构及命题之间内在的联系。本章介绍的谓词逻辑，对原子命题的成份、结构和原子命题间的共同特性等作了进一步分析。引入了个体词、谓词、量词、谓词公式等概念，在此基础上研究谓词公式间的等值关系和蕴含关系，并且对命题逻辑中的推理规则进行扩充和进行谓词演绎。 主要内容如下： 1 谓词、合式公式和量词 2 谓词演算的等价式与蕴含式 3 前束范式 4 谓词演算的推理理论 2.1 谓词概念 例 在命题逻辑中 ，对下述论断无法判断其正确性。 “苏格拉底三段论” ： 凡人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 类似的例 还有许多。 例如： 所有的人都要呼吸 , 所有的正整数都大于0, 李莉是人 , 3是正整数, 所以李莉要呼吸。 所以3大于0。 一、个体词和谓词 在谓词演算中，可将原子命题分解为谓词与个体词两部分。 定义2-1 个体是指可以独立存在的客体。 注　个体可以是抽象的，也可是具体的。个体通常在一个命题里表示思维对象。 定义2-2 用来刻划个体的性质或个体之间关系的词称为谓词，刻划一个个体性质的词称为一元谓词；刻划n个个体之间关系的词称为n元谓词。 例1 （1）李明是学生； （2）张亮比陈华高； （3）陈华坐在张亮与李明之间。 在这三个命题中，李明、张亮、陈华都是个体；“…是学生”是一元谓词， “…比…高”是二元谓词， “…坐…与…之间”是三元谓词。 通常，我们用大写字母表示谓词，小写字母表示个体。 上述命题可分别表示为 Q（a）, P（b,c），R（c,b,a）。 一般地，一个由n个个体和n元谓词所组成的命题可表示为F（a1,a2, … ,an）,其中F表示n元谓词, a1,a2, … ,an 分别表示n个个体。 注意：a1,a2, … ,an的排列次序是重要的。 二、个体变元和命题函数 个体常元 表示具体或特定的个体的个体词称为个体常元。 个体变元 表示抽象的，或泛指的（或者说取值不确定的）个体称为个体变元。 例2 设 H是表示谓词“…能够到达山顶”，若个体w:王红；t：老虎；s：汽车，则H（w），H（t），H（s）分别表示“王红能够到 达山顶。”“老虎能够到达山顶。”“汽车能够到达山顶。”这里w、