第3章 一阶逻辑(第1课时）.pptVIP

第3章 一阶逻辑 3.1 一阶逻辑的基本概念 3.1.1命题逻辑的局限性 3.1.2个体词 谓词与量词 3.1.3一阶逻辑命题符号化 3.1.4一阶逻辑公式与分类 3.2 一阶逻辑等值演算 3.2.1一阶逻辑等值式与置换规则 3.2.2一阶逻辑前束范式 一 命题逻辑的局限性 考虑下述推理: 凡偶数都能被2整除, 6是偶数, 所以6能被2整除. 二 个体词 谓词与 量词 首先我们将简单命题的结构分解成个体和谓词。 个体词与个体域 个体词: 所研究对象中可以独立存在的具体或抽象的客体 个体常项: 表示具体事物的个体词, 用a, b, c等表示 个体变项: 表示抽象事物的个体词, 用x, y, z等表示 个体域: 个体变项的取值范围 全总个体域: 宇宙间一切事物 例如 “若x是偶数, 则x能被2整除.” x、 偶数和2是个体词, 偶数和2是个体常项, x是个体变项. 个体域可以是自然数集N, 整数集Z,…, 也可以是全总个体域 之所以称之为谓词，是因为谓词和个体词一起构成了简单命题中的主谓结构。如： 小王是学生。 3是素数。 2整除6。