离散数学 命题逻辑2.pptVIP

* * 真值表逻辑等价永真蕴涵 命题公式的真值表 对命题公式中各分量（命题变元）指派所有可能的真值，以及由此而确定的命题公式的真值汇列而成的表称为真值表。 真值表示例1 ┐P∨Q的真值表 P Q ┐P ┐P∨Q 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 真值表示例2 (P∧Q) →P的真值表 P Q P∧Q (P∧Q) →P F F F T F T F T T F F T T T T T 真值表示例3 构成(P∧Q)→R的真值表 P Q R P∧Q (P∧Q)→R 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 真值表结论 含有n个命题变元的命题公式中，n个变元共有？组不同的取值？ 回答：2n组 永真式和永假式 永真式(重言式) 在命题变元的不同指派下，真值总是真的命题公式，记为1或T 永假式(矛盾式) 在命题变元的不同指派下，真值总是假的命题公式，记为0或F 永真式举例 (P∧Q) →P的真值表 P Q P∧Q (P∧Q) →P 1 0 0 1 0 1 0 1 1 0 0 1 1 1 1 1 (P∧Q) →P是永真式 永假式举例 ?((P∧Q) →P)的真值表 P Q P∧Q ?((P∧Q) →P) 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 ?((P∧Q) →P)是永假式 逻辑等价 在真值表中，两个命题公式A和B 在分量的不同指派下，其真值总是相同的，则称这两个命题公式A和B是逻辑等价的 记做A?B 逻辑等价例1 证明┐P∨Q ? P→Q P Q ┐P∨Q P→Q 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 逻辑等价例2 证明 P▽Q?(┐P∧Q)∨(┐Q∧P) P Q (┐P∧Q)∨(┐Q∧P) P▽Q 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 常用的逻辑等价公式(1) P?Q ??P∨Q P?Q?(P?Q)∧(Q?P) ? (P∧Q)∨(┐P∧┐Q) P▽Q ? (P∧┐Q)∨(Q∧┐P) 常用的逻辑等价公式(2) ┐┐P ? P (对合律) (P∨Q)∨R ? P∨(Q∨R) (结合律) (P∧Q)∧R ? P∧(Q∧R) P∨Q ? Q∨P (交换律) P∧Q ? Q∧P P∨(Q∧R) ? (P∨Q)∧(P∨R) (分配律) P∧(Q∨R) ? (P∧Q)∨(P∧R) P∨(P∧Q) ? P (吸收律) P∧(P∨Q) ? P 常用的逻辑等价公式(3) ┐(P∨Q) ? ┐P∧ ┐Q (摩根律) ┐(P∧Q) ? ┐P∨ ┐Q P∨P ? P (等幂律) P∧P ? P P∨0 ? P (同一律) P∧1 ? P P∨1 ? 1 (零律) P∧0 ? 0 P∨ ┐P ? 1 (否定律) P∧ ┐P ? 0 代换规则 设命题公式A和B逻辑等价，即A?B， 如果在命题公式C中出现A的地方用B替换后(不一定是每一处)得到命题公式D 则C?D。 代换规则示例1 证明P∧(P→Q) ? P∧Q 证明: 因为P→Q ? ┐P∨Q， 利用代换规则得 P∧(P→Q) ? P∧(┐P∨Q) ? (P∧ ┐P)∨(P∧Q) ? 0∨(P∧Q) ? P∧Q 命题的演算 利用代换规则从一个命题得到另一个逻辑等价的命题称为命题的演算。 证明逻辑等价、永真（假）式的方法（1） 方法一：真值表法 设P1,…,Pn为命题A和B包含的所有命题变元。 P1 … Pn A B v1 v1 v2 v2 v3 v3 … … A ? B P1 … Pn A 0 0 … 0 P1 … Pn A 1 1 … 1 A为永真式 A为永假式 证明逻辑等价、永真（假）式的方法（2） 方法二：命题演算 A? B: A? … ? B A为永真式: A? … ?1 A为永假式: A? … ?0 证明逻辑等价例 证明┐(P?Q) ? P▽