-命题逻辑.ppt

* 信息工程学院 大连大学 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 第10页 定义1-3.1命题合式公式 (Well-formed formula, wff ) （1）单个命题变元本身是合式公式。 （2）若A是合式公式，则(┐A)也是合式公式。 （3）若A，B是合式公式，则(A∧B)，(A∨B)， (A?B)，(A?B)也是合式公式。 （4）当且仅当有限次地应用(1)~(3)所得到的包含命题变元、联结词和括号的符号串是合式公式。 1.3 命题公式与翻译 第10页 1.3 命题公式与翻译 例：判断下列式子是否是合适公式 第12页 例1 给出 的真值表。 练习：给出下列命题公式的真值表。 （1） （2） 1.4 真值表与等价公式 n个命题变元组成的命题公式共有2n种赋值（指派）。 定义1-4.2 设A,B为两个命题公式，若A,B构成的 双条件A?B为重言式，则称A与B是 等价的（等值的）记作A B。 第12页 1.4 真值表与等价公式 第13页 1.4 真值表与等价公式 定义1-4.3 如果X是合式公式A的一部分，且X本身 也是一个合式公式，则称X为公式A的 子公式。 定理1-4.1 设X是合式公式A的子公式，若X Y， 如果将A中的X用Y来置换，所得到公式 B与公式A等价，即A B。 第16页 复习 练习1：化简下面的式子。 （1） （2） 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 第16页 1.7 对偶与范式 定义1-7.1 在给定的命题公式中，如果它仅用联结词 ，则将联结词 换成 ，将 换成 ，若有特殊变元F和T亦相互取代，所得公式称为原 公式的对偶式。 例1：写出下列表达式的对偶式 一、对偶式 对偶式的作用 见书上30页 定理7.1-7.2 第17页 1.7 对偶与范式 二、范式 定义1-7.2 一个命题公式称为合取范式，当且仅当 它具有型式： 其中 都是由命题变元或其否定所组成 的析取式。 合取范式的特点： （1）不出现 和 （2）否定符号出现在变元前 （3）总体看是合取式 （4）每个合取项是析取式 （5）每个合取项中只包含命题变元或其否定。 第18页 1.7 对偶与范式 二、范式 定义1-7.3 一个命题公式称为析取范式，当且仅当 它具有型式： 其中 都是由命题变元或其否定所组成 的合取式。 析取范式的特点： （1）不出现 和 （2）否定符号出现在变元前 （3）总体看是析取式 （4）每个析取项是合取式 （5）每个析取项中只包含命题变元或其否定。 第19页 1.7 对偶与范式 二、范式 例2:判断下列各式是否为析取范式或合取范式。 第20页 1.7 对偶与范式 二、范式 例3:求 合取范式。 例4:求 析取范式。 合取范式和析取范式的化归步骤：见书上31页 第20页 1.7 对偶与范式 三、主范式 例5:试求 和