中国矿业大学（徐州）离散数学课件-第2章.pdfVIP

《离散数学》 第二章 谓词逻辑 问题的提出： 所有的金属都导电，铜是金属，所以铜导电。 设： A ：所有的金属都导电。 B ：铜是金属。 C ：铜导电。 该推理符号化为：A ，B  C 这是著名的三段论推理，A是大前提，B是小前 提，C是结论。显然，这个推理是有效的，但是这个 推理用命题逻辑是无法推证的。 为什么？ 因为命题A 、B、C 在句子内部是有联系的，而 仅把命题表示成一个大写字母，就掩盖了这种联系。 也就是说一个命题仅用一个大写字母表示的方式太粗 了，我们必须加以细化，用另外的表示方式来表达命 题。 命题是表达判断的陈述句，将其细分，表达出主 语、谓语及宾语(若有的话) ，而一个句子中“谓语” 最重要，这就提出了谓词的概念。 第1节 基本概念 一、个体 能够独立存在的具体或抽象的事物，称之 为个体，也称之为客体。通常用小写英文字母 a 、b、c、... 表示。 例如：小张，小李，8，a，沈阳，社会主 义等等都是客体。 个体常项：具体的或特定的个体。 常用a，b，c，…等小写字母表示。 个体变元：泛指某一个个体。 常用x ，y ，z ，…等小写字母表示。 二、谓词 用以刻化个体属性或者表达个体之间关系的 词，即为谓词。 谓词用大写字母表示。 例：令S ：是大学生，a ：小张，b ：小李 命题：小张是大学生 可表示成S(a)。 命题：小李是大学生 可表示成S(b)。 从符号S(a) 、S(b) 可看出小张和小李都是大 学生的共性。 S 即是谓词 设G ：大于，命题37 表示为G(3,7)。 设B ：表示…在…与…之间， 命题点a 在点b 与点c 之间表示为B(a,b,c) 一个命题若其中个体是个体常项，则该命题用谓词 后边加括号，括号内是若干个体表示。 谓词也有常项与变项之分。 表示具体性质与关系的谓词称为谓词常项。 泛指某一性质或关系的谓词称为谓词变项。 一般地，含有n(n0)个个体变元x ,x ,…,x 1 2 n 的谓词P 称为n 元谓词，记作P(x ,x ,…,x )。 1 2 n 当n=1，P(x) 表示x 具有性质P； 当n1，P(x ,x ,…,x ) 表示x ,x ,…,x 具有 1 2 n 1 2 n 关系P； 约定： ❖ 将不带个体变元的谓词称为0 元谓词。 例如，S(a)，G(3,7) 等。 ❖ 当谓词是常项时，0 元谓词是命题；否则 当谓词是变项时，0 元谓词是命题变元。 三、命题函数 含有n 个变元的命题函数是以个体域为定义域， 以{ F,T } 为值域的n 元函数。 例：A(x) ：x身体好。 G(x, y) ：x y 。 B(x, y, z) ：点x 在点y 与点z 之间。 这些都是命题函数。 例：若 A(x) ：x 身体好。 B(x) ：x 学习好。 C(x) ：x 工作好。 A(x)→(B(x)∧C(x)) 表示：如果x 身体不 好，则x 的学习与工作都不会好。 这也是命题函数 。 注意：命题函数本身并不是命题，只有在括号 内填入足够的具体客体，或用足够的量词约束 后才变成命题。 例：B(x,y,z) ：x 在y 与z 之间，是命题函数， 不是命题。 c ：锦州，d ：沈阳，e ：山海关， 则B(c,d,e) 表示：锦州在沈阳与山海关之间， 是命题。 四、个体域 个体变元的取值范围，称之为个体域，也称之 为论域。 ❖ 由所有个体构成的个体域，称之为全总个体域。