定义31吉林大学网络教育学院.PPT

第三章 谓词逻辑 §3.1 谓词逻辑的基本概念 3.1.1 谓词和量词 命题逻辑研究的基本元素是命题。 命题是有真假意义的一句话，而 对这句话的结构和成分是不考虑 的。 因此，用这样简单的手段，很多思维过程不能在命题逻辑中表达出来。 例如，逻辑学中著名的三段论： 凡人必死 张三是人 张三必死 在命题逻辑中就无法表示这种推理过程。 因为，如果用P代表 “凡人必死” 这个命题，Q代表 “张三是人”这 个命题，R代表 “张三必死”这个 命题，则按照三段论，R应该是P 和Q的逻辑结果。但是，在命题 逻辑中， R却不是P和Q的逻辑结果，因为 公式 P?Q?R显然不是恒真的，解释 {P，Q，?R}就能弄假上面的公式。 发生这种情况的原因是：命题逻 辑中描述出来的三段论，即P?Q?R， 使R成为一个与P，Q无关的独立命题。 因此，取解释时，可将P，Q取真， R取假，从而弄假公式P?Q?R。 但是， 实际上命题R是和命题P，Q有关系的， 只是这种关系在命题逻辑中无法表示。因此，对 命题的成分、结构和命题间的共同特性等需要做 进一步的分析，这正是谓词逻辑所要研究的问题。 为了表示出这三个命题的内在关系，我们需要引 进谓词的概念。在谓词演算中，可将命题分解为 谓词与个体两部分。例如，在前面的例子“张三 是人”中的“是人”是谓语，称为谓词，“张三”是 主语，称为个体。 定义3.1.1 可以独立存在的物体称为 个体。（它可以是抽象的，也可以是 具体的。） 如人、学生、桌子、自然数等都可以 做个体。在谓词演算中，个体通常在 一个命题里表示思维对象。 定义3.1.2 设D是非空个体名称集合，定义在Dn 上取值于{1，0}上的n元函数，称为n元命题函数 或n元谓词。其中Dn表示集合D的n次笛卡尔乘积。 一般地，一元谓词描述个体的性质，二元或多元 谓词描述两个或多个个体间的关系。0元谓词中 无个体，理解为就是命题，这样，谓词逻辑包括 命题逻辑。 于是，用谓词的概念可将三段论 做如下的符号化： 令 H(x)表示 “x是人”， M(x)表示 “x必死”。 则三段论的三个命题表示如下： P： H(x)?M(x) Q： H(张三) R： M(张三) 那么，在命题逻辑的基础上，仅仅引进 谓词的概念是否就可以了呢?下面的例子 说明，仅有谓词还是不够的。例如我们 想得到 “命题”P的否定 “命题”，应该就 是“命题”?P。 但是， ?P=?(H(x)?M(x)) =?(?H(x)?M(x)) =H(x)??M(x) 亦即，“命题”P的否定 “命题”是 “所有人都不死”。这和人们日 常对命题 “所有人都必死”的否 定的理解，相差得实在太远了。其原因在于，命题P的确切意思应该是： “对任意x，如果x是人，则x必死”。 但是 H(x)?M(x)中并没有确切的表示出 “对任意x”这个意思，亦即H(x)?M(x)不是一个命题。因此，在谓词逻辑中除引进谓词外，还需要引进 “对任意x”这个语句，及其对偶的语句 “存在一个x”。 定义3.1.3 语句 “对任意x”称为 全称量词，记以?x；语句 “存在 一个x”称为存在量词，记以 ?x。 这时，命题P就可确切地符号化如下： ?x(H(x)?M(x)) ? 命题P的否定命题为： ?P=?(?x(H(x)?M(x))) =?x(H(x)??M(x)) 亦即 “有一个人是不死的”。这个命题确实是 “所有人都要死”的否定。 有了谓词和量词的概念，就可以 建立起谓词逻辑了。三段论的三 个命题，在谓词逻辑中是如下这 样表示的： P：?x(H(x)?M(x)) Q：H(张三) R：M(张三) 以后可以证明：在谓词逻辑中，R是P和Q的逻辑结果。 设G(x)是一元谓词，任取x0?D， 则G(x0)是一个命题。于是?xG(x) 是这样一个命题 “对任意x?D， 都有G(x)”。故对命题?xG(x)的 真值做如下规定是自然的。 ?xG(x)取1值?对任意x?D，G(x)都取1值； ?xG(x)取0值?有一个x0?D,使G(x0)取0值。 类似地，?xG(x)是命题 “存在一个x0?D， 使得G(x0)成立”。对命题?xG(x)的真值规 定如下： ?xG(x)取1值?有一个x0?D,使G(x0)取1值； ?xG(x)取0值?对所有x?D，G(x)都取0值。 对于一个谓词，如果其中每 一个变量都在一个量词作用 之下。则它就不再是命题函 数，而是一个命题了。但是， 这种命题和命题逻辑中的命 题毕竟有所不同。因为终归这种命 题里还有变量，当然这种变量和命题函数中的变量还有区别。因此，使用量词时应注意以下几个