离散数学第4章-高等教育出版社-屈婉玲-.ppt

第四章 一阶逻辑基本概念 命题逻辑具有一定的局限性，例如： 凡偶数都能被2整除. 6是偶数. 所以，6能被2整除. 问：如何符号化？ 解决方法：引入量词 第四章 一阶逻辑基本概念 引入量词，以期达到表达出个体与总体之间的内在联系和数量关系，这是 一阶逻辑 所研究的内容。 4.1 一阶逻辑命题符号化 一阶逻辑命题符号化的3个要素： 个体词：指研究对象中可以独立存在的具体的或抽象的客体，一般用小写字母表示。例如：小王，小李，中国，3 等。特别地，将表示具体或特定的客体的个体词称作个体常项，抽象或泛指的个体词称为个体变项。 并称个体变项的取值范围为 个体域。如N，R等。 特别地，宇宙间一切事物组成的个体域称为 全总个体域。 4.1 一阶逻辑命题符号化 一阶逻辑命题符号化的3个要素： 谓词：用来刻画个体词性质及个体词之间相互关系的词，常用大写字母表示。 例如： x是有理数。 x是个体变项，“…是有理数”是谓词，记为G。 这个命题可表成G(x). 小王与小李同岁。 小王，小李都是个体常项，“…与…同岁”是谓 词，记为H，这个命题可以符号化为H(a,b)。 4.1 一阶逻辑命题符号化 同个体词一样，谓词也有常项和变项之分。表示具体性质或关系的谓词称为谓词常项，表示抽象或泛指的性质或关系的谓词称为谓词变项。 一般地，含n个命题变项的谓词P称作n元谓词，将不带个体变项的谓词称为0元谓词。 例4.1 将下列命题在一阶逻辑中用0元谓词符号化，并讨论他们的真值： 只有2是素数，4才是素数。 4.1 一阶逻辑命题符号化 只有2是素数，4才是素数。 解：设1元谓词F(x)：x是素数，命题可以符号化为 F(4) → F(2) 由于此蕴含式前件为假，所以命题为真。 4.1 一阶逻辑命题符号化 3. 量词：表示个体常项或变项之间数量关系的词称为量词。 有两种量词： （1）全称量词：“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等词统称为全称量词，用符号 ?表示，?x表示个体域里的所有个体x，其中个体域是事先约定的。例如：?xF(x)表示个体域里所有个体x都有性质F， ?x ?yG(x,y)表示个体域里所有的个体x和y有关系G，其中F和G是谓词。 4.1 一阶逻辑命题符号化 （2）存在量词：日常生活和数学中常用的“存在”，“有一个”,“有的”，“至少 有一个”等词统称为 存在量词，用符号 ?表示。 ?x表示个体域里有一个个体x。例如，用?xF(x)表示在个体域里存在个体x具有性质F， ?x ?yG(x,y)表示在个体域里存在个体x和y有关系G。 注：全称量词和存在量词可以联合使用，如?x?yG(x,y)表示对个体域里所有个体x，存在y使得x和y有关系G； 4.1 一阶逻辑命题符号化 而，?x ?y G(x,y)表示对个体域里存在个体x使得所有的个体y有关系G。 例：4.2 P57——4.5 4.1 一阶逻辑命题符号化 例：4.2 在个体域分别限制为(a)和(b)条件时，将下面两个命题符号化： 凡人都呼吸 有的人用左手写字 其中 (a) 个体域D1为人类集合； (b) 个体域D2为全总个体域 解 4.1 一阶逻辑命题符号化 例：4.2 在个体域分别限制为(a)和(b)条件时，将下面两个命题符号化： 凡人都呼吸 有的人用左手写字 其中 (a) 个体域D1为人类集合； (b) 个体域D2为全总个体域 解 （a）令 F(x):x呼吸。G(x):x用左手写字。 在D1中除人外，再无别的东西，因而 (1)符号化为 4.1 一阶逻辑命题符号化 (1)符号化为?x F(x) (2)符号化为? x G(x) 4.1 一阶逻辑命题符号化 例：4.2 在个体域分别限制为(a)和(b)条件时，将下面两个命题符号化： 凡人都呼吸 有的人用左手写字 其中 (a) 个体域D1为人类集合； (b) 个体域D2为全总个体域 解 （b）D2中除有人外，还有万物，因而在符号化时必须考虑将人先分离出来。为此引入谓词 M(x):x是人。 令 F(x):x呼吸。G(x):x用左手写字。 (1)符号化为 ?x （M(x) → F(x)） (2)符号化为 ? x （M(x) ? G(x)） 注：常见错误