3第一章命题逻辑.pptVIP

* 信息工程学院 大连大学 第一章 命题逻辑 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 真值表与等价公式