第二章 一阶逻辑.ppt

苏格拉底三段论 人都是要死的 苏格拉底是人 所以苏格拉底是要死的 p q r 第二章 一阶逻辑 本章学习目标 命题逻辑中原子命题是最小的单位，不能够再进行分解，这给推理带来了很大局限性，本章引入一阶逻辑。学习关于一阶逻辑的相关概念和定理，解决实际问题。 第二章 一阶逻辑 2.1 一阶逻辑基本概念 个体词 谓词 量词 一阶逻辑中命题符号化 2.1 一阶逻辑基本概念 个体词（个体）: 所研究对象中可以独立存在的具 体或抽象的客体 个体常项（元）：具体的事物，用a, b, c表示 个体变项（元）：抽象的事物，用x, y, z表示 个体域（论域）: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 2.1 一阶逻辑基本概念 谓词: 表示个体词性质或相互之间关系的词 ???? 谓词常项：F(a)：a是人 ???? 谓词变项：F(x)：x具有性质F ???? 一元谓词: 表示事物的性质 多元谓词(n元谓词, n?2): 表示事物之间的关系 如 L(x,y)：x与y有关系L，L(x,y)：x?y，… 0元谓词: 不含个体变项的谓词, 即命题常项或命 题变项 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 量词: 表示数量的词 ???? 全称量词?: 表示任意的, 所有的, 一切的等 如 ?x 表示对个体域中所有的x 存在量词?: 表示存在, 有的, 至少有一个等 如 ?x 表示在个体域中存在x 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.1 一阶逻辑基本概念 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.3 一阶逻辑等值式 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 例 判断下列的推理过程是否正确。 （1）?x ?y G（x，y） P （2）?y G（z，y） UI（1） （3）G（z，c） EI（2） （4）?x G（x，c） UG（3） （5）?y ?x G（x，y） EG（4） 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 2.4 一阶逻辑推理理论 本章