[高等教育]1数理逻辑_02.pptVIP

离散数学(Discrete Mathematics) 第一部分 数理逻辑（Mathematical Logic) 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 1.4.1 真值表(Truth Table) 1.4.2 等价公式(Propositional Equivalences) 1.4.1 真值表 前面在定义联结词时,曾经使用过真值表,下面给出 真值表的定义. 定义1.4.1 (对公式的赋值或解释)设P1 , P2 ,…,Pn是出 现在公式A中的全部的命题变元, 给P1 , P2 ,…,Pn各指 定一个真值，称为对A的一个赋值或解释。若指定的 一组值使A的真值为真(假), 称这组值为A的成真(假)赋值. 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 比如:对公式(P?Q)∧R,赋值011(即令P=0,Q=1,R=1) 为(P?Q)∧R的成真赋值; 另一组赋值010为(P?Q)∧R的成假赋值；还有000，001，111…… 考虑：含有n个命题变元的公式共有多少组不同的赋值？ 定义1.4.2(真值表)在命题公式A中, 对于命题变元的每一组赋值和由它们所确定的命题公式A的真值列成表，称做命题公式A 的真值表。 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 对公式A构造真值表的具体步骤为： （1）找出公式中所有命题变元P1 , P2 ,…,Pn , 列出全部的2n组赋值。 （2）按从小到大的顺序列出对命题变元P1 , P2 ,…,Pn ,的全部2n组赋值。 （3）对应各组赋值计算出公式A的真值，并将其列在对应赋值的后面。 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 例1. 给出┐(P?Q)?(┐P?┐Q)的真值表： 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 例1. 给出┐(P?Q)?(┐P?┐Q)的真值表： 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 例2：构造公式 (P? Q) ∧R的 真值表。 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 例2：构造公式 (P? Q) ∧R的 真值表。 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 练习1：构造公式 (P?Q)?(? Q?? P真值表。 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 练习1：构造公式 (P?Q)?(? Q?? P真值表。 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 1.4.2 等价公式 给定n个 命题变元, 按合式公式的形成规则可以形成无数多个命题公式, 但这些无穷尽的命题公式中，有些具有相同的真值表。 考虑：由n个命题变元能生成??? 种真值(表)不同的命题公式？ 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 1.4.2 等价公式 定义1.4.3: 给定两个命题公式A和B,设P1 , P2 ,…,Pn为出现于A和B中的所有原子变元,若给P1 , P2 ,…,Pn任一组真值指派, A和B的真值都相同,则称A和B是等价的或逻辑相等.记作A ? B 注: (1) “ ? ”不是逻辑联结词. (2)命题公式之间的逻辑相等关系具有： 自反性：A ? A ；对称性：若A ? B，则B ? A； 传递性：若A ? B且B ? C，则A ? C。 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 证明公式等价的方法： 1. 真值表法 2. 等值演算法 1. 真值表法 例1. ┐(P?Q) ?(┐P?┐Q) 见真值表例题1. 例2. 证明: P?Q ?(P→Q)?(Q→P) 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 证明公式等价的方法： 1. 真值表法 2. 等值演算法 1. 真值表法 例1. ┐(P?Q) ?(┐P?┐Q) 见真值表例题1. 例2. 证明: P?Q ?(P→Q)?(Q→P) 第一章 命题逻辑（Propositional Logic） 1.4真值表与