第四章一阶逻辑基本概念(论文资料).pptVIP

第四章 一阶逻辑基本概念 第四章 一阶逻辑基本概念 一阶逻辑命题符号化 一阶逻辑等值演算与推理 知 识 点：谓词的概念与表示、命题函数与量词、谓词公式与解释、 变量的约束 教学要求：深刻理解和掌握谓词逻辑的基本概念 教学重点：谓词逻辑中的基本概念 学时: 4 §4.1 一阶逻辑命题符号化 著名的苏格拉底三段论: 所有人都是要死的 苏格拉底是人 所以: 苏格拉底是要死的 用 P 表示: 所有人都是要死的 用 Q 表示: 苏格拉底是人 用 R 表示: 苏格拉底是要死的 那么R是P, Q的逻辑结果, 即 { P , Q } ┝ R 引入谓词和量词的概念 ,进一步描述命题的内部结构 §4.1 一阶逻辑命题符号化 个体词：所研究对象中可以独立存在的具体的或抽象的客体 例如: 小王、小李、中国、1、2、3 等都可以作为个体词 个体常元(项) : 表示具体或特定的客体的个体词 一般用小写英文字母 a,b,c…表示 个体变元(项): 表示抽象或泛指的个体词 常用 x,y,z … 表示 论域(个体域): 个体变项的取值范围 个体域可以是有穷集合, 例如