离散数学 第1章 命题逻辑_1.pptVIP

1.4 重言式 定义1.4.1 设A是任一命题公式。 ⑴若对A的任意赋值，其真值永为真，则称命题公式A为重言式或永真式。 ⑵若对A的任意赋值，其真值永为假，则称命题公式A为矛盾式或永假式。 ⑶若A不是矛盾式，则称命题公式A为可满足式。 由定义1.4.1可以看出，任何重言式都是可满足式。 显然，重言式的真值表的最后一列全为1，矛盾式的真值表的最后一列全为0，可满足的公式真值表的最后一列至少有一个1。根据这个结论借助于真值表可以判断一个公式是否为重言式，矛盾式或可满足的。当然也可以用等价演算法判断公式的类型。 等价演算的基础 等价关系的性质：自反性：A?A。对称性：若A?B，则B?A。传递性：若A?B且B?C，则A?C。 基本的等价式 置换规则 等价演算的应用 证明两个公式等值 判断公式类型 解判定问题 关于等价演算的说明 【例】. 用等价演算法验证等值式 (p∨q)→r ? (p→r)∧(q→r) (p→r)∧(q→r) ? (?p∨r)∧(?q∨r) (条件等价式) ? (?p∧?q)∨r (分配律、吸收律) ? ? (p∨q)∨r (德摩根律) ? (p∨q)→r (条件等价值式) 解答 例题 【例1.18】用等价演算法判断下列公式的类型。 ⑴ q∨? ((?p∨q)∧p) 解：⑴ q∨?((?p∨q)∧p) ?q∨?((?p∧p)∨(q∧p)) (分配律) ?q∨?(0∨(q∧p)) (矛盾律) ?q∨?(q∧p) (同一律) ?q∨(?q∨?p) (德摩根律) ?(q∨?q)∨?p (结合律) ?1∨?p (排中律) ?1 (零律) 由此可知，⑴为重言式。 ⑵ (p∨?p)→((q∧?q)∧r) ?1→((q∧?q)∧r) (排中律) ?1→(0∧r) (矛盾律) ?1→0 (零律) ?0 (条件联结词的定义) 由此可知，⑵为矛盾式。 ⑶ (p→q)∧?p ?(?p∨q)∧?p (条件等价式) ??p (吸收律) 由此可知，⑶是可满足式。 定理1.4.1 任何两个重言式的合取或析取都是重言式。 证明：设A、B是重言式，对A和 B的任何赋值，总有A为1，B为1，所以 A∧B?1，A∨B?1，故A∧B和A∨B都是重言式。 推论 任何两个矛盾式的合取或析取是矛盾式。 定理1.4.2 一个重言式，对同一分量出现的每一处都用同一合式公式置换，其结果仍是重言式。 推论：一个矛盾式，对同一分量出现的每一处都用同一合式公式置换，其结果仍是矛盾式。 【例1.19】利用定理1.4.2证明((p∨q)∧r)∨?((p∨q)∧r)为重言式。 证明：由排中律知p∨?p为重言式，以((p∨q)∧r)去置换其中的p，得公式((p∨q)∧r)∨?((p∨q)∧r)，根据定理1.4.2，这是重言式。 定理1.4.3 设A、B为两个命题公式，A?B当且仅当A?B是重言式。 证明：设A?B，下证A?B是重言式。 对A，B的任何赋