离散数学(一阶逻辑).pptVIP

第二章 一阶逻辑 苏格拉底三段论 判断下面推理的正确性 凡人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。 用p,q,r表示三个命题，则（p∧q）→r 并不是重言式。 原因缺少命题内在的联系的反映。 §1 一阶逻辑基本概念 一、基本概念 简单的命题被分解成个体词与谓词. 6是合数； 王宏是程序员； 小李比小赵高2厘米。 1.个体词相关的基本概念 个体词:是可以独立存在的客体. 个体常项:用小写的英文字母 a,b,c,d…. 个体变项:用小写的英文字母 x,y,z…. 个体域:个体的取值范围. 全总个体域:指宇宙中的一切事物. 2.谓词的相关概念 谓词: 表示个体词性质或相互之间关系的词 ???? 谓词常项：F(a)：a是人 ???? 谓词变项：F(x)：x具有性质F ????一元谓词: 表示事物的性质 多元谓词(n元谓词, n?2): 表示事物之间的关系 如 L(x,y)：x与y有关系L，L(x,y)：x?y，… 0元谓词: 不含个体变项的谓词, 即命题 二、一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 (1) 墨西哥位于南美洲 F(x)：x位于南美洲 a：墨西哥 F(a) （2）2是素数且是偶数. F(x): x是素数; G(x): x是偶数; a:2 符号化为F(a) ? G(a) （3）如果2大于3,则2大于4. L(x,y): x大于y. a:2; b:3; c:4 符号化为L(a,b) ? L(a,c) 例2.（1） 凡人都要死的。（ 2） 有人活百岁以上 3.量 词 量词: 表示数量的词 ???? 全称量词?: 表示任意的, 所有的, 一切的，不存在一个…不…” 如 ?x 表示对个体域中所有的x ?x F(x) 表示个体域中的所有个体具有属性 F。 存在量词?: 表示存在, 有的, 至少有一个 如 ?x 表示在个体域中存在x ?x F(x) 表示存在个体域中的个体具有属性 F。 明确个体域 例2.（1） 凡人都要死的。（ 2） 有人活百岁以上 考虑个体域D为人类集合 ?xF(x), 其中F(x)：x是要死的。 ?xG(x), 其中G(x)：x活百岁以上。 考虑个体域为全总个体域 对于所有个体而言，如果它是人，则它是要死的。引入新谓词M(x): x是人。?x(M(x)→F(x)) 存在着个体，它是人并且活百岁以上。 ?x(M(x)∧G(x)) 一阶逻辑中命题符号化(续) 例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 解 注意: 题目中没给个体域, 一律用全总个体域? (1) 令F(x): x为正数, G(y): y为负数, L(x,y): xy ?x(F(x)??y(G(y)?L(x,y))) 或 ?x?y(F(x)?G(y)?L(x,y)) 两者等值 (2) 令F(x): x是无理数, G(y): y是有理数, L(x,y)：xy ?x(F(x)??y(G(y)?L(x,y))) 或 ?x?y(F(x)?G(y)?L(x,y)) 两者等值 用量词时的注意点 在不同的个体域中，命题符号化的形式可能不一样； 如果事先没有给出个体域，都应以全总个体域为个体域； 个体域和谓词的含义确定之后，n元谓词要转化为命题至少需要n个量词(此点以后再讨论)； 当个体域为有限集时，如果D={a1,a2,…an},由量词的意义可以看出，对于任意的谓词A(x), 都有： ?xA(x) ? A(a1)∧A(a2) ∧…∧A(an); ?xA(x) ? A(a1)∨A(a2) ∨…∨A(an). 多个量词同时出现时，不能随意颠倒他们的顺序。 例题 对任意的x，存在着y，使得 x+y=5. H(x,y)表示x+y=5 可符号化成：?x ?y H(x,y) 不可符号化成： ?y ?x H(x,y) 第2章 一阶逻辑 2.1 一阶逻辑基本概念 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式 2.4 一阶逻辑推理理论 2.2 一阶逻辑公式及解释 合式公式(简称公式) 个体变项的自由出现和约束出现 解释与分类 一阶逻辑合式公式采用字母表 定义2.1字母表 个体常项：a,b,c,…,ai,bi,ci,…., i≥1; 个体变项：x,y,z,…,xi,yi,zi,…., i≥1; 函数符号：f,g,h,…,