第1章命题逻辑(二)资料.pptVIP

离 散 数 学 戎 玫 2005－9 第1章 命题逻辑 1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论 1.4 重言式 定义1.4.1 设A是任一命题公式。 ⑴ 若对A的任意赋值，其真值永为真，则称命题公式A为重言式或永真式。 ⑵ 若对A的任意赋值，其真值永为假，则称命题公式A为矛盾式或永假式。 ⑶ 若A不是矛盾式，则称命题公式A为可满足的。 由定义1.4.1可以看出，任何重言式都是可满足的。 1.4 重言式 【例1.18】用等价演算法判断下列公式的类型。 ⑴ q∨? ((?p∨q)∧p) ⑵ (p∨?p)→((q∨?q)∧r) ⑶ (p→q)∧?p 解：⑴ q∨?((?p∨q)∧p) ?q∨?((?p∧p)∨(q∧p)) (分配律) ?q∨?(0∨(q∧p)) (矛盾律) ?q∨?(q∧p)