〔离散数学〕第二章谓词逻辑.ppt

(4) 而且 (矛盾式) ， 所以原公式是矛盾式。 解： 原公式是命题公式 的代换实例， 内容： 一阶逻辑等值式，前束范式。 重点： 掌握基本等值式， (量词否定等值式，量词辖域收缩与扩张等值式， 量词分配等值式)的内容。 一般： 使用基本等值式进行等值演算。 了解： 前束范式的定义和求法。 第三节 谓词逻辑等值式 一、一阶逻辑等值式。 已有的等值式 命题公式中的24个等值式 及代换实例 由换名规则及代替规则所得 公式与原公式等值 定义： 若 为逻辑有效式，记 定理2．1 量词否定等值式。 (1) (2) 定理2．2 量词分配等值式。 (1) (2) 定理2．3 量词辖域收缩与扩张等值式。 (1) (2) (4) (3) (5) (6) (7) (8) 定理2．4 多个量词间的次序排列等值式。 (1) (2) 二、前束范式。 前束范式：形式 例如： ， 等都是前束范式， 而 等都不是前束范式。 任一合式公式都可表示为前束范式，其化归步骤如下： （1）消去公式中出现的多余量词； （2）将合式公式中出现的联结词都化为 （3）利用双重否定律，德·摩根律及量词否定等值式将合式公式中的否定字符深入到谓词字母前； （4）利用代替规则和换名规则，使所有约束变元均不相同，并且使自由变元与约束变元不同． （5）利用量词辖域收缩与扩张等值式，扩大量词的辖域至整个公式． 例2、求下列公式的前束范式。 解： (1) （定理2．1 （2）） （换名规则） （定理2．3 （1）①） （定理2．3 （1）①） (2) 解： （代替规则） （换名规则） （定理2．3 （2）③） （定理2．3 （2）④） （定理2．3 （1）③） （定理2．3 （1）④） 内容： 谓词逻辑推理理论。 了解： 推理规则在推理中的正确使用。 重点： 掌握谓词逻辑推理的概念。 一般： 全称量词消去规则 ， 全称量词引入规则 ， 存在量词引入规则 ， 存在量词消去规则 。 第四节 谓词逻辑中的推理 一、谓词逻辑推理的概念。 1、概念。 已有的 推理定律 命题公式中的重言蕴涵式及代换实例 一阶逻辑中的等值式 (每个等值式可产生两条推理定律) 若 则称推理正确，记为 为逻辑有效式， 2、量词分配定律。 (1) (2) (3) (4) * * 第二章 谓词逻辑 第一节 谓词逻辑基本概念 内容： 个体词，谓词，量词，命题符号化。 重点： 1、掌握个体词，谓词，量词的有关概念， 2、掌握在一阶逻辑中的命题符号化。 一、谓词逻辑研究的内容。 例如：判断以下推理是否正确： 凡人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 这是著名的“苏格拉底三段论”， 若用 推理形式为 分别表示以上3个命题， ，不是重言式。 二、个体词，谓词，量词。 1、个体词，谓词 。 例如：陈景润是数学家．。 是无理数。 小王比小李高2厘米 。 (1) 个体词——简单命题中表示主体或客体的词 (由名词组成)。 个体域(或称论域)——个体变项取值的范围。 (2) 谓词——刻画个体词的性质或 个体词之间关系的词。 个体词 个体常项 用 个体变项 用 表示 表示 谓词 谓词常项 谓词变项 都用 表示 ：小王， ：小明， ：小王比小明高。 元谓词(用 表示) 如 高。 比 ： 其中 为个体词。 是二元谓词， 例如：李华是大学生， 小明是大学生。 一元谓词 个体常项 个体常项 ：李华 ：小明 分别表示李华，小明是大学生， 它们是0元谓词。 ： 是大学生， 2、量词——表示数量的词。 全称量词 量词 存在量词 使用量词时，应注意以下6点： (1) 在不同个体域中， 命题符号化的形式可能不一样， (2) 一般，除非有特别说明， 均以全总个体域为个体域， (3) 在引入特性谓词后，使用全称量词用“ 使用存在量词用“ ”， ”， (4) 个量词， 元谓词化为命题至少需要 如 (5) 当个体域为有限集时， ，则 (6) 多个量词同时出现时， 不能随意颠倒顺序。 三、命题符号化。 例1、在一阶逻辑中将下面命题符号化。 (1) 所有的有理数均可表成分数。 解： 因无指定个体域，则以全总个体域为个体域。 ： 为有理数， ： 可表成分数， (2) 有的有理数是整数。 解： ： 为有理数， ： 为整数， 注：若本题指定的个体域为有理数集， 则(1)，(2)分别符号化为 和 。 例2、在一阶逻辑中将下列命题符号化。 (1) 凡偶数均能被2整除。 (2) 存在着偶素数。 解： ： 是偶数， ： 能被2整除，