一阶逻辑 离散数学 一知识介绍.pptVIP

第2章 一阶逻辑 一阶逻辑基本概念、命题符号化 一阶逻辑公式、解释及分类 一阶逻辑等值式、前束范式 一阶逻辑推理理论 第2章 一阶逻辑 在命题逻辑中最基本的研究对象是命题 一个原子命题是不能再分割的,两个命题之间没有任何内在的联系 这种研究方法显然不足以刻划世界上事物间千变万化的逻辑关系 就连最古老、最简单的苏格拉底三段论也无法从命题逻辑中推出： 前提：凡人都是要死的 —— p 苏格拉底是人 —— q 结论：苏格拉底是要死的 ——r p ? q ? r 谓词演算 谓词演算(一阶谓词演算）是命题演算的扩充和发展 一阶谓词演算是重要的符号逻辑系统，它是 程序设计理论、语义形式化及程序逻辑研究的重要基础， 程序验证、程序分析、综合及自动生成、定理证明和知识表示的有力工具。 2.1 一阶逻辑基本概念 在谓词演算中，将原子命题分解为谓词和个体两部分。 如： 张三是人。 个体—— 可以独立存在的东西，它可以是一个具体的事物，也可以是一个抽象的概念。 谓词—— 用于刻划个体的性质和个体之间的关系 个体 谓词 个体 考察下面的三个原子命题： ⑴ 李玲是共青团员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间。 个体的分类 个体常项：表示具体或特定个体的标识符，如 a：李玲，b：张华，c：李红， d：小高，e：小王，f：小刘 个体变项：表示任意个体或泛指某类个体的标识符 如：偶数、生物，用x, y, z表示 个体域—— 个体变项的取值范围 有限个体域：如{a, b, c}, {1, 2} 无限个体域：如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词函数 由一个谓词字母和n个个体变项组成的表达式 F(x, y, …, z) 注意： F(x，y，…，z)不是命题，它的真值无法确定，要想使它成为命题，必须指定某一谓词常项代替F，同时还要用n个个体常项代替n个个体变项。 如：L(x, y)是一个二元谓词，它不是命题。 当令L表示“小于”之后，L(x, y) 还不是命题。 当取a=2，b=3， L(a, b)才是命题，并且是真命题。 当取c=2，d=1， L(c, d )才是命题，并且为假命题。 谓词函数 将下列命题用0元谓词符号化 要求：先将它们在命题逻辑中符号化，再在一阶逻辑中符号化 (1) 墨西哥位于南美洲 在命题逻辑中, 设 p: 墨西哥位于南美洲 符号化为： p, 这是真命题 在一阶逻辑中, 设 a：墨西哥，F(x)：x位于南美洲 符号化为：F(a) 将下列命题用0元谓词符号化 (2) 如果23，则34 在命题逻辑中, 设 p：23，q：34. 符号化为 p?q, 这是真命题 在一阶逻辑中, 设 F(x,y)：xy，G(x,y)：xy, 符号化为 F(2,3)?G(3,4) (3) 2是素数且是偶数。 解： 在命题逻辑中, 设： p：2是素数，q：2是偶数 符号化为： p ? q, 这是真命题 在一阶逻辑中, 　 设　F（x）：x是素数。 　　　　 G（x）：x是偶数。 　　　　　 a ：2， 　　则命题符号化为：F(a) ?G(a)。 将下列命题用0元谓词符号化 将下列命题用0元谓词符号化 (3)如果张明比李民高，李民比赵亮高，则张明比赵亮高。 解： 在命题逻辑中， 设： p：张明比李民高，q：李民比赵亮高 r：张明比赵亮高 则命题符号为： p ? q ?r 在一阶逻辑中， 设 H（x，y）：x比y高。 a：张明； b：李民；c：赵亮， 则命题符号化为： H(a, b) ? H(b, c) ? H(a, c) 量词 引入量词表示个体域中所有个体或部分个体具有某种性质。 全称量词?: 表示任意的, 所有的, 一切的,等 如: ?x 表示对个体域中所有的x ?xF(x) 表示个体域里的所有个体都有性质F 存在量词?: 表示存在, 有的, 至少有一个,等 如: ?x 表示在个体域中存在x ?xF(x)表示存在着个体域中的个体具有性质F （1） 每个人都有一双手。 （2） 有的人很聪明。 （1） 每个人都有一双手。 （2） 有的人很聪明。 第一种情况——考虑个体域D为人类集合。 (1) 符号化为：?xF(x) ， 其中F(x) ：x