离散数学新谓词逻辑重点.ppt

第二章 谓词逻辑 问题的提出：(即命题逻辑的局限性) 在第一章命题逻辑中,我们将命题即判断作为基本推理单位，用一个大写字母表示，而不再对命题的句子进行细分，这样就导致有一些逻辑问题无法解决。 请看下面的例子： 所有的人都是要死的，苏格拉底是人，所以苏格拉底也是要死的。 设： A：所有的人都是要死的 B：苏格拉底是人 C：苏格拉底也是要死的 该推理表示为： A，B ? C 这是著名的三段论推理，A是大前提，B是小前提，C是结论。 显然，这个推理是有效的，但是这个推理用命题逻辑是无法推证的。 为什么？ 因为命题A、B、C之间在句子内部是有联系的，而仅把命题表示成一个大写字母，就掩盖了这种联系。也就是说这种命题表示方式太粗了，我们必须加以细化，用另外的表示方式来表达命题。 命题是表达判断的陈述句，将其细分，也就是既表示出主语，宾语(若有的话)，也表示出谓语，这就提出了谓词的概念。 例：令S:是大学生，a:小张，b:小李 命题：小张是大学生 可表示成 S(a) 。 命题：小李是大学生 可表示成 S(b) 。 从符号S(a)、S(b)可看出小张和小李都是大学生的共性. S即是谓词 2-1 基本概念 一.客体与客体变元 定义：能够独立存在的事物，称之为客体，也称之为个体。它可以是具体的，也可以是抽象的事物。通常用小写英文字母 a、b、c、...表示。 例如：小张、小李、8、a、沈阳、社会主义等等都是客体。 定义：用以刻化客体的属性或者表达客体之间的关系的词，即为谓词。 一个命题用谓词后边加括号，括号内是若干个客体表示，如果括号内有n个客体，称该谓词为n元谓词。 例如：设 S：是大学生，a：小张 命题 小张是大学生表示为 S(a) 一元谓词 设 G:大于，命题 37 表示为G(3,7)。 二元谓词 设 B：表示…在…与…之间, 命题 点a在点b与点c之间表示为 B(a,b,c) 三元谓词 一般地 P(x1,x2,…,xn) 是n元谓词。 命题函数是一种映射关系, 是客体与命题之间的映射. 例如: a表示小张，b表示小李，则 S(a):小张是大学生。 S(b):小李是大学生。 S(x): x是大学生 Ｇ(7,3)表示:７３。 Ｇ(x,y)表示: x y。 命题函数本身并不是命题，只有在括号内填入足够的具体客体，或用足够的量词约束后才变成命题。 例如:命题函数B(x,y,z)：表示x在y与z之间，不是命题。 c表示锦州，d表示沈阳，e表示山海关，则B(c,d,e)表示：锦州在沈阳与山海关之间，是命题。 定义：n元谓词P(x1,x2,…,xn)称之为简单命题函数。 规定:当命题函数P(x1,x2,…,xn)中 n=0 时，即为0元谓词，表示不含有客体变元的谓词，它就是一个命题变元。 定义：将若干个简单命题函数用逻辑联结词联结起 来构成的表达式，称之为复合命题函数。简单命题函数与复合命题函数统称为命题函数。 例如给定简单命题函数： A(x)：x身体好， B(x)：x学习好， C(x)：x工作好， 复合命题函数 ?A(x)→(?B(x)∧?C(x)) 表示如果x身体不好，则x的学习与工作都不会好。 定义：在命题函数中命题变元的取值范围，称之为论域，也称之为个体域。 例如 S(x): x是大学生，论域是:人类。 G(x,y)：xy， 论域是:实数。 论域是一个集合。 定义：由所有客体构成的论域，称之为全总个体域。它是个“最大”的论域。 论域非常重要，对每个命题函数都应该指明论域 约定:对于一个命题函数，如果没有指明论域，则假定其论域是全总个体域。 例如：有些人是大学生。 所有事物都是发展变化的。 “有些”,“所有的”,就是对客体量化的词。 定义：在命题中，表示对客体量化的词，称之为量词。 定义了两种量词： (1).存在量词：记作?，表示“有些”、“一些”、 “某些”、“至少一个”等。 (2).全称量词：记作?，表示“每个”、“任何 一个”、“一切”、“所有的”、“凡是”、“任意 的”等。 指导变元：量词后边要有一个客体变元，指明对哪个客体变元进行量化，称此客体变元是指导变元。 如 ?x(读作“任意x”)，?x(读作“存在x”)，其中的x就是指导变元。 例题１.所有的自然数都是整数。 解1: 设 I(x)：x是整数，论域：{自然数}。 此命题可以写成 ?x(I(x))。 解2: 若没设论域,即论域为全总个体域， 则需用特性谓词加以限定. 设 N(x)：x是自然数(特性谓词),I(x)