第四章一阶逻辑基本概念.pptVIP

第四章 一阶逻辑基本概念 第四章 一阶逻辑基本概念 一阶逻辑命题符号化 一阶逻辑等值演算与推理 知 识 点：谓词的概念与表示、命题函数与量词、谓词公式与解释、 变量的约束 教学要求：深刻理解和掌握谓词逻辑的基本概念 教学重点：谓词逻辑中的基本概念 学时: 4 §4.1 一阶逻辑命题符号化 著名的苏格拉底三段论: 所有人都是要死的 苏格拉底是人 所以: 苏格拉底是要死的 用 P 表示: 所有人都是要死的 用 Q 表示: 苏格拉底是人 用 R 表示: 苏格拉底是要死的 那么R是P, Q的逻辑结果, 即 { P , Q } ┝ R 引入谓词和量词的概念 ,进一步描述命题的内部结构 §4.1 一阶逻辑命题符号化 个体词：所研究对象中可以独立存在的具体的或抽象的客体 例如: 小王、小李、中国、1、2、3 等都可以作为个体词 个体常元(项) : 表示具体或特定的客体的个体词 一般用小写英文字母 a,b,c…表示 个体变元(项): 表示抽象或泛指的个体词 常用 x,y,z … 表示 论域(个体域): 个体变项的取值范围 个体域可以是有穷集合, 例如 {1,2,3},{a,b,c,d} 个体域可以是无穷集合, 例如 自然数集合 N={0,1,2,…} 实数集合 R={x|x是实数} 全总个体域: 由宇宙间一切事物组成的个体域 没有指明所采用的个体域 , 都是使用全总个体域 §4.1 一阶逻辑命题符号化 谓词: 表示对象的性质或对象间关系的谓语 谓词常项: 表示具体性质或关系的谓词 例如 M(x) : x是人 , H(x,y) : x是y的同学 谓词变项: 表示抽象的、泛指的性质或关系的谓词 例如 L(x,y): x与y具有关系L 无论是谓词常项或变项都用大写英文字母F,G,H,…表示 例1 : 将下列命题在谓词逻辑中符号化 (1) 只有2是素数，4才是素数 设 F(x): x是素数, a: 2 , b: 4 , 原命题符号化为 F(b)?F(a) ????(2)如果5大于4，则4大于6 设 F(x,y): x大于y , a:4 , b:5 , c:6 原命题符号化为 F(b,a)?F(a,c) §4.1 一阶逻辑命题符号化 量词: 表示个体常项或变项之间数量关系的词 全称量词: 日常生活和数学中所用的“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等词可统称为全称量词 全称量词符号化为“? ” 例如 (?x) F(x) 表示个体域里所有个体都有性质F 存在量词: 日常生活和数学中所用的“存在”，“有一个”，“有的”，“至少有一个”等词统称为存在量词 存在量词符号化为“?” 例如 (?x) F(x) 表示个体域里存在个体具有性质F (?x)F(x),(?x)F(x) 两种情况中的 x 都称为指导元 例2 设 R(x):x是实数 , I(x):x是整数,则 “所有的实数都是整数”符号化为 (?x) (R(x)?I(x)) “有的实数是整数”符号化为 (?x) ( R(x)?I(x)) §4.1 一阶逻辑命题符号化 例3:将下面两个命题符号化: (1) 凡人都呼吸 ??? (2) 有的人用左手写字 (a)个体域D1为人类集合 (b)个体域D2为全总个体域 在个体域分别限制为(a)的条件下 解 令F(x):x呼吸 , G(x):x用左手写字 (1) 在D1中除了人外,再无别的东西,应符号化为? (?x)F(x)? (2) 在D1中的有些个体(人)用左手写字,符号化为 (?x)G(x)? 在个体域分别限制为(b)的条件下 D2中除了有人外,还有万物,因而在(1)(2)符号化时 必须考虑将人分离出来 令M(x):x是人 (1)的符号化