北大离散数学chap2.pptVIP

第二章 一阶逻辑 第一节 一阶逻辑基本概念 第二节 一阶逻辑合式公式及解释 第三节 一阶逻辑等值式 第四节 一阶逻辑推理理论 第二章 小结与例题 1) 个体域为自然数集合 (1) 真值为0 例2、给定解释 如下： 2) 中特定元素 3) 上特定函数 4) 为 上特定谓词 下，下面哪些公式为真？哪些公式为假？ 在解释 解：在解释 下，公式化为： 真值为1 (2) 1) 个体域为自然数集合 例2、给定解释 如下： 3) 上特定函数 4) 为 上特定谓词 下，下面哪些公式为真？哪些公式为假？ 在解释 解：在解释 下，公式化为： 2) 中特定元素 真值为1 (3) 解：在解释 下，公式化为： 1) 个体域为自然数集合 例2、给定解释 如下： 3) 上特定函数 4) 为 上特定谓词 下，下面哪些公式为真？哪些公式为假？ 在解释 2) 中特定元素 真值为0 (4) 2) 中特定元素 1) 个体域为自然数集合 3) 上特定函数 例2、给定解释 如下： 4) 为 上特定谓词 在解释 下，下面哪些公式为真？哪些公式为假？ 解：在解释 下，公式化为： 真值为不确定(不是命题) (5) 2) 中特定元素 1) 个体域为自然数集合 3) 上特定函数 例2、给定解释 如下： 4) 为 上特定谓词 在解释 下，下面哪些公式为真？哪些公式为假？ 解：在解释 下，公式化为： 2、逻辑有效式(永真式)，矛盾式(永假式)， 可满足式。 逻辑有效式—— 在任何解释下都取值为真的合式公式。 矛盾式—— 在任何解释下都取值为假的合式公式。 可满足式—— 至少存在一种解释使其取值为真的合式公式。 有一些公式，可以利用命题公式的结论。 代换实例—— 个命题变项 将 词公式称为 设 是含 的命题公式， 所得的谓 取代 个谓词 的代换实例。 例如： 等都是 的代换实例。 命题公式中重言式，矛盾式的代换实例在谓词 公式中仍是重言式(逻辑有效式)，矛盾式。 例3、判断下列公式中哪些是逻辑有效式， 哪些是矛盾式。 (1) 解： 设 。 是任意的解释，设其个体域为 若存在 为假， 为假，则 ， 从而 为真； 由以上，原公式是逻辑有效的。 例3、判断下列公式中哪些是逻辑有效式， 哪些是矛盾式。 (1) 解： 设 。 是任意的解释，设其个体域为 若对任意 为真， ，都有 则 均为真， 所以 为真。 例3、判断下列公式中哪些是逻辑有效式， 哪些是矛盾式。 (2) (重言式) ， 而且 所以原公式是逻辑有效的。 解： 原公式是命题公式 的代换实例， 例3、判断下列公式中哪些是逻辑有效式， 哪些是矛盾式。 所以原公式是逻辑有效的。 (3) (重言式) ， 而且 解： 原公式是命题公式 的代换实例， 例3、判断下列公式中哪些是逻辑有效式， 哪些是矛盾式。 (4) 而且 (矛盾式) ， 所以原公式是矛盾式。 解： 原公式是命题公式 的代换实例， 内容： 一阶逻辑等值式，前束范式。 重点： 掌握基本等值式， (量词否定等值式，量词辖域收缩与扩张等值式， 量词分配等值式)的内容。 一般： 使用基本等值式进行等值演算。 了解： 前束范式的定义和求法。 一、一阶逻辑等值式。 已有的等值式 命题公式中的24个等值式 及代换实例 由换名规则及代替规则所得 公式与原公式等值 定义： 若 为逻辑有效式，记 1、量词否定等值式。 (1) (2) 2、量词辖域收缩与扩张等值式。 (1) (2) (4) (3) 1、量词否定等值式。 (1) (2) 2、量词辖域收缩与扩张等值式。 (5) (6) (8) (7) 3、量词分配等值式。 (1) (2) 例1、 “今天所有的人唱歌并且今天所有的人跳舞” 有相同含义。 “今天所有的人既唱歌又跳舞”与 3、量词分配等值式。 (1) (2) 例1、 “有些人将去旅游或有些人将去探亲”有相同含义。 “有些人将去旅游或探亲”与 注意： 4、多个量词间的次序排列等值式。 (1) (2) 二、前束范式。 前束范式：形式 例如： ， 等都是前束范式， 4、多个量词间的次序排列等值式。 (1) (2) 二、前束范式。 前束范式：形式 例如： 而 等都不是前束范式。 例2、求下列公式的前束范式。 (1) 解： 量词否定等值式 对 的分配 例2、求下列公式的前束范式。 (2) 解： 量词否定等值式 换名规则 量词辖域的扩张 内容： 一阶逻辑推理理论。 了解： 推理规则在推理中的正确使用。 重点： 掌握一阶逻