离散数学第四章的课件资料.pptVIP

第四章 一阶逻辑基本概念 主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 4.1 一阶逻辑命题符号化 个体词——所研究对象中可以独立存在的具体或抽象的客体 个体常项：表示具体或特定的客体的个体词，常用a, b, c表示 个体变项：表示抽象或泛指的个体词，常用x, y, z表示 个体域(论域)——个体变项的取值范围 个体域可以是有穷集合，如 {a, b, c}, {1, 2} , … 也可以是无穷集合，如 自然数集合N, 整数集合Z, 实数集合R, … 全总个体域——由宇宙间一切事物组成，包括万事万物 本书在论述或推理中如不指明所采用的个体域，都是使用全总个体域。 谓词 谓词——表示个体词性质或相互之间关系的词，常用F，G，H，…表示。 谓词常项——表示具体性质或关系的谓词。如, F(a)：a是人 谓词变项——表示抽象的或泛指的性质或关系的谓词。如, F(x)：x具有性质F n（n?1）元谓词——表示以个体域为定义域，以{0 , 1}为值域的n元函数或关系。 一元谓词(n=1)——表示个体词的性质 多元谓词(n?2)——表示个体词之间的相互关系 如, L(x,y)：x与 y 有关系 L，L(x,y)：x?y，… 0元谓词——不含个体变项的谓词, 例如：F(a) ，G(a,b) ，P(a1,a2,a3, …,an)等都是0元谓词。 当谓词为谓词常项时，0元谓词为命题。 命题逻辑中的命题均可以表示成0元谓词，因而可以将命题看成特殊的谓词。 实例1 量词 量词——表示个体常项或变项之间数量关系的词 全称量词?: 表示所有的. 如：“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等 ?x : 表示个体域中的所有个体x 如, ?xF(x)表示个体域中所有个体x都有性质F ?x?yG(x,y)表示个体域中的所有个体x和y有关系G，其中F和G是谓词。 存在量词?: 表示存在, 有一个. 如：“存在”，“有一个”，“有的”，“至少有一个”，“有的”，“至少有一个”等 ?x : 个体域中存在个体x 如, ?xF(x)表示个体域中存在个体x具有性质F ?x?yG(x,y)表示个体域中存在个体x和y有关系G 全称量词?与存在量词?可以联合使用。 ?x?yG(x,y)表示对个体域中每一个个体x都存在一个个体y使得 x和y有关系G ?x?yG(x,y)表示个体域中存在个体x使得和个体域中的所有个体y具有关系G 实例2 例4.2 在个体域分别限制为(a)和(b)条件时，将下面两个命题符号化: ????(1) 凡人都呼吸。 ????(2) 有的人用左手写字。 其中:(a)个体域D1为人类集合；???? ?(b)个体域D2为全总个体域。 实例3 例4.3 在个体域限制为(a)和(b)条件时，将下列命题符号化 ，并给出真值: ????(1) 对于任意的x，均有x2-3x+2=(x-1)(x-2). ????(2) 存在x，使得x+5=3. 其中: (a)个体域D1=N ?????(b)个体域D2=R 实例4 例4.4 将下列命题符号化，并讨论真值 ????(1)所有的人都长着黑头发。 ?(2)有的人登上过月球。 (3)没有人登上过木星。 ?(4)在美国留学的学生未必都是亚洲人。 (3)令H(x):x登上过木星,则命题(3)符号化为: ? ?x(M(x)?H(x)) 到目前为止，对于任何一个人(含已经去世的人)都还没有登上过木星，所以对任何人a，M(a)∧H(a)均为假，因而?(M(x)∧H(x))为假，所以(3) 为真命题。 实例5 例4.5 将下列命题符号化: ????(1) 兔子比乌龟跑得快。 ????(2) 有的兔子比所有的乌龟跑得快。 ????(3) 并不是所有的兔子都比乌龟跑得快。 ????(4) 不存在跑得同样快的两只兔子。 ?注意： 1、分析命题中的表示