离散数学谓词逻辑ou.pptVIP

第三章 谓词逻辑 第三章 谓词逻辑 §3.1 谓词逻辑的基本概念 §3.2 谓词公式 §3.3 谓词公式的等价关系和蕴涵关系 §3.4 范式 §3.5 例 §3.6 谓词逻辑的应用 §3.1 谓词逻辑的基本概念 命题逻辑的缺陷 把问题看成一个个孤立的命题，忽略了问题之间的联系，不能反映某些重要的常见的逻辑思维过程。 1 繁琐 例.表述集合个体性质及相互关系 S={1,2,…,50} 表述S中元素大于3这样一个性质，需要 13,23,…,503等50个命题。 2 不能描述问题间的逻辑联系 例如，逻辑学中著名的三段论： P：凡人必死 Q：张三是人 R：张三必死 在命题逻辑中： 应该有(P?Q) ?R，从而公式(P?Q)?R应该是恒真的。 显然该公式不是恒真的，解释{P，Q，?R}就能弄假该公式。 原因：命题R是和命题P, Q有关系的，只是这种关系在命题逻辑中无法表示。 因此，需要对命题的成分、结构和命题间的共同特性等作进一步的分析，这正是谓词逻辑所要研究的问题。 为了表示出这三个命题的内在关系，需要引进谓词的概念。 例如，在前面的例子“张三是人”中的“是人”是谓语，称为谓词，“张三”是主语，称为个体。 1 谓词：个体 定义3.1.1 可以独立存在的物体称为个体。（它可以是抽象的，也可以是具体的。） 如人、学生、桌子、自然数等都可以做个体。在谓词演算中，个体通常指一个命题里的思维对象。 1 谓词 定义3.1.2 设D是非空个体名称集合，定义在Dn上取值于{1，0}上的n元函数，称为n元命题函数或n元谓词。其中Dn表示集合D的n次笛卡尔乘积。 一般地，一元谓词描述个体的性质，二元或多元谓词描述两个或多个个体间的关系。0元谓词中无个体，理解为就是命题，这样，谓词逻辑包括命题逻辑。 例：令G(x，y)： “x高于y”， G(x，y)是一个二元谓词。 将x代以个体 “张三”，y代以个体 “李四”，则G(张三，李四)就是命题： “张三高于李四”。 G(x，y)不是命题，而是一个命题函数即谓词。 随便将x，y代以确定的个体，由G(x，y)都能得到一个命题。 例.D={2,3,4} 设P(x)：x大于3，则P(x)为一元谓词。 指定元素--命题：P(2)=0, P(3)=0, P(4)=1 设P(x,y)：x大于y,则P(x,y)为二元谓词。 指定元素--命题：P(2,3)=0, P(4,2)=1 设P(x,y,z)：若x+y-1=z，则P(x,y,z)为1，否则为0 。则P(x,y,z)为三元谓词。 指定元素--命题：P(2,3,4)=1,P(4,2,2)=0 例.用谓词的概念可将三段论做如下的符号化： 令H(x)表示 “x是人”，M(x)表示 “x必死”。 则三段论的三个命题表示如下：P： H(x)?M(x)Q： H(张三)R： M(张三) 2 量词 若想得到 “命题”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”。 2 量词 定义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的逻辑结果。 例.将下列命题符号化： １)一切事物都是发展变化的　 ?x F(x) 其中F(x)：x是发展变化的 ２)存在着会说话的机器人 ?x(F(x)?G(x)) 其中F(x)：x会说话 G(x): x是机器人 如果没有明确给出个体域，则认为个体域 为一切事物。 3) 每个软件学院的学生都学离散数学。 D：全校学生集合 P(x)：x是软件学院的学生 R(x): x学离散数学 ?x(P(x) →R(x)) 4）存在