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

真值表逻辑等价永真蕴涵 命题公式的真值表 对命题公式中各分量（命题变元）指派所有可能的真值，以及由此而确定的命题公式的真值汇列而成的表称为真值表。 真值表示例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