离散数学(1.4真值表与等价公式)课题.pptVIP

* * 离散数学(Discrete Mathematics) * 第一章 命题逻辑（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,赋值FTT(即令P=F,Q=T,R=T) 为(P?Q)∧R的成真赋值; 另一组赋值FTF为(P?Q)∧R的成假赋值；还有FFF，FFT，TTT…… 考虑：含有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)的真值表： P Q P?Q ┐(P?Q) ┐P?┐Q ┐(P?Q) ? (┐P?┐Q) F F F T T F T T * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 例1. 给出┐(P?Q)?(┐P?┐Q)的真值表： P Q P?Q ┐(P?Q) ┐P?┐Q ┐(P?Q) ? (┐P?┐Q) F F F T T T F T F T T T T F F T T T T T T F F T * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 例2：构造公式 (P? Q) ∧R的 真值表。 P Q R P?Q (P? Q) ∧R F F F F F T F T F F T T T F F T F T T T F T T T * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 例2：构造公式 (P? Q) ∧R的 真值表。 P Q R P?Q (P? Q) ∧R F F F T F F F T T T F T F T F F T T T T T F F F F T F T F F T T F T F T T T T T * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 练习1：构造公式 (P?Q)?(? Q?? P真值表。 P Q ? P ? Q P ? Q ? Q?? P (P ? Q)?(? Q ? ? P) F F F T T F T T * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 练习1：构造公式 (P?Q)?(? Q?? P真值表。 P Q ? P ? Q P ? Q ? Q?? P (P ? Q)?(? Q ? ? P) F F T T T T T F T T F T T T T F F T F F T T T F F T T T * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 P Q (P ? Q) ? (P ? Q) ? (P ? Q) ∧ Q F F F T T F T T 练习2：构造公式 ? (P? Q ∧Q 真值表。 * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 P Q (P ? Q) ? (P ? Q) ? (P ? Q) ∧ Q F F T F F F T T F F T F F T F T T T F F 练习2：构造公式 ? (P? Q ∧Q 真值表。 * 第一章 命题逻辑（Propositional Logic） 1.4真值表与等价公式 1.4.2 等价公式 给定n个 命题变元, 按合式公式的形成规则可以形成无