离散数学阶逻辑基本概念.pptVIP

谓词逻辑（一阶逻辑）简介 谓词逻辑（一阶逻辑）简介 谓词逻辑（一阶逻辑）简介 第四章 一阶逻辑基本概念 一阶逻辑命题符号化 一阶逻辑公式及其解释 第五章 一阶逻辑等值演算与推理 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式 自然推理系统NL及其推理规则 第四章 一阶逻辑基本概念 主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 第四章 一阶逻辑基本概念 基本要求： 1.准确地将给定命题符号化. 分清各种符号化形式，如在符号化形式(1)-(7)中特别要注意两个基本公式(3)与(4)中量词与联结词的搭配情况，其实(5)、(6)、(7)都是两个基本公式的应用． 2. 深刻理解永真式、矛盾式、可满足式的概念和判别方法。 3.深刻理解闭式的概念及性质（闭式在任何解释下都是命题）. 4.对于给定的解释I，会在解释I下解释公式，判断公式是否是命题，是真命题，还是假命题。 4.1 一阶逻辑命题符号化 主要内容 一、一阶逻辑命题符号化3个基本要素 1. 个体词 2. 谓词 3. 量词 二、 一阶逻辑命题符号化 符号化形式(1)-(7) 4.1 一阶逻辑命题符号化 在谓词逻辑中，一个简单命题被分解成个体词和谓词两个部分 例如，考察下列句子 （1）北京是中国的首都. （2）离散数学是计算机的基础课程. （3）雪是白的. （4）中国人是很聪明的. 个体词——所研究对象中可以独立存在的具体或抽象的客体 个体常项：具体的事务，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域(论域)——个体变项的取值范围 有限个体域，如 {a, b, c}, {1, 2} 无限个体域，如 N, Z, R, … 全总个体域——由宇宙间一切事物组成 谓 词 谓词——表示个体词性质或相互之间关系的词. 谓词常项 如, F(a)：a是人 谓词变项 如, F(x)：x具有性质 n（n?1）元谓词——含n个命题变项的谓词， 记作F(x1,x2… … xn) 一元谓词(n=1)——表示性质 多元谓词(n?2)——表示事物之间的关系 例如, L(x,y)：x与 y 有关系 L，L(x,y)：x?y，… 0元谓词——不含个体变项的谓词.实际上就是一般的命题 实 例1 实 例 1 解 答 量 词 量词——表示数量的词 全称量词?: 表示所有的. ?x : 对个体域中所有的个体x ?xF(x)表示个体域中所有的个体x都具有性质F 存在量词?: 表示存在, 有一个. ?x : 个体域中有一个个体x ?xF(x)表示个体域中有一个个体x具有性质F 量词 全称量词?: 表示所有的. 存在量词?: 表示存在, 有一个. ?xF(x)表示个体域中所有的x具有性质F ?xF(x)表示个体域中有一个个体x具有性质F ?x?yG(x,y) ?x?yG(x,y) ?x?yG(x,y) ?x?yG(x,y) 实例2 例 2 在一阶逻辑中将下面命题符号化 (1) 人都爱美 (2) 有人用左手写字 个体域分别为(a) D为人类集合 (b) D为全总个体域 实例3 例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 实例4 例4 在一阶逻辑中将下面命题符号化 (1) 没有不呼吸的人 (2) 不是所有的人都喜欢吃糖 实例5 例5 设个体域为实数域, 将下面命题符号化 (1) 对每一个数x都存在一个数y使得xy (2) 存在一个数x使得对每一个数y都有xy 实 例6 将下列命题符号化. (1)兔子比乌龟跑得快. (2)有的兔子比所有的乌龟跑得快. (3)并不是所有的兔子都比乌龟跑得快. (4)不存在跑得同样快的两只兔子. 设F(x):x是兔子. G(y):y是乌龟.H(x,y):x比y跑得快. L(x,y):x与y跑得同样快. (1)?x?y(F(x)?G(y)?H(x,y)) (2) ? x (F(x)? ?y (G(y)?H(x,y)) (3) ??x?y(F(x)?G(y)?H(x,y)) (4) ? ? x ? y(F(x)?G(y) ? L(x,y)) 4.2一阶逻辑