离散数学第02章_谓词逻辑教材教学课件.pptVIP

第二章 谓词逻辑;所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 根据常识，认为这个推理是正确的。但是，若用Ls来表示，设P、Q和R分别表示这三个原子命题，则有 P，Q?R;然而，(P∧Q)→R并不是永真式，故上述推理形式又是错误的。一个推理，得出矛盾的结论，问题在哪里呢? 问题就在于这类推理中，各命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间，即体现在命题结构的更深层次上。对此，Ls是无能为力的。所以，在研究某些推理时，有必要对原子命题作进一步分析，分析出其中的个体词，谓词和量词，研究它们的形式结构的逻辑关系、正确的推理形式和规则，这些正是谓词逻辑（简称为Lp）的基本内容。;2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论 ;2.1 个体、谓词和量词;１.个体、谓词和命题的谓词形式 定义2.1.1 在原子命题中，所描述的对象称为个体；用以描述个体的性质或个体间关系的部分，称为谓词。 个体，是指可以独立存在的事物，它可以是具体的，也可以是抽象的，如张明，计算机，精神等。表示特定的个体，称为个体常元，以a，b，c…或带下标的ai，bi，ci…表示；表示不确定的个体，称为个体变元，以x，y，z…或xi，yi，zi…表示。 ;谓词，当与一个个体相联系时，它刻划了个体性质；当与两个或两个以上个体相联系时，它刻划了个体之间的关系。表示特定谓词，称为谓词常元，表示不确定的谓词，称为谓词变元，都用大写英文字母，如P，Q，R，…，或其带上、下标来表示。在本书中，不对谓词变元作更多地讨论。 ;对于给定的命题，当用表示其个体的小写字母和表示其谓词的大写字母来表示时，规定把小写字母写在大写字母右侧的圆括号( )内。例如，在命题“张明是位大学生”中，“张明”是个体，“是位大学生”是谓词，它刻划了“张明”的性质。设S：是位大学生，c：张明，则“张明是位大学生”可表示为S(c)，或者写成S(c)：张明是位大学生。又如，在命题“武汉位于北京和广州之间”中，武汉、北京和广州是三个个体，而“…位于…和…之间”是谓词，它刻划了武汉、北京和广州之间的关系。设P：…位于…和…之间，a：武汉，b：北京，c：广州，则P(a，b，c)：武汉位于北京和广州之间。 ;定义2.1.2 一个原子命题用一个谓词(如P)和n个有次序的个体常元(如a1，a2，…，an)表示成P(a1，a2，…，an)，称它为该原子命题的谓词形式或命题的谓词形式。 应注意的是，命题的谓词形式中的个体出现的次序影响命题的真值，不是随意变动，否则真值会有变化。如上述例子中，P(b,a,c)是假。 ;２.原子谓词公式 原子命题的谓词形式还可以进一步加以抽象，比如在谓词右侧的圆括号内的n个个体常元被替换成个体变元，如x1,x2,···,xn，这样便得了一种关于命题结构的新表达形式，称之为n元原子谓词。 定义2.1.3 由一个谓词(如P)和n个体变元(如x1，x2，…，xn)组成的P(x1，x2，…，xn)，称它为n元原子谓词或n元命题函数，简称n元谓词。而个体变元的论述范围，称为个体域或论域。 ;３.量词 利用n元谓词和它的论域概念，有时还是不能用符号来很准确地表达某些命题，例如S(x)表示x是大学生，而x的个体域为某单位的职工，那么S(x)可表示某单位职工都是大学生，也可表示某单位有一些职工是大学生，为了避免理解上的歧义，在Lp中，需要引入用以刻划“所有的”、“存在一些”等表示不同数量的词，即量词，其定义如下：;定义2.1.4 ①符号?称为全称量词符，用来表达“对所有的”、“每一个”、“对任何一个”、“一切”等词语；?x称为全称量词，称x为指导变元。 ②符号?称为存在量词符，用来表达“存在一些”、“至少有一个”、“对于一些”、“某个”等词语；?x称为存在量词，x称为指导变元。 ;③符号?!称为存在唯一量词符，用来表达“恰有一个”、“存在唯一”等词语；?!x称为存在唯一量词，称x为指导变元。 全称量词、存在量词、存在唯一量词统称量词。量词记号是由逻辑学家Fray引入的，有了量词之后，用逻辑符号表示命题的能力大大加强了。 ;例2.1.1 试用量词、谓词表示下列命题： ① 所有大学生都热爱祖国； ② 每个自然数都是实数； ③ 一些大学生有远大理想； ④ 有的自然数是素数。 ;解 令S(x)：x是大学生，L(x)：x热爱祖国，N(x)：x是自然数，R(x)：x是实数，I(x)：x有远大理想，P(x)：x是素数。 则例中各命题分别表示为： ①(?x)(S(x)?L(x)) ②(?x)(N(x)?R(x