离散数学02课程.pptVIP

离 散 数 学 离散数学 第一部分 数理逻辑 第二章 命题逻辑等值演算 等值式 析取范式与合取范式 联结词的完备集 可满足性问题与消解法 §1 等值式 定义1 设A, B是两个命题公式，若A, B构成的等价式A?B为重言式，则称A与B是等值的，记作A ? B. 不是联结符(语法)，等值的一种记法，元语言符号(语义) 命题公式之间的等值关系” ? ”是等价关系 具有自反性、对称性和传递性 例1 判断下面公式是否等值 例2 等值判断练习 p → q 与 ? p ∨ q p → (q → r) 与 (p ∧ q) → r (p → q) → r 与 (p ∧ q) → r 下面的逻辑电路功能等效吗 X = (?A∧B∧?C)∨(?A∧B) X = ?A∧B 替换性质 命题1： 设A是一个命题公式，含有命题变项p1, p2, …, pn, 又设A1, A2, …, An是任意的命题公式。对每一个i(i=1,2,…,n), 把pi在A中的所有出现都替换成Ai, 所得到的新命题公式记作B. 那么，如果A是重言式，则B也是重言式。 p ? ? ? p (a+b)2=a2+2ab+b2 注意： 若将pi替换成Ai, 须将pi的所有出现都换为Ai 替换时只能替换命题变元, 不能替换命题公式 文氏图 常用的等值式模式 1. 双重否定律(d