真值表逻辑等价永真蕴涵.ppt

真值表逻辑等价永真蕴涵 命题公式的真值表 对命题公式中各分量（命题变元）指派所有可能的真值，以及由此而确定的命题公式的真值汇列而成的表称为真值表。 真值表示例1 ┐P∨Q的真值表 真值表示例2 (P∧Q) →P的真值表 真值表示例3 构成(P∧Q)→R的真值表 真值表结论 含有n个命题变元的命题公式中，n个变元共有？组不同的取值？ 回答：2n组 永真式和永假式 永真式(重言式) 在命题变元的不同指派下，真值总是真的命题公式，记为1或T 永假式(矛盾式) 在命题变元的不同指派下，真值总是假的命题公式，记为0或F 永真式举例 (P∧Q) →P的真值表 永假式举例 ?((P∧Q) →P)的真值表 逻辑等价 在真值表中，两个命题公式A和B 在分量的不同指派下，其真值总是相同的，则称这两个命题公式A和B是逻辑等价的 记做A?B 逻辑等价例1 证明┐P∨Q ? P→Q 逻辑等价例2 证明 P▽Q?(┐P∧Q)∨(┐Q∧P) 常用的逻辑等价公式(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包含的所有命题变元。 证明逻辑等价、永真（假）式的方法（2） 方法二：命题演算 A? B: A? … ? B A为永真式: A? … ?1 A为永假式: A? … ?0 证明逻辑等价例 证明┐(P?Q) ? P▽Q 证明: 因为P?Q ? (P→Q)∧(Q→P) ┐(P?Q)? ┐((P→Q)∧(Q→P)) ? ┐(P→Q) ∨ ┐(Q→P) ? ┐(┐P∨Q)∨ ┐(┐Q∨P) ? (┐┐P∧┐Q)∨(┐┐Q∧┐P) ? (P∧┐Q)∨(Q∧┐P) ? P▽Q 证明逻辑等价例2 证明 (P∧Q) →P ? 1 证明: (P∧Q) →P ? ┐(P ∧ Q) ∨ P ? (┐P∨┐Q)∨P ? (┐P∨P)∨┐Q ? 1∨┐Q ? 1 对偶式 设A是命题公式，且A中仅有联结词┐，∧，∨ 在A中将∧，∨，1，0分别换成∨，∧ ，0，1后所得的命题公式称为A的对偶式，记为A* 对偶式示例 命题公式┐P∧(Q∨R)的对偶式为? ┐P∨(Q∧R) 命题公式(┐P∧0) ∨Q的对偶式为? (┐P∨1)∧Q 对偶原理 设A、B为仅有命题变元和联结词∧，∨，┐构成的命题公式，A*为A的对偶式，B*为B