1、第 2 章 谓词逻辑一、教学要求1. 理解谓词、量词、个体词、个体域、原子公式、谓词公式和变元等概念。会将不太复杂的命题符号化。2. 掌握在有限个体域下求公式的真值和某些公式在给定解释下真值的方法，判别公式类型( 永真式、永假式和可满足式) 的方法。3. 掌握谓词演算的等值式和重言蕴含式 (六种情况：(1) 命题公式的推广；(2) 量词否定式的等值式；(3) 量词辖域扩张和收缩的等值式；(4)量词与联结词 ，的等值式；(5)量词与联结词的重言蕴含式；(6)两个量词公式间的等值式与重言蕴含式 )。会进行谓词公式的等值演算。4. 了解前束范式的概念，会求公式的前束范式。5. 了解谓词逻辑推理的规则
2、：全量词消去规则(US 规则) ；全量词附加规则(UG 规则)；存在量词消去规则(ES 规则)；存在量词附加规则 (EG 规则 )本章重点：谓词与量词，公式与解释，前束范式，谓词逻辑推理证明。二、学习辅导在命题逻辑中，我们把原子命题作为基本研究单位，对原子命题不再进行分解，只有复合命题才可以分解，揭示了一些有效的推理过程. 但是进一步研究发现，仅有命题逻辑是无法把一些常见的推理形式包括进去. 例如“凡人要死，张三是人，张三要死”显然是正确推理. 用命题逻辑解释三段式. 设P：人要死；Q 张三是人；R ：张三要死。表示成复合命题有PQR这不是重言式，即 R 不是前提 P，Q 的有效结论. 这反映
3、了命题逻辑的局限性，其原因是把本来有内在联系的命题 P，Q，R ，视为独立的命题。要反映这种内在联系，就要对命题逻辑进行分析，分析出其中的个体词、谓词和量词，再研究它们之间的逻辑关系，总结出正确的推理形式和规则，这就是谓词逻辑的研究内容。1. 谓词与量词学习这一部分要反复理解谓词和量词引入的意义，概念的含义。在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的客体，它可以是具体事物或抽象的概念，如小张，房子，南京，大米，思想，实数 2 等等。谓词是用来刻划个体词的性质或事物之间的关系的词。例如(1) (1) ln5 是无理数；(2) (2) 高可比李木相高 4cm；(3) 郑州位于
4、北京和广州之间。这时三个简单命题，其中 ln5，高可，李木相，郑州，北京，广州等都是个体词，而“是无理数” ， “比高 4cm”， “位于和之间”等都是谓词。个体词分个体常项(用 a,b,c,d,表示) 和个体变项(用 x,y,z,表示) ；谓词分谓词常项(表示具体性质和关系的词)和谓词变项 (表示抽象的或泛指的谓词 )，用 F,G,P,表示。个体常项 a 和个体变项都具有性质 F，记作 F(a)或 F(x);个体常项 a,与 b 或个体变项 x与 y 具有关系 L,记作 L(a,b)或 L(x,y)。一般地，用 F(a)表示 a 是无理数，其中 a 表示ln5，F 表示的是“是无理数” 。当
5、 F 的含义不变时，则 F(x)表示 x 是无理数，x 是个体变项，F 谓词常项，F( x)不是命题，而是命题变项，F( a)是命题。用 M(x,y,z)表示“z= xy”，M(x,y,z)不是命题。a 表示 3，b 表示 5，c 表示 15，M(a,b,c)表示“1535” 。M (a,b,c)是命题，真值为 1，若 c=12，那么 M(a,b,c)是命题，真值为 0。注意，单独的个体词和谓词不能构成命题，将个体词和谓词分开不是命题。例 2.1 将下列命题符号化：(1) 丘华和李兵都是学生；(2) 2 既是偶数又是素数；(3) 如果张华比黎明高，黎明比王宏高，则张华比王宏高。解 (1) 设个
6、体域是人的集合。 P(x)：:x 是学生。a：丘华b：黎兵该命题符号化为 P(a)P(b)(2) 设个体域为正整数集合 N 。F(x)：x 是偶数，Q(x)：x 是素数a：2该命题符号化为 F(a)Q(a)(3) (3) 设个体域是人的集合。G(x,y)：x 比 y 高。a：张华b：黎明c：王宏该命题符号化为 G(a,b)G(b,c)G(a,c)量词是在命题中表示数量的词，量词有两类：全称量词，表示“所有的”或“每一个” ；存在量词，表示“存在某个”或“至少有一个” 。例 2.2 将下列命题符号化(1) (1) 每个母亲都爱自己的孩子；(2) 所有的人都呼吸；(3) 有某些实数是有理数。解 (
7、1) 设个体域是所有母亲的集合。M(x)：x 表示爱自己的孩子；该命题符号化为xM(x)。(2) 设个体域为人的集合。H(x)：x 表示要呼吸。该命题符号化为xH(x)或设个体域为生物集合，M(x)：x 是人。H(x)：x 表示要呼吸。该命题符号化为x(M(x)H(x)(3) 设个体域为数的集合。R(x)：x 表示实数Q(x)：x 表示有理数。该命题符号化x(R(x)Q(x)。在谓词逻辑，使用量词应注意以下几点：(1) (1) 在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变。(2) (2) 在考虑命题符号化时，如果对个体域未作说明，一律使用全个体域。 (3) (3) 多个量词
8、出现时，不能随意颠倒它们的顺序，否则可能会改变命题的涵义。2. 公式与解释学习这一部分内容要侧重于能将谓词逻辑公式表达式中，量词消除写成与之等值的公式，然后将解释中的数值代入，求出真值，并着重理解在谓词和量词的作用下变元的自由性、约束性和更名规则、代入规则等。我们将命题常数 0，1，一个命题和命题变元以及一个命题函数 P(x1,x2,xn)，统称原子公式，由原子公式、联结词和量词可构成谓词公式(严格定义见教材) 。命题的符号化结果都是谓词公式，例如x(F(x)G(x)，x(F(x) G(x)，x y(F(x)F(y)L(x,y)H(x,y)等都是谓词公式，当然x(F(x)G(x,y),x(F(
9、x) G(x,y)等也是谓词公式。在谓词公式xA 和xA 中，x 是指导变元，A 是相应量词的辖域。在x 和x 的辖域A 中，x 的所有出现都是约束出现，即 x 是约束变元，不是约束出现的变元，就是自由变元。也就是说，量词后面的式子是辖域。量词只对辖域内的同一变元有效。例 2.3 指出下列公式中量词的每次出现的辖域，并指出变元的每次出现是约束出现，还是自由出现，以及公式的约束变元，自由变元。(1) ),(),(),(yxHzyLxRy(2) QPP解 (1) 在公式 ),(),(),(yxzyxy中， x 只有一次出现，辖域是),(),(zLyxR；y 只有一次出现，辖域是 ),(zLR；x
10、只有一次出现，辖域是 H(x,y)。变元 x 在公式 ),(),(yHzyx中有四次出现，其中第一次出现是在x 中的出现，是约束出现；第二次出现是在 x 的辖域中的出现，也是约束出现；第三次出现是在x 中的出现，也是约束出现；第四次出现是在x 的辖域中的出现，也是约束出现。这四次出现都是约束出现，所以 x 是该公式的约束变元。不是它的自由变元。变元 y 在公式 ),(),(),(yzyLRy中有四次出现。其中第一次是在y 中的出现，是约束出现；第二次出现和第三次出现是在 y 的辖域中的出现，也是约束出现；第四次出现是自由出现。Y 在该公式中有三次约束出现，一次自由出现，因此变元 y 既是该公式
11、的约束变元，也是自由变元。变元 z 在该公式),(),(),(yxHzyLxR中只有一次自由出现，所以 z 是该公式的自由变元，约束也是变元。(2) 在公式 )()( xQPxPx中，x 有二次出现，其第一次出现的辖域是 )(Q；其第二次出现的辖域是 。变元 x 在公式)()xxx中有六次出现，其中第一次出现和第四次出现是在x 中的出现，是约束出现；第二次出现和第三次出现是在 x 的第一次出现的辖域中的出现，是约束出现，第五次出现是在x 的第二次出现的辖域中的出现，也是约束出现；x 的第六次出现是自由出现。变元 x 在该公式中五次约束出现，一次自由出现。因此变元 x 既是该公式的约束变元，也是
12、自由变元。从例 3 看到，同一个个体变项，在同一个公式中，既可以是约束出现，也可以是自由出现，这种情况有时会造成一些混淆，带来不变。要改变这种情况，使一个个体变项在同一个公式中不同时既是约束出现，又是自由出现，采取换名规则或代入规则。换名规则，就是把公式中量词的指导变元及其该量词的辖域中的该变元换成该公式中没有出现的个体变元，公式的其余部分不变。代入规则，就是把公式中的某一自由变元，用该公式中没有出现的个体变元符号替代，且要把该公式中所有的该自由变元都换成新引入的该符号。如例 3(1)中，变元 y 既是约束出现，又是自由出现，把约束变元 y 换名为 u.。于是原公式换为),(),(),(yxH
13、zuLxRu也可以将自由变元 y 代换为 t，原公式变为 ),(),(),(t都是与原公式等值的。 例 3(2)中，原公式换为 )()( tQuPxQPx是与原公式等值的，且个体变元符号不再相同。谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题。所谓解释就是使公式中的每一个变项都有个体域中的元素相对应。解释有四部分组成：(1) 非空个体域 D；(2) D 中有一部分特定元素，用来解释个体常项；(3) D 上一些特定函数，用来解释出现的函数变项； (4) D 上一些特定谓词，用来解释谓词变项。例 2.4 给定解释 I： D2,3; D 中特定元素 a
14、=2； 函数为 2)3(,)2(ff 谓词 F(x)为 F(2)=0,F(3)=1G(x,y)为 G(2,2)=G(2,3)=G(3,2)=0,G(3,3)=1L(x,y)为 L(2,2)=L(3,3)=1,L(2,3)=L(3,2)=0求在解释 I 下各公式的真值。(1) ),()axGF;(2) (ff；(3) ),yxL；(4) (。解 设所求四个公式分别记作 A，B，C，D。有 0)01( )2,3()()2,)1( GFFaxGFx1)0(1)2,3()()3,2)( )3(,(,)2( ffffffB1)10(),(,)2,3(,),(, ()3( LLLL yyyyxC0)()3
15、,(,2,32, ),()4( xxyxD由例 4 的(3)，(4) 可知，量词的次序不能随便颠倒。和命题逻辑一样，在谓词逻辑中，有的公式在任何解释下都真，也有的公式在任何解释下都假。以此，把公式分为三类：在任何解释下公式 A 为真，或者公式 A 的真值表全为1，这就是永真式；在任何解释下公式 A 为假，或者公式 A 的真值表全为 0，这就是永假式；公式 A 不总是假，或者公式 A 的真值表至少有一个 1，这就是可满足式。由此可见，永真式也是可满足式。一般地，判定一个公式是不是可满足式，还没有一定的算法。但是，可以证明，重言式的代换实例一定是永真式。而矛盾式的代换实例均为矛盾式。例 2.5 讨
16、论下列公式的类型：(1) )()(xFx;(2) ),(,yy证明 设(1)，(2) 的公式分别记作 A，B。(1) 设 I 为任意一个解释，其个体域为 D，若存在 x0,使得 F(x0)为假，则)(xF为假，从而 A 为真。若对于任意的 x,F(x)均为真。则 (F与 (x都为真。从而 A 也为真。故在解释 I 下 A 为真。由于 I 的任意性，所以 A 是永真式。(2) (2) 取解释 I 如下：个体域仍为自然数集， F(x,y)：x y。 在 I 下，B 的前、后件均为真。所以 B 为真，这说明 B 不是是矛盾式；再取解释 I：个体域认为 N。 F(x,y)：x=y。在解释 I下， B
17、的前件为真，后件为假。故 B 为假，这又说明 B 不是永真式。综上所述，B 是非永真式的可满足式。3. 前束范式一个谓词公式的前束范式，仍然是谓词公式，只是把谓词公式的所有量词均提到公式的开头，而且它的辖域一直延伸到公式的末尾。如若一个谓词公式 F 等值地转化成BxQk.21那么 x就是谓词公式 F 的前束范式，其中 Q1，Q 2，Q k只能是 或，而 x1,x2,xk是个体变元， B 是不含量词的谓词公式。如 ),()(),()()( zyxGFxzyxHyGFy 等是前束范式，而 ),()()(),()()( Hyx等不是前束范式，因为没有把所有量词放到公式的开头。每个谓词公式 F 都可以
18、变换成与它等值的前束范式。其步骤如下： 消去联结词， ； 将联结词 向内深入，使之只作用于原子谓词公式； 利用换名或代入规则使所有约束变元的符号均不同，并且自由变元与约束变元的符号也不同； 利用量词辖域的扩张和收缩律，扩大量词的辖域至整个公式； 利用分配律将公式化为前束范式。例 2.6 将公式 F ),()(),()( zyDyCxBAx化为前束范式。解 消去联结词，；),()(),()( zyyxxF 将联结词 深入至原子公式),()(),()( zyDCyxBAx 换名 ),()(),()(tF 把量词提到整个公式的前面),(),()( zyDtCyxBAztxF为所求前束范式。重要的是弄
19、清楚前束范式的定义，求前束范式主要是利用基本等值式、蕴含式和换名规则，把一个谓词公式化为前束范式，虽然前束范式是谓词公式的一种标准形式，但是一般一个谓词公式的前束范式并不是唯一的。4.谓词逻辑的推理理论谓词演算的推理是命题演算推理的推广和扩充，命题演算中的一些规则，如基本等值公式，重言蕴含式以及 P，T，CP 规则在谓词演算中仍然使用。但是在谓词演算推理中，某些前提和结论可能受到量词的限制，为了使用这些推理，必须在推理过程中，有消去和附加量词的规则，即 US 规则( 全称量词消去规则)，UG 规则(全称量词附加规则) ，ES 规则(存在量词消去规则)，EG 规则( 存在量词附加规则)等，以便使
20、谓词演算公式的推理过程可类似于命题演算的推理进行。例 2.7 试证 )()( PSRQP证明 方法 1 等值演算法。要证明 )()()(P，只需证明SRP的真值是 1。证 )()()(Q ),()()()()( ,) )(64279816EPSRPRPES),(1 ),()( ,154 42614210EESQ方法 2形式证明。 (PQ)R P RP CP (PQ)P ,I 13假言三段式 (P Q)P ,E 16 (PQ) P ,E 8,E9,E1 P ,E 14SP ,I 6 )()(SR ,CP例 2.8 证明： )()(xBxA )(xBA证明 前提：结论： )(xx(1) )(BA
21、附加前提(2) (xx (1) ,T,E(3) )(c (2),ES(4) A(c) (3),T,E(5) B(c) (3),T,E(6) x (4),EG(7) )()( P(8) xB (6),(7),T,E(9) B(c) (8),US(10) )(c (5),(9)矛盾式三、举例例 1 谓词公式 )()()(xQyRxP中量词x 的辖域是( )(A) )(yx (B) P(x) (C) )yR (D) )(,xQP答案：(C)解答：x 后面的公式是 )()(y。故应选择(C)。例 2 设个体域为整数集，下列公式中其值为 1 的是( )(A) )0(yx (B) )0(yx(C) (D)
22、 答案：(A)解答：任意一个整数 x，都能找到 yx，有 x+y=0,故(A) 式是永真式。例 3 设 L(x)：x 是演员， J(x)：x 是老师，A(x,y)：x 佩服 y。那么命题“所有演员都佩服某些老师”符号化为( )(A) ),()yxAxL (B) ),()()(yxAJyxL (C) ),(Jy (D) 答案：(D)解答：将命题符号化为“ ),()(yxAJxLy”，故应选择(D) 。注意：符号化为“ ),)()(AyJxL”是不对的，它的意义是所有演员和某些老师，x佩服 y。例 4 在谓词演算中，P(a)是 )(xP的有效结论，根据是 ( )(A)US 规则 (B) UG 规则
23、 (C)ES 规则 (D)EG 规则答案：(A) 解答：全称量词消去规则的定义为 )(cAx，即 A(c)是 )(xA的有效结论。故应选择(A)。例 5 公式 )(,(),()( xSzyRxQPx的自由变元是 , 约束变元是 。答案：y,x ; x,z解答：x 的辖域是 ),()yx故 x 是约束出现，y 是自由出现， z的辖域是),(zyR，故 z 是约束出现，y 是自由出现，而 S(x)中的 x 是自由出现。总之 y,x 是自由变元，x,z 是约束变元。例 6 谓词逻辑公式 )()(xQxP的前束范式是 。答案： )(x解答：求前束范式)()( xQPxP例 7 设个体域 Da,b,消去公式中的量词，则 )()(xQP 答案： )()(babaP解答：由x 和x 真值的定义， )()()( bQabPaQP例 8 换名规则施于 变元，代入规则施于 变元答案：约束；自由解答：见换名规则和代入规则的定义。
