计算机数学基础上辅导.DOCVIP

《计算机数学基础(上)》辅导(2) ((谓词逻辑 本章重点：谓词与量词，公式与解释，前束范式，谓词逻辑推理证明. 一、重点内容 1. 谓词与量词 (谓词，在谓词逻辑中，原子命题分解成个体词和谓词. 个体词是可以独立存在的客体，它可以是具体事物或抽象的概念. 谓词是用来刻划个体词的性质或事物之间的关系的词. 个体词分个体常项(用a,b,c,d,…表示)和个体变项(用x,y,z,…表示)；谓词分谓词常项(表示具体性质和关系的词)和谓词变项(表示抽象的或泛指的谓词)，用F,G,P,…表示. 注意，单独的个体词和谓词不能构成命题，将个体词和谓词分开不是命题. (量词，是在命题中表示数量的词，量词有两类：全称量词(，表示“所有的”或“每一个”；存在量词(，表示“存在某个”或“至少有一个”. 在谓词逻辑中，使用量词应注意以下几点： 在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变. 在考虑命题符号化时，如果对个体域未作说明，一律使用全个体域. 多个量词出现时，不能随意颠倒它们的顺序，否则可能会改变命题的涵义. 谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题. 所谓解释就是使公式中的每一个变项都有个体域中的元素相对应. 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))等都是谓词公式. (变元与辖域，在谓词公式(xA和(xA中，x是指导变元，A是相应量词的辖域. 在(x和(x的辖域A中，x的所有出现都是约束出现，即x是约束变元，不是约束出现的变元，就是自由变元. 也就是说，量词后面的式子是辖域. 量词只对辖域内的同一变元有效. (换名规则，就是把公式中量词的指导变元及其该量词的辖域中的该变元换成该公式中没有出现的个体变元，公式的其余部分不变. (代入规则，就是把公式中的某一自由变元，用该公式中没有出现的个体变元符号替代，且要把该公式中所有的该自由变元都换成新引入的该符号. (解释(赋值)，谓词公式的个体域D是非空集合， (1) 每一个常项指定D中一个元素； (2) 每一个n元函数指定Dn到D的一个函数； (3) 每一个n元谓词指定Dn到{0,1}的一个谓词. (谓词公式分类，在任何解释下，谓词公式A取真值1，公式A为逻辑有效式(永真式)；在任何解释下谓词公式A取真值0，公式A为永假式；至少有一个解释是公式A取真值1，公式A称为可满足式。 3. 前束范式 一个谓词公式的前束范式，仍然是谓词公式. 若一个谓词公式F等值地转化成 那么就是F的前束范式，其中Q1，Q2，…，Qk只能是(或(，而x1,x2,…,xk是个体变元，B是不含量词的谓词公式. 每个谓词公式F都可以变换成与它等值的前束范式. 其步骤如下： ① 消去联结词(，(，((； ② 将联结词(移至原子谓词公式之前； ③ 利用换名或代入规则使所有约束变元的符号均不同，并且自由变元与约束变元的符号也不同； ④将(x,(x移至整个公式最左边； ⑤ 将公式化为前束范式. 4.谓词逻辑的推理理论 谓词演算的推理是命题演算推理的推广和扩充，命题演算中的一些规则，如基本等值公式，重言蕴含式以及P，T，CP规则在谓词演算中仍然使用. 在谓词演算推理中，某些前提和结论可能受到量词的限制，为了使用这些推理，引入消去和附加量词的规则，有US规则(全称量词消去规则)，UG规则(全称量词附加规则)，ES规则(存在量词消去规则)，EG规则(存在量词附加规则)等，以便使谓词演算公式的推理过程可类似于命题演算的推理进行. 二、实例 例2.1 将下列命题符号化： 每个母亲都爱自己的孩子； (2) 所有的人都呼吸； (3) 有某些实数是有理数. 解 (1) 设个体域是所有母亲的集合. M(x)：x表示爱自己的孩子； 该命题符号化为(xM(x). (2) 设个体域为人的集合. H(x)：x表示要呼吸. 该命题符号化为(xH(x) 或设个体域为生物集合， M(x)：x是人. H(x)：x表示要呼吸. 该命题符号化为(x(M(x)(H(x)) (3)