离散数学第二讲-重言式.ppt

第二讲 重言式 讲授内容： 1. 重言式 重言式 矛盾式 偶然式 可满足式 非永真式 2. 恒等式 恒等式 恒等式的验证 常用恒等式 3.永真蕴含式 永真蕴含式 永真蕴含式证明 常用永真蕴含式 讲授重点：恒等式、恒等变换 讲授难点：恒等式与永真蕴含式证明 （方法：利用常用公式形式化证明） 1. 重言式 定义1：设 A(P1, P2, …, Pn)是由P1, P2, …, Pn这n个命题变元构成的命题公式，如果 1) 对于所有指派，A取值均为真，则A为重言式(或永真式）。 如： ?P ? P , 2) 对于所有指派，A取值均为假，则A为矛盾式（或永假式）。 如： ?P ? P 3) A即不是永真式，也不是永假式，称A为偶然式。 如： P ? Q 1. 重言式 4）至少存在一个指派，使A为真，则称A为可满足的。 如： P ? Q 5）至少存在一个指派，使A为假，则称A为非永真。 如：P ? Q 2. 恒等式 定义：设A: A(P1, P2, …, Pn), B: B(P1, P2,…, Pn)是两个命题公式，对 P1, P2, …, Pn的所有指派，A和B真值相同（即A ? B为重言式），称A与B逻辑等价，记为A ? B,读作“A恒等于B”或“A等价于B”。 A ? B，它又称为逻辑等价式 2. 恒等式 2）恒等式的证明 ①真值表法（对同一指派，A、B真值是否相同） ②用基本恒等式证明 3）常见恒等式 3.永真蕴含式 定义：如果A →B是永真式，称为永真蕴含式，记为A ? B， 读作“A永真蕴含B”。 1） “?”和“→”区别 “?”：表示永真蕴含关系， “→”是逻辑联结词。 联系：A ? B iff A →B 为重言式 3.永真蕴含式 2）A ? B的证明方法 ①真值表法 ②假定前件为真，若能推出后件为真，则此蕴含式为真。 ③假定后件为假，若能推出前件为假，则此蕴含式为真 3）常见永真蕴含式 为命题公式的变换、推理作准备 1.代入规则：重言式中某个命题变元出现的每一处 均代入以同一公式后, 所得的仍是重言式。 理由：重言式之值不依赖于变元的值。 重言式代入规则验证： 例2 : P → Q ? ?P ?Q 是重言式 用(R ? Q)代替P,得(R ? Q) → Q ? ?(R ? Q) ?Q仍是重言式 根据代入规则，可以由基本恒等式和永真蕴含式导出无穷多的恒等式和永真蕴含式。 2.替换规则 定义：如果X是合式公式A的一部分，且X本身也是一个 合式公式，则称X为公式A的子公式。 替换规则：设X是合式公式A的子公式，若X ? Y,如果将A 中出现X的地方，替换以Y（不必处处）， 所得到的公式B与公式A等价，即A ? B。 这条规则之所以正确是由于对相应变元的任一种指派，X与Y真值相同，故以Y取代X后，B在相应指派下真值与A相同，所以B ? A。 3. 传递规则：若