我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:小鱼儿玄机1站开奘结果 > 前束范式 >

《第二章谓词逻辑doc

归档日期:08-07       文本归类:前束范式      文章编辑:爱尚语录

  1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。

  第二章 谓词逻辑 ???????????? ????在命题逻辑中,主要研究命题和命题演算,其基本组成单位是原子命题,并把它看作不可再分解的。 ????但是原子命题,实际上还是可以作进一步分析的,特别是两个原子命题间,常常有一些共同特征,为了刻划命题内部的逻辑结构,就需要研究谓词逻辑。 ????此外,命题逻辑的推证中有着很大的局限性,有些简单的论断也不能用命题逻辑进行推证。 ????例如,简单而有名的苏格拉底三段论: ????所有的人都是要死的,苏格拉底是人,所以苏格拉底是要死的。 ????这个显然成立的推理在第一章中是不能进行推证的,比如令P表示:所有的人都是要死的,Q表示:苏格拉底是人,R表示:苏格拉底是要死的。于是该推理可以表示为: ?????????????????? P∧QR 但是,用第一章命题逻辑的方法并不能证明该推理成立,因为P∧Q→R不是重言式。比如当P、Q为T,R为F时,P∧Q→R的真值为F。 ????苏格拉底三段论在命题逻辑中不能推证的原因是命题公式描述能力的局限性。比如:“所有的人都是要死的”和“苏格拉底是要死的”这两个命题所表述的性质都为:“是要死的”,但在命题逻辑中需用两个不同的命题符号P和R来表示,两个不同的符号显然掩盖了两个命题描述性质的共同性。这样必须要对命题的内部关系进行深入地研究。 ? 第1节 谓词的概念与表示 1 客体 ????命题中涉及的对象称为客体。 ????比如命题:计算机是科学技术的工具,其中“计算机”就是客体。又如命题:张三是李四的领导,其中“张三”和“李四”都是客体。 2 谓词 ????描述命题中客体性质或客体之间关系的部分称为谓词。 ????比如上述两例中,“是科学技术的工具”和“…是…的领导”都是谓词。 又例如: ????(a) 他是三好学生。 ????(b) 7是质数。 ????(c) 每天早晨做广播操是好习惯。 ????(d) 5大于3。 ????(e) 哥白尼指出地球绕着太阳转。 ????在上述语句中“是三好学生”、“是质数”、“是好习惯”、“大于”、“指出”都是谓词。前三个是指明客体性质的谓词,后两个是指明两个客体之间关系的谓词。 3 客体与谓词的表示 ????我们将用大写字母表示谓词,用小写字母表示客体名称,例如A表示“是个大学生”,c表示张三,e表示李四,则A(c),A(e)分别表示“张三是个大学生”,“李四是个大学生”。 用谓词表达命题,必须包括客体和谓词字母两个部份,一般地说,“b是A”类型的命题可用A(b)表达。对于“a小于b”这种两个客体之间关系的命题,可表达为B(a,b),这里B表示“…小于…”。又如命题“点a在b与c之中”可以表示为L:…在…和…之中,故可记为L(a,b,c)。 4 谓词的分类 ????我们把A(b)称作一元谓词,B(a,b)称作二元谓词,L(a,b,c)称作三元谓词,依次类推。 注意,代表客体名称的字母,它在多元谓词表示式中出现的次序与事先约定有关,因此未经约定前,上例记作L(a,b,c)或L(b c,a)等都可以,但一经约定,L(a,b,c)与L(b,c,a)就代表两个不同的命题。 ????单独一个谓词不是完整的命题,我们把谓词字母后填以客体 所得的式子称为谓词填式,这样谓词和谓词填式应该是两个不同的概念。 一般地说,n元谓词需要n个客体名称插入到固定的位置上, 如果A为n元谓词,a1,a2,…,an是客体的名称,则A(a1,a2,…,an)就可成为一个命题。 通常。一元谓词表达了客体的“性质”,而多元谓词表达了客体之间的“关系”。 ????*重点:谓词是描述命题中客体性质或客体之间关系的部分,用大写字母表示。 第2节 命题函数与量词 ???? 1 命题函数 ????首先应注意,客体有客体常元和客体变元之分,当一个客体表示确定的客体时,称为客体常元;当一个客体表示不确定的客体时,称为客体变元。 ????为了说明命题函数的概念,下面先举例解释命题与谓词的关系。 ????设H是谓词“能够到达山顶”,L表示客体名称李四,t表示老虎,c表示汽车,那么H(L),H(t),H(c)等分别表示各个不同的命题,但它们有一个共同的形式,即H(x)。当x分别取L、t、c时就表示“李四能够到达山顶”,“老虎能够到达山顶”,“汽车能够到达山顶”。 ????同理,若L(x,y)表示x小于y,那么L(2,3)表示了一个线”。 ????又如A(x,y,z)表示一个关系“x加上y等于z”。则且A(3,2,5)衷示了线”。 ????从上述三个例子中可以看到H(x),L(x,y),A(x,y,z)中的x,y,z等都是客体变元,很象一些函数,于是便有如下定义。 ????定义2-2.1 由一个谓词,一些客体变元组成的表达式称为简单命题函数。由一个或n个简单命题函数以及逻辑联结词组合而成的表达式称复合命题函数。 ????根据这个定义可以看到,n元谓词就是有n个客体变元的命题函数,当n=0时,称为0元谓词,它本身就是一个命题,故命题是n元谓词的一个特殊情况。 ????逻辑联结词,∧,∨、→、的意义与命题演算中的解释完全相同。 ????例1 设S(x)表示“x学习很好”,用W(x)表示“x工作很好”。则S(x)表示“x学习不是很好”。S(x)∧W(x)表示“x的工作,学习都很好”。S(x)→W(x)表示“若x的学习很好,则x的工作得很好。” ????例2 用H(x,y)表示“x比y长得高”。设L表示李四,c表示张三。则 H(L,c)表示“李四不比张三长得高”。 H(L,c)∧H(L,c)表示“李四不比张三长得高”且“张三不比李四长得高”即“张三与李四同样高”。 2 个体域(或论域) ????例3 设Q(x,y)表示“x比y重”,当x,y指人或物时,它是一个命题,但若x,y指实数时,Q(x,y)就不是一个命题。 ????命题函数不是一个命题,只有客体变元取特定名称时,才能成为一个命题。但是客体变元在哪些范围内取特定的值,对是否成为命题及命题的真值极有影响。 ????例4 R(x)表示“x是大学生”,如果x的讨论范围为某大学里班级中的学生,则R(x)是永真式。 ????如果x的讨论范围为某中学里班级中的学生,则R(x)是永假式。 ????如果x的讨论范围为一个剧场中的观众,观众中有大学生也有非大学生,那么,对某些观众,R(x)为真,对另一些观众,R(x)为假。 ????例5 (P(x,y)∧P(y,z))→P(x,y) ????若P(x,y)解释为“x小于y”,当x,y,z都在实数域中取值,则这个式子表示为:若x小于y且y小于z,则x小于z。这是一个永真式。 ????如果P(x,y)解释为“x为y的儿子”。当x,y,z都指人,则“若x为y的儿子且y是z的儿子则x是z的儿子”。这个式子表达的是一个永假公式。 ????如果P(x,y)解释为“x距离y10米”,若x,y,z表示地面上的房子,那么“x距离y 10米且y距离z 10米则x距离z 10米”。这个命题的真值将由x,y,z的具体位置而定,它可能为T,也可能为F。 ????从上述两例可以看到,命题函数确定为命题,与客体变元的论述范围有关。在命题函数中,客体变元的论述范围称作个体域。个体域可以是有限的,也可以是无限的,把各种个体域综合在一起作为论述范围的域称全总个体域。 3 量词 ????使用上面所讲的一些概念,还不能用符号很好地表达日常生活中的各种命题。例如:S(x)表示x是大学生,而x的个体域为某单位的职工。那么S(x)可以表示某单位职工都是大学生,也可以表示某单位存在一些职工是大学生。为了避免这种理解上的混乱,因此需要引入量词,以刻划“所有的”和“存在一些’的不同概念。 ????例如 (a) 所有的人都是要呼吸的。 ???????? (b) 每个学生都要参加考试。 ???????? (c) 任何整数或是正的或是负的。 ????这三个例子都需要表示“对所有的x”这样的概念,为此,引入符号:V-x,表示“对所有的x”。 ???? 符号“”称为全称量词。用来表达“对所有的”“每一个”“对任一个”等。 ???? 符号“彐”称为存在量词,可用来表达“存在一些”“至少有一个”“对于一些”等。 * 重点: ????1) 命题函数都有个体域,个体域一般由讨论者确定。 ????2) 在使用量词时,根据命题的实际意义,一般情况下全称量词“”后要用联结词“→”,而存在量词“彐”后要用联结词“∧”。 ? 第3节 谓词公式与翻译???????? 1 谓词公式 ????我们知道,简单命题函数与逻辑联结词可以组合成一些谓词表达式。有了谓词与量词的概念,谓词表达式所能刻划的日常命题就能广泛而深入得多了。但是,怎样的谓词表达式才能成为谓词公式并能进行谓词演算呢?下面先介绍谓词公式。 ????我们把A(x1,x2,…,xn)称作谓词演算的原子公式,其中x1,x2,…,xn是客体变元,因此原子谓词公式包括下述形式的各种特例。如:Q,A(x),A(x,y),A(f(x),y),A(x,y,z),A(a,y)等。 ????定义2-3.1 谓词演算的合式公式,即谓词公式,可由下述各条组成: ????(1) 原子谓词公式是谓词公式。 ????(2) 若A是谓词公式,则A是一个合式公式。 ????(3) 若A和B都是合式公式,则(A∧B),(A∨B),(A→B)和(AB)是谓词公式。 ????(4) 如果A是合式公式,x是A中出现的任何变元,则xA 和彐xA都是谓词公式。 ????(5) 只有经过有限次地应用规则(1)、(2)、(3)、(4)所得到的公式是谓词公式。 ????在讨论命题公式时,曾用了关于圆括号的某些约定,即最外层的括号可以省略,在谓词合式公式中亦将遵守同样的约定,但需注意,量词后面若有括号则不能省略。 2 翻译 ????此处所说的翻译是将自然语言叙述的命题翻译成谓词公式的形式。 ????下面举例说明如何用谓词公式表达自然语言中一些有关命题。 ???? ????由本例可知,对于命题翻译成谓词公式时,机动性很大,由于对个体描述性质的刻划深度不同,就可翻译成不同形式的谓词公式。本例中R(x)表示x是大红书柜,而A(x)∧B(x)∧C(x)也可表示大红书柜,但后一种将更方便于对书柜的大小颜色进行讨论,这样对个体刻划深度的不同就可翻译成不同的谓词公式。 ???? 例题5 在数学分析中极限定义为:任给小正数ε,则存在一个正数δ,使得当0<│x-a│<δ时有│f(x)-b│<ε。此时即称 ???? 解 F(x,y)表示“x大于y”Q(x,y)表示“x小于y”,故可表示为: ε(P(ε,0)→彐δ(P(δ,0)∧x( Q(│x-a│,δ)∧P(│x-a│,0)→Q(│f(x)-b│,ε)))) *重点:掌握将自然语言表示的命题翻译成谓词公式的方法。 ? 第4节 变元的约束???????? 1 作用域或辖域 ????设α为一个谓词公式,其中有一部份公式形式为xP(x)或彐xP(x)。这里、彐后面所跟的x叫做量词的指导变元或作用变元,P(x)叫做相应量词的作用域或辖域。 2 约束变元和自由变元 ????在谓词公式α中,x或彐x作用域中出现的x称为α中的约束变元,x亦称为被相应量词中的指导变元所约束。在α中除去约束变元以外所出现的变元称作自由变元。自由变元是不受约束的变元,虽然它有时也在量词的作用域中出现,但它不受相应量词中指导变元的约束,故我们可把自由变元看作是公式中的参数。 ????例题1 说明以下各式的作用域与变元约束的情况。 ????????a) x(P(x)→Q(x)) ????????b) x(P(x)→彐yR(x,y)) ????????c) xy(P(x,y)∧Q(y,z))∧彐xP(x,y) ????????d) x(P(x)∧彐xQ(x,z)→彐yR(x,y))∨Q(x,y) ????解 ?a) x的作用域是P(x)→Q(x),x为约束变元。 ????????b) x的作用域是(P(x)→彐yR(x,y)), 彐y的作用域是R(x,y), x,y都是约束变元. ??????? c) x和y的作用域是(P(x,y)∧Q(y,z)),其中x,y是约束变元,z是自由变元。彐x的作用域是P(x,y),其中x是约束变元,y是自由变元。在整个公式中,x是约束出现,y既是约束出现又是自由出现,z是自由出现。 ??????? d) x的作用域是(P(x)∧彐xQ(x,z)→(彐y)R(x,y)),x和y都是约束变元,但Q(x,z)中的x是受彐x的约束,而不是受x的约束。Q(x,y)中的x,y是自由变元。 ????从约束变元的概念可以看出,P(x1,x2,…xn)是n元谓词,它有n个相互独立的自由变元,若对其中k个变元进行约束则成为n-k元谓词,因此,谓词公式中如果没有自由变元出现,则该式就成为一个命题。例如,xP(x,y,z)是二元谓词。彐xxP(x,y,z)是一元谓词。 3 约束变元的换名 ????为了避免由于变元的约束与自由同时出现,引起概念上的混乱,故可对约束变元进行换名。使得一个变元在一个公式中只呈一种形式出现,即呈自由出现或呈约束出现。 ????我们知道,一个公式的约束变元所使用的名称符号是无关紧要的。故:xP(x)与yP(y)具有相同的意义。设A(x)表示x不小于0,那么 ???????????xA(x)表示一切x都使得x不小于0; ????????????yA(y)表示一切y都使得y不小于0; ????????????tA(t)表示一切t都使得t不小于0。 ????这三个命题在实数域中都表示假命题“一切实数均不小于0”。 同理彐xP(x)与彐yP(y)意义亦相同。 ????为此,我们可以对公式α中的约束变元更改名称符号,这种遵守一定规则的更改,称为约束变元的换名。其规则为: ????(1) 对于约束变元可以换名,其更改的变元名称范围是量词中的指导变元,以及该量词作用域中所出现的该变元,在公式的其余部份不变。 ????(2) 换名时一定要更改为作用域中没有出现的变元名称。 ????例题 2 对x(P(x)→R(x,y))∧Q(x,y)换名。 ????解 可换名为:z(P(z)→R(z,y))∧Q(x,y),但不能改名为:y(P(y)→R(y,y))∧Q(x,y)以及z(P(z)→R(x,y))∧Q(x,y)。因为后两种更改都将使公式中量词的约束范围有所变动。 4 自由变元的代入 ????对于公式中的自由变元,也允许更改,这种更改叫做代入。自由变元的代入,亦需遵守一定的规则,这个规则叫做自由变元的代入规则,现说明如下: ????(1) 对于谓词公式中的自由变元,可以作代入,代入时需对公式中出现该自由变元的每一处进行。 ????(2) 用以代入的变元与原公式中所有变元的名称不能相同。 ????例题 3 对彐xP(y)∧R(x,y))代入。 ????解 对y施行代入,经代入后公式为 ?????????? 彐x(P(z)∧R(x,z)) ????但是彐x(P(x)∧R(x,x))与彐x(P(z)∧R(x,y))这两种代入都是与规则不符的。 ????需要指出,量词作用域中的约束变元,当论域的元素是有限时,客体变元的所有可能的取代是可枚举的。 ????设论域元素为a1,a2,…,an。 ????则 ????xA(x)A(a1)∧A(a2)∧…∧A(an) ?????????? 彐xA(x)A(a1)∨A(a2)∨…∨A(an) ????量词对变元的约束,往往与量词的次序有关。 ????如,y彐x(x(y-2))表示任何y均有x使得xy-2,当在实数上讨论时,该命题是真的。彐xy(x(y-2))表示存在x,使对任意y,有xy-2,当在实数上讨论时,该命题是假的。 ????谓词公式中的多个量词,我们约定从左到右的次序读出。需要注意的是量词次序不能颠倒,否则可能将与原命题意义不符。 *重点:分清约束变元和自由变元的区别。另外注意约束变元是虚假的变元,它与自由变元有本质的区别。 第5节 谓词演算的等价式与蕴含式?? 1 谓词公式的赋值 ????在谓词公式中常包含命题变元和客体变元,当客体变元由确定的客体所取代,命题变元用确定的命题所取代时,就称作对谓词公式的赋值。一个谓词公式经过赋值以后,就成为具有确定线 谓词公式的分类 ????定义2-5.1 给定任何两个谓词公式 A 和 B,设它们有共同的个体域E,若对A和B的任一组变元进行赋值,所得命题的真值相同,则称谓词公式 A 和 B 在E上是等价的,并记作: AB ????定义2-5.2 给定任意谓词公式 A,其个体域为E,对于A的所有赋值,A都为真,则称 A在E上是有效的(或 永真的)。 ????定义2-5.3 一个谓词公式 A,如果在所有赋值下都为假,则称该 A为不可满足的。 ????定义2-5.4 一个谓词公式 A,如果至少在一种赋值下为真,则称 A为可满足的。 ????有了谓词公式的等价和永真等概念。就可以讨论谓词演算的一些等价式和蕴含式。 3 命题公式的推广 ????在命题演算中,任一永真公式,其中同一命题变元,用同一公式取代时,其结果也是永真公式。我们可以把这个情况推广到谓词公式之中,当谓词演算中的公式代替命题演算中永真公式的变元时,所得的谓词公式即为有效公式,故命题演算中的等价公式表和蕴含式表都可推广到谓词演算中使用。例如 ???????? ?? ??? ?? 4 量词与联结“”之间的关系 ????为了说明这个问题,我们先举例讨论。 ????例1 设P(x)表示x今天来校上课,则P(x)表示x今天投有来校上课。 ????故不是所有人今天来上课与存在一些人今天没有来上课在意义上相同, 即xP(x) 彐xP(x)。又,不是存在一些人今天来上课与所有的人今天都没有来上课在意义上相同,即彐xP(x)xP(x)。 ????为此我们得到公式: ????????xP(x)彐xP(x) ????????彐xP(x)xP(x) 这里约定,出现在量词之前的否定,不是否定该量词,而是否定被量化了的整个命题。 对于量词的转化律,可在有限个体域上证明。 设个体域中的客体变元为a1,a2,…,an,则 ???? ????对于无穷个体域的情况,量词转化律也能作相应的推广。 ????可以看到,当我们将量词前面的移到量词的后面去时,存在量词改为全称量词,全称量词改为存在量词,反之,如将量词后面的?移到量词前面去时,也要作相应的改变,这种量词与?的关系是普遍成立的。 5 量词作用域的扩张与收缩 ????量词的作用域中,常有合取或析取项,如果其中一为个命题,则可将该命题移至量词作用域之外。如: ???? ????这是因为在B中不出现约束变元x,故它属于或不属于量词的作用域均有同等意义。 从上述几个式子,我们还可推得如下几个式子。 ???? ????当谓词的变元与量词的指导变元不同时,亦能有类似于上述的公式。例如 ???????x(P(x)∨Q(y))xP(x)∨Q(y) ???????x(yP(x,y)∧Q(z))xyP(x,y)∧Q(z) 6 量词与命题联结词之间的一些等价式 ????量词与命题联结词之间存在不同的结合情况,下面举例说明一些等价公式。 ????例如 联欢会上所有人既唱歌又跳舞和联欢会上所有人唱歌且所有人跳舞。这两个语句意义相同。故有 ???? 7 量词与命题联结词之间的一些蕴含式 ????量词与命题联结词之间存在一些不同的结合情况,有些是蕴含公式。 ????例如 这些学生都聪明或这些学生都努力,可以推出这些学生都聪明或努力。但是这些学生都聪明或努力却不能推出这些学生都聪明或这些学生都努力。故有 ???? 8 常见的等价式和蕴含式 ????上述这些等价式或蕴含式,很多可以互相推导,现将常用的式子列入表2-5.1 表2-5.1 E23 彐x(A(x)∨B(x))彐xA(x)∨彐xB(x) E24 x(A(x)∧B(x))xA(x)∧彐xB(x) E25 彐xA(x)xA(x) E26 xA(x)彐xA(x) E27 x(A∨B(x)A∨xB(x) E28 彐x(A∨B(x))A∨彐xB(x) E29 彐x(A(x)→B(x))xA(x)→彐xB(x) E30 xA(x)→B彐x(A(x)→B) E31 彐xA(x)→Bx(A(x)→B) E32 A→ xB(x)x(A→B(x)) E33 A→彐xB(x)彐x(A→B(x)) I17 xA(x)∨xB(x)x(A(x)∨B(x)) I18 彐x(A(x)∧B(x))彐xA(x)∧彐xB(x) I19 彐xA(x)→ xB(x)x(A(x)→B(x)) 9 多个量词的使用 ????为了方便,我们只举两个量词的情况,更多量词的使用方法和它们类似。对于二元谓词如果不考虑自由变元,可以有以下八种情况: ?????????? ????例如 设A(x,y)表示x和y同姓,论域x是甲村的人,y是乙村的人,则 ????????????xyA(x,y): 甲村与乙村所有的人都同姓。 ???????????yx)A(x,y): 乙村与甲村所有的人都同姓。 ????显然上述两个语句的含义是相同的。故 ????????????xy)A(x,y)yx)A(x,y) 同理 彐x彐yA(x,y):甲村与乙村有人同姓。 ????????????彐y彐xA(x,y):乙村与甲村有人同姓。 ????这两个语句的含义也相同。故 ????????????彐x彐yA(x,y)彐y彐xA(x,y) ????但是,x彐yA(x,y)表示对于甲村所有人,乙村都有人和他同姓。 ???????????????? 彐yxA(x,y)表示存在一个乙村的人,甲村的人和他同姓。 ???????????????? y彐xA(x,y)表示对于乙村所有的人,甲村都有人与他同姓。 ???????????????? 彐xyA(x,y)表示存在一个甲村的人,乙村的人都和他同姓。 ????上述四种语句,表达的情况各不相同,故全称量词与存在量词在公式中出现的次序,不能随意更换。具有两个量词的谓词公式,有如下一些蕴含关系。 ???????????????? ????*重点:掌握常见的等价式和蕴含式。 ? 第6节 前束范式???????? 1 前束范式 ????在命题演算中,常常要将公式化成规范形式,对于谓词演算,也有类似情况,一个谓词演算公式,可以化为与它等价的范式。 ????定义2-6.1 一个公式,如果量词均在全式的开头,它们的作用域,延伸到整个公式的末尾,则该公式叫做前束范式。 ????前束范式可记为下述形式: ????(口v1)(口v2)…(口vn)A,其中口可能是量词或量词彐,vi(i=1,2,…,n)是客体变元,A是没有量词的谓词公式。 ????例如 xy彐z(Q(x,y)→R(z)),yxP(x,y)→Q(y)等都是前束范式。 ????定理2-6.1 任意一个谓词公式,均和一个前束范式等价。 ????证明 首先利用量词转化公式,把否定深入到命题变元和谓词填式的前面,其次利用 x(A∨B(x)A∨xB(x)和彐x(A∧B(x))A∧彐xB(x)把量词移到全式的最前面,这样便得到前束范式。 ???? ???? ???? 例题3 把公式x{彐yA(x,y)→彐xy[B(x,y)∧y(A(x,y)→B(x,y))]}化为前束范式。 ???? 2 前束合取范式 ????定义2-6.2 一个谓词公式A如果具有如下形式称为前束合取范式。 (口v1)(口v2)…(口vn)[(A11∨A12∨…∨A1r1)∧(A21∨A22∨…∨A2r2)∧…∧(Am1∨Am2∨…∨Amrm)],其中口可能是量词 或彐,vi(i=1,2,…,n)是客体变元,Aij是原子公式或其否定。 ????例如公式 ???????x彐zy{[P∨(x≠a)∨(z=b)]∧[Q(y)∨(a=b)]}是前束合取范式。 ????定理2-6.2 每一个谓词公式 A都可转化为与其等价的前束合取范式。(证明略) ????我们用一个例子来说明这个定理。 ????例题4 将谓词公式 D:V-x[V-yP(x)∨V-zQ(z,y)→ ?V-yR(x,y)]化为与它等价的前束合取范式。 ???? 3 前束析取范式 ????定义2-6.3 一个谓词公式A如具有如下形式则称为前束析取范式。 ????????(口v1)(口v2)…(口vn)[(A11∧A12∧…∧A1r1)∨(A21∧A22∧…∧A2r2)∨…∨(Am1∧Am2∧…∧Amrm)], 其中口、vi 与Aij 的概念与定义2-6.2中相同。 ????定理2-6.8 每一个谓词公式A都可以转换为与它等价的前束析取范式。(证明略) ????任一个谓词公式A转换为等价的前束析取范式的步骤与例题4类同。 *重点:每一个谓词公式都可以化为与之等价的前束范式。 第7节 谓词演算的推理理论?????? 1 谓词演算推理理论是命题演算推理理论的深入 ????谓词演算的推理方法,可以看作是命题演算推理方法的扩张。因为谓词演算的很多等价式和蕴含式,是命题演算有关公式的推广,所以命题演算中的推理规则,如P 、T和CP规则等亦可在谓词的推理理论中应用,但是在谓词推理中,某些前提与结论可能是受量词限制的,为了使用这些等价式和蕴含式,必须在推理过程中有消去和添加量词的规则,以便使谓词演算公式的推理过程可类似于命题演算中推理理论那样进行。现介绍如下规则。 2 谓词演算中新的推理规则 ????(1) 全称指定规则,它表示为US ????这里P是谓词,而c是论域中某个任意的客体。例如设论域为全人类。P(x)表示“x总是要死的”,如果我们有(x) P(x)即是“所有人总是要死的”,那么全称指定规则可有结论“苏格拉底总是要死的”。 ????(2) 全称推广规则,它表示为UG ????这个规则是要对命题量化,如果能够证明对论域中每一个客体c断言P(c)都成立,则全称推广规则可得到结论(x)P(x)成立。在应用本规则时,必须能够证明前提P(x)对论域中每一可能的x是线) 存在指定规则,它可表示为ES ????这里c是论域中的某些客体,必须注意,应用存在指定规则,其指定的客体c不是任意的。例如 彐xP(x)和 彐xQ(x)都真,则对于某些c和d,可以断定P(c)∧Q(d)必定为真,但不能断定P(c)∧Q(c)是线) 存在推广规则,它表示为EG ????这里c是论域中的一个客体,这个规则比较明显,对于某些客体c,若P(c)为真,则在论域中必有彐xP(x)为线 谓词演算形式推理实例 ????例题1 证明x(H(x)→M(x))∧H(s)M(s),这是著名的苏格拉底论证。 其中 H(x):x是一个人。 ???? ????例题2 证明x(C(x)→W(x)∧R(x))∧彐x(C(x)∧Q(x))彐x(Q(x)∧R(x)) ???? ????注意本例推导过程中第(3)与(4)两条次序不能颠倒,若先用US规则得到C(a)→W(a)∧R(a),则再用ES规则时,不一定得到C(a)∧Q(a),一般地应为C(b)∧Q(b),故无法推证下去。 ? ???? ????例题4 任何人违反交通规则.则要受到罚款。因此,如果没有罚款,则没有人违反交通规则。 ? ?? ????在该推导中,存在着不十分严格的地方。比如:从(10)到(11)的推导中是利用了等价式。但是在所给出的等价式中并没有表示(10)和(11)中两式等价的等价式,而如下两式是等价的: ????因此从(10)到(11)的严格推导应如下进行: ????了解了这种严格的推理方法,当然就可以采用直接从(10)到(11)的推导步骤。就是说如果同一量词后的两个公式等价,则这两个等价的公式前加上同一量词后仍是等价的。因此,可以认为有: *重点:掌握好谓词演算的推理规则。

本文链接:http://scrinzoom.com/qianshufanshi/788.html