离散数学(第3讲).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 定义1.12 设G、H是公式，如果在任意解释Ｉ下，G与H的真值相同，则称公式G、H是等价的 ，记作G?H。 等价式的性质: 1）自反性：A ? A 2）对称性：若 A ? B，则 B ? A 3）可传递性:若 A ? B，B ? C，则A ? C 1.3 命题公式的等价 * 计算机学院 * 基本等价式——命题定律 Ｅ1: G?H ?(G→H)∧(H→G) (等价律) Ｅ2：(G→H) ?(～G∨H) (蕴涵律) Ｅ3：G∨G ? G (幂等律) Ｅ4：G∧G ? G Ｅ5：G∨H ? H∨G (交换律) Ｅ6：G∧H ? H∧G Ｅ7：G∨(H∨S) ?(G∨H)∨S (结合律) Ｅ8: G∧(H∧S) ?(G∧H)∧S Ｅ9：G∨(G∧H) ? G (吸收律) Ｅ10：G∧(G∨H) ? G * 计算机学院 * Ｅ11：G∨(H∧S) ?(G∨H)∧(G∨S) Ｅ12：G∧(H∨S) ?(G∧H)∨(G∧S) Ｅ13：G∨F ? G Ｅ14：G∧T? G Ｅ15：G∨T? T Ｅ16：G∧F? F