离散数学-第三章(上)教案.ppt

* * * * * * * * * * * * * * * * * * * * * 计算机应用技术研究所 * 等值演算法 证明两个命题公式之间等值或逻辑等价的另外一种方法叫做等值演算法。 基本思路是：首先用真值表证明一组基本等值式，然后再它们为基础进行命题公式之间的等值演算。 * 计算机应用技术研究所 * 基本等值式 * 计算机应用技术研究所 * 基本等值式 * 计算机应用技术研究所 * 基本等值式 * 计算机应用技术研究所 * 基本等值式 以上共24个等值式都可用真值表证明。下面仅验证德摩根律： ?(A∨B)??A∧?B A∨B A B ?A ?B ?A∧?B ? (A∨B) 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 * 计算机应用技术研究所 * 命题与集合 * 计算机应用技术研究所 * ∪、∩与∨、∧ * 计算机应用技术研究所 * 代入定理 * 计算机应用技术研究所 * 代入定理 【例】设G(P, Q)=(P∧(P→Q))→Q，证明公式G是一个永真公式。另有两个公式： H(P, Q)=P∨?Q; S(P,Q)=P?Q 进一步验证代入定理的