吉林大学离散数学结构(Ⅰ)3-谓词逻辑.pptVIP

第三章 谓词逻辑 第三章 谓词逻辑 §3.1 谓词逻辑的基本概念 §3.2 谓词公式 §3.3 谓词公式的等价关系和蕴涵关系 §3.4 范式 §3.5 例 §3.6 谓词逻辑的应用 §3.1 谓词逻辑的基本概念 §3.1.1 谓词和量词 很多思维过程不能用命题逻辑表达出来。 例如： 逻辑学中著名的三段论： 凡人必死 张三是人 张三必死 在命题逻辑中就无法表示这种推理过程。 §3.1.1 谓词和量词 因为：如果用P代表 “凡人必死”这个命题，Q代表 “张三是人”这个命题，R代表 “张三必死”这个命题，则按照三段论，R应该是P和Q的逻辑结果。 但是，在命题逻辑中，R却不是P和Q的逻辑结果，因为公式 P?Q?R显然不是恒真的，解释{P，Q，?R}就能弄假上面的公式。 定义3.1.1 个体 定义3.1.1 可以独立存在的物体称为个体。(它可以是抽象的，也可以是具体的。) 如人、学生、桌子、自然数等都可以做个体。在谓词演算中，个体通常在一个命题里表示思维对象。 定义3.1.2 谓词 定义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(张三，李四)就是命题： “张三高于李四”。随便将x，y代以确定的个体，由G(x, y)都能得到一个命题。但是，G(x, y)不是命题，而是一个命题函数即谓词。 例： 令R(x, y, z)表示x+y=z，命题R(1, 2, 3)和R(0, 0, 1)的真值是什么？ 解：在语句R(x, y, z)中令x=1, y=2, z=3，即得到命题R(1, 2, 3)。可以看出，R(1, 2, 3)即1+2=3，为真。 R(0, 0, 1)即0+0=1，为假。 §3.1.1 谓词和量词 用谓词的概念可将三段论做如下的符号化： 令H(x)表示 “x是人”，M(x)表示 “x必死”。 则三段论的三个命题表示如下：P： H(x)?M(x)Q： H(张三)R： M(张三) §3.1.1 谓词和量词 仅有谓词的概念是不够的。 例如：“命题”P的否定 “命题”，应该就是“命题”?P。但是，?P = ?(H(x)?M(x)) = ?(?H(x)?M(x)) =H(x)??M(x) 亦即，“命题”P的否定 “命题”是 “所有人都不死”。这和人们日常对命题 “所有人都必死”的否定的理解，相差得实在太远了。 §3.1.1 谓词和量词 原因在于：命题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))亦即 “有一个人是不死的”。这个命题确实是 “所有人都要死”的否定。 §3.1.1 谓词和量词 三段论的三个命题，在谓词逻辑中是如下这样表示的： P：?x(H(x)?M(x)) Q：H(张三) R：M(张三) 以后可以证明：在谓词逻辑中，R是P和Q的逻辑结果。 例1： 考虑以下论证的谓词表示。 “所有狮子都是凶猛的。” “有些狮子不喝咖啡。” “有些凶猛的动物不喝咖啡。” 令P(x)、Q(x)、R(x)分别表示“x是狮子”，“x是凶猛的”，“x喝咖啡”。所有动物为论域。 ?x(P(x)?Q(x)) ?x(P(x)??R(x)) ?x(Q(x)??R(x)) 例2： 考虑以下论证的谓词表示。 “所有蜂鸟都五彩斑斓。” “没有大鸟以蜜为生。” “不以蜜为生的鸟都色彩单调。” “蜂鸟都是小鸟。” 令P(x)、Q(x)、R(x)、S(x)分别表示语句“x是蜂鸟”，“x是大鸟”，“x以蜜为生”，“x色彩斑斓”。所有鸟为论域。 ?x(P(x)?S(x)) ?(?x(Q(x)?R(x))) ?x(?R(x)??S(x)) ?x(P(x)??Q(x)) 例