第四章一阶逻辑基本概念 1
1 第四章 一阶逻辑基本概念
一 阶逻辑基本概念 ·一阶逻辑命题符号化 ■一阶逻辑公式、解释 2
2 一阶逻辑基本概念 一阶逻辑命题符号化 一阶逻辑公式、解释
谓词逻辑（一阶逻辑)的引入 ■著名的三段论论证： 所有的人都将死去。 苏格拉底是人。 所以：苏格拉底将死去。 ■从人们的实践经验可知，这是一个有效的推论。 ■但在命题逻辑中却无法判断它的正确性。 因为在命题逻辑中只能将推理中的三个简单命 题符号化为p,r,那么由p,这两个命题无论 如何不可能得出为有效结论。 3
3 谓词逻辑（一阶逻辑）的引入 著名的三段论论证： 所有的人都将死去。 苏格拉底是人。 所以：苏格拉底将死去。 从人们的实践经验可知，这是一个有效的推论。 但在命题逻辑中却无法判断它的正确性。 因为在命题逻辑中只能将推理中的三个简单命 题符号化为p, q, r，那么由p, q这两个命题无论 如何不可能得出r为有效结论
§2.1一阶逻辑基本概念 个体词 谓词 量词 一阶逻辑中命题符号化
4 §2.1 一阶逻辑基本概念 个体词 谓词 量词 一阶逻辑中命题符号化
基本概念 个体词、谓词、量词 个体词（个体)：所研究对象中可以独立存在的具 体或抽象的客体 个体常项：具体的事务，用4，b,c表示 个体变项：抽象的事物，用x,y,表示 个体域（论域）：个体变项的取值范围 有限个体域，如{，b,c,{1,2} 无限个体域，如N,Z,R,. 全总个体域：宇宙间一切事物组成 如果事先没有给出个体域，都应以全总个体域为 个体域。 5
5 基本概念——个体词、谓词、量词 个体词（个体）: 所研究对象中可以独立存在的具 体或抽象的客体 个体常项：具体的事务，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域（论域）: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, . 全总个体域: 宇宙间一切事物组成 如果事先没有给出个体域，都应以全总个体域为 个体域