命题逻辑-课程.PPT

第1章 命题逻辑 什么是逻辑？ 主要内容 命题与联结词 合式公式及分类 等价式与等价演算 对偶式与蕴涵式 联结词的扩充与功能完全组 公式标准型——范式 公式的主范式 命题逻辑的推理理论 归结原理 命题与命题联结词 命题：具有非真必假的陈述句。 命题与命题联结词 命题分为原子命题和复合命题两种。 原子命题：不能再分解为更简单的命题，用大写字母P、Q、R、S、T等表示； 复合命题：由原子命题和命题联结词构成。 命题联结词：常用的有：否定、合取、析取、条件（蕴含）、双条件（等价）。 注意：复合命题和原子命题一样，都具有确切的真假值。 否定联结词 设 P 是一个命题，则 表示 P 的否定复合命题。 合取联结词 设 P 和 Q 是两个命题，用联结词 将二者连接成 ，称为命题 P 和 Q 的合取式复合命题。读“ P 与 Q ”或“ P 且 Q ”。 合取联结词 1、天气很冷，但老王坚持上班。 2、我们踢足球，他们在游泳。 3、今天天晴，并且3+3=6。 4、我和你是好朋友。 析取联结词 设 P 和 Q 是两个命题，用联结词 将二者连接成 ，称为命题 P 和 Q 的析取式复合命题。读“ P 或 Q ”。 析取联结词 1、我明天或者骑车去上班，或者开车去上班。 2、鸟会飞，或济南是山东的省会。 3、明天下雨或下雪。 4、张明或王强都可以做这件事。 条件联结词 设 P 和 Q 是两个命题，用联结词 将二者连接成 ，称为命题 P 和 Q 的合取式复合命题。读“ P条件Q ”、“若P 则Q ”、“ P 蕴含 Q ”。 条件联结词 条件联结词 1、如果他是大学生，那么他会一门外语。 2、如果雪是黑色的，那么3乘3等于9。 3、世界之大，无奇不有。 4、除非你努力，否则你将失败。 5、小王晚上要回家，除非下大雨。 6、只有睡觉才能缓解疲劳。 双条件联结词 设 P 和 Q 是两个命题，用联结词 将二者连接成 ，称为命题 P 和 Q 的合取式复合命题。读“ P当且仅当Q ”、“P等价Q ” 。 双条件联结词 1、三角形是等腰三角形当且仅当两底角相等。 2、骗子讲真理当且仅当太阳从西方升起。 3、2是素数当且仅当π是无理数。 合式公式及分类 如果 P 代表一个确切的命题，称 P 为命题常元（量）。如果 P 代表一个不确定的泛指的任意命题，称 P 为命题变元（量）。 命题常元和单个命题变元，称为原子命题公式，简称原子公式（原子）。 合式是由如下的规则生成的公式： （1）单个原子公式是公式； （2）若A是一个合式公式，则 也是一个合式公式； （3）若A、B是合式公式，则 也是合式公式； （4）有限次利用上述三条规则生成的公式才是合式公式。 合式公式及分类 优先级别由高到低： 相同联结词从左到右次序计算时，括号可以省略。 最外层的括号可以省略。 真值表 指派：对命题公式中出现的每一个命题变元指派相应的真值，称该组真值为公式的一个指派或解释。 对于每个指派，命题公式有一个真值。若公式真值为真，则该指派为成真指派；否则为成假指派。 将命题公式中每一种可能的指派，以及在相应的指派下命题公式的真值所列成的表，称为真值表。 真值表 真值表 命题变元按字母排列； 指派按二进制由小到大排列； 公式按构造的顺序由简单到复杂排列； 真值表 内容回顾 命题与命题联结词； 合式公式； 公式的真值表； 公式的分类； 真值表 真值表 等价式与等价演算 设 A 和 B 是两个命题公式，如果A和B在任意指派下，其真值都是相同的，则称 A 和 B 是等价的，或逻辑相等，记为 。 等价式与等价演算 双否定： 交换律： 结合律： 分配律： 德摩根律： 等幂律： 同一律： 等价式与等价演算 零律： 吸收律： 互补律： 条件转化律： 双条件式转化律： 输出律： 归谬律： 等价式与等价演算 （代入规则）在一个永真式里，任何一个原子命题变元出现的每一处，用另一个公式代入，所得的公式仍然是永真式。 等价式与等价演算 （替换规则）设A1是A的子公式，若A1与B1等价，并且将A中的所有A1用B1替换得到公式B，则A与B等价。 等价式与等价演算 张三说李四在说谎，李四说王五在说谎，王五说张三和李四都在说谎。请问到底谁在说谎？ 设计一个控制电路，在房间外、门内及床头分别装有控制电灯的三个开关，要求任意一个开关的开或关可以控制灯的亮与灭。 对偶式 在给定的仅含有否定、合取和