大学离散数学第2章.ppt

第二章 一阶逻辑 第一节 一阶逻辑基本概念 对于任意的x，存在着y，使得x+y=5。 个体域为实数集，命题符号化为 其中，H(x，y): x+y=5，是真命题。 量词的顺序颠倒，存在着y，对任意的x，都有x+y=5，命题符号化为： 是假命题。 第二节 一阶逻辑合式公式及解释 第三节 一阶逻辑等值式 第四节 一阶逻辑推理理论 第二章 小结与例题 内容： 一阶逻辑推理理论。 了解： 推理规则在推理中的正确使用。 重点： 掌握一阶逻辑推理的概念。 一般： 全称量词消去规则 ， 全称量词引入规则 ， 存在量词引入规则 ， 存在量词消去规则 。 一、一阶逻辑推理的概念。 1、概念。 已有的 推理定律 命题公式中的重言蕴涵式及代换实例 一阶逻辑中的等值式 (每个等值式可产生两条推理定律) 若 则称推理正确，记为 为逻辑有效式， 2、量词分配定律。 (1) (2) (3) (4) 二、推理规则。 1、全称量词消去规则 要求： (1) 中自由出现的个体变项， 是 (2) 个体变项， 中约束出现的 为任意的不在 (3) 为任意的个体常项。 二、推理规则。 2、全称量词引入规则 要求： (1) 且 中自由出现， 在 均为真， 取任何值时 (2) 取代 中约束出现。 不能在 的 二、推理规则。 3、存在量词引入规则 要求： (1) 是特定的个体常项， (2) 取代 中出现过。 不能已在 的 二、推理规则。 4、存在量词消去规则 要求： (1) 为真的特定的个体常项， 是使 (2) 中出现过， 不曾在 (3) 个体变项时，不能用此规则。 外还有其他自由出现的 中除 例1、证明：苏格拉底三段论： “凡人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。” ：苏格拉底。 解：设 ： 是人， ： 是要死的， 例1、证明：苏格拉底三段论： 前提： 结论： 证明： ① 前提引入 ② ① ③ 前提引入 ④ ②③假言推理 例2、构造下面定理的证明： 前提： 结论： 证明： ① 前提引入 ② ①置换 ③ ②置换 ④ ③ 例2、构造下面定理的证明： 前提： 结论： 证明： 前提引入 ⑤ ⑥ ⑤ ⑦ ⑥④假言三段论 ⑧ ⑦ 一、一阶逻辑的基本概念。 1、基本概念。 个体，个体域，个体词，个体常项和变项； 谓词；量词，全称量词和存在量词。 2、应用。 在一阶逻辑中将命题符号化。 二、一阶逻辑合式公式及解释。 1、基本概念。 合式公式；辖域，约束变项，自由变项； 闭式；解释；代换实例；逻辑有效式， 矛盾式，可满足式。 2、应用。 (1) 求某些公式在给定解释下的真值。 (2) 判断某些简单公式的类型。 三、一阶逻辑等值式。 基本概念。 等值式，常用等值式；前束范式。 四、一阶逻辑推理理论。 1、基本概念。 推理；全称量词消去规则 全称量词引入规则 存在量词引入规则 ， ，存在量词消去规则 。 ， 4、定义2.4 合式公式的递归定义。 (5) 只有有限次地应用(1)－(4)构成的符号串 才是合式公式(也称谓词公式)，简称公式。 例2.1—例2.5中,各命题符号化结果都是合式公式. (4) 若 也是合式公式； 是合式公式，则 5、定义2.5 约束出现，自由出现。 在辖域中,x的所有出现称为约束出现. A中不是约束出现的其他变项的出现称为自由出现. 在合式公式 中， 称 为指导变项， 称 为相应量词的辖域， P41例2.6、指出下列各合式公式中的指导变项， 量词的辖域，个体变项的自由出现 和约束出现。 (1) (2) (3) 定义2.6 闭式(封闭的合式公式) —— 无自由出现的个体变项的合式公式。 换名规则——指导变项，约束变项换名 例如： 换成 代替规则——自由变项代替 例如： 换成 二、合式公式的解释。 对公式中各种变项(个体变项，函数变项， 谓词变项)，指定特殊的常项去代替，就 构成了公式的一个解释。 (1) 非空个体域 ； (2) 中一部分特定元素； 1、解释 由以下4部分组成：定义2.7 二、合式公式的解释。 对公式中各种变项(个体变项，函数变项， 谓词变项)，指定特殊的常项去代替，就 构成了公式的一个解释。 1、解释 由以下4部分组成： (3) 上一些特定的函数； (4) 上一些特定的谓词； 1) 个体域为自然数集合 (1) 真值为0 例2.8、给定解释 如下： 2) 中特定元素 3) 上特定函数 4) 为 上特定谓词 下，下面哪些公式为真？哪些公式为假？ 在解释