离散数学CH03-谓词逻辑.pptVIP

离散数学

DiscreteMathematics;在命题逻辑〔Ls〕中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为根本单位的复合命题之间的逻辑关系和推理，而无法解决与命题的结构和成分有关的推理问题。所以，有些推理用命题逻辑就难以确切地表示出来。;例如，著名的苏格拉底三段论：

所有的人都是要死的，

苏格拉底是人，

所以苏格拉底是要死的。

根据常识，认为这个推理是正确的。但是，假设用命题逻辑来表示，设P、Q和R分别表示这三个原子命题，那么有P，Q?R;然而，(P∧Q)→R并不是永真式，故上述推理形式又是错误的。一个推理，得出矛盾的结论，问题在哪里呢?问题就在于这类推理中，各命题之间的逻辑关系不是表达在原子命题之间，而是表达在构成原子命题的内部成分之间，即表达在命题结构的更深层次上。对此，Ls是无能为力的。所以，在研究某些推理时，有必要对原子命题作进一步分析，分析出其中的个体词，谓词和量词，研究它们的形式结构的逻辑关系、正确的推理形式和规那么，这些正是谓词逻辑〔简称为Lp〕的根本内容。;谓词逻辑研究内容;内容提要;内容提要;在谓词逻辑中，命题是具有真假意义的陈述句。从语法上分析，一个陈述句由主语和谓语两局部组成。在谓词逻辑中，为揭示命题内部结构及其不同命题的内部结构关系，就按照这两局部对命题进行分析，并且把主语称为个体或客体，把谓语称为谓词。;１.个体、谓词和命题的谓词形式

定义在原子命题中，所描述的对象称为

个体；用以描述个体的性质或个体间关系的局部

，称为谓词。;3.1个体、谓词和量词;(4)谓词，当与一个个体相联系时，它刻划了个体性

质；当与两个或两个以上个体相联系时，它刻划了个体

之间的关系。

表示特定谓词，称为谓词常元，表示不确定的谓词,

称为谓词变元，都用大写英文字母，如P，Q，R,…,或

其带上、下标来表示。

在本课程中，不对谓词变元作更多地讨论(即默认以

后本课程中遇到的谓词都是谓词常元)。;例:(1)张明是位大学生.

个体：张明；

谓词：是位大学生。

(2)武汉位于北京和广州之间.

个体：武汉、北京、广州；

谓词：…位于…和…之间。;例如，在命题“张明是位大学生”中，“张明”是个体，“是位大学生”是谓词，它刻划了“张明”的性质。设S：是位大学生，c：张明，那么“张明是位大学生”可表示为S(c)，或者写成S(c)：张明是位大学生。又如，在命题“武汉位于北京和广州之间”中，武汉、北京和广州是三个个体，而“…位于…和…之间”是谓词，它刻划了武汉、北京和广州之间的关系。设P：…位于…和…之间，a：武汉，b：北京，c：广州，那么P(a，b，c)：武汉位于北京和广州之间。;定义一个原子命题用一个谓词(如P)和n个有次序的个体常元(如a1，a2，…，an)表示成P(a1，a2，…，an)，称它为该原子命题的谓词形式或命题的谓词形式。

注意:命题的谓词形式中的个体出现的次序影响命题的真值，不是随意变动，否那么真值会有变化。如上述例子中，P(b,a,c)是假。;例：写出以下命题的谓词形式。

(1)离散数学是计算机的根底课程;

令a：离散数学；P：…是计算机的根底课程，

(1)的谓词形式：P(a)

(2)大鱼吃小鱼。

令b:大鱼;c:小鱼;Q:…吃…，

那么〔2〕的谓词形式：Q(b,c);２.原子谓词公式

原子命题的谓词形式还可以进一步加以抽象，比方在谓词右侧的圆括号内的n个个体常元被替换成个体变元，如x1,x2,···,xn，这样便得了一种关于命题结构的新表达形式，称之为n元原子谓词。;定义由一个谓词(如P)和n个个体变元(如x1，x2，…，xn)组成的P(x1，x2，…，xn)，称为n元原子谓词或n元命题函数，简称n元谓词。;注2：一元谓词用以描述某一个个体的某种特性，而n元谓词那么用以描述n个个体之间的关系。

注3：具体命题的谓词表示形式和n元命题函数(n元谓词)是不同的，前者是有真值的，而后者不是命题，它的真值是不确定的。如上例中S(a)是有真值的，但S(x)却没有真值；;注4：n元谓词不是命题，只有其中的个体变元用个体常元替代时，才能成为一个命题。但个体变元在哪些论域取特定的值，对命题的真值极有影响。

例如，令S(x)：x是大学生。假设x的论域为某大学的计算机系中的全体同学，那么S(x)是真的；假设x的论域是某中学的全体学生，那么S(x)是假的；假设x的论域是某剧场中的观众，且观众中有大学生也有非大学生的其它观众，那么S(x)是真值是不确定的。;注5：通常，把一个n元谓词中的每个个体的论域综合在一起作为它的论域。当一个命题没有指明论域时，一般都将全总论域作为其论域。而这时又常常要采用一个谓词如P(x)来限制