离散数学与201024 .pptVIP

*集美大学理学院 * 例3.3.7 写出下列公式的真值表，并验证其公式是重言式、矛盾式、可满足公式。 （1）G1=(Ｐ→Ｑ)?(?Ｐ∨Ｑ)； （2）G2=(Ｐ?Q)?(?(Ｐ→Q)∨?(Q→Ｐ))； （3）G3=(P→?Q)∨?Q。 * 例3.3.7 解 P Q (Ｐ→Ｑ) ?(?Ｐ∨Ｑ) (Ｐ? Q)? ?(Ｐ→Q)∨?(Q→Ｐ) (P→?Q)∨? Q 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 永真公式 永假公式 可满足公式 三个公式的真值表如下： * 若将其看成两个公式，分别令： Ｇ＝Ｐ→Ｑ， Ｈ＝┐Ｐ∨Ｑ。 则Ｇ?Ｈ是一个永真公式，即这两个公式对任何解释都必同为真假，此时，说Ｇ和Ｈ相等，记为Ｇ＝Ｈ。为此可定义： 分析公式（1） 定义3.3.6 设G、H是公式，如果在任意解释Ｉ下，G与H的真值相同，则称公式G、H是等价的，记作G＝H。 * 公式G、H等价的充分必要条件是公式G?H是永真公式 证明:“?”假定G，H等价，则G，H在其任意解释Ｉ下或同为真或同为假，于是由“?”的意义知，G?H在其任何的解释Ｉ下，其真值为“真”，即G?H为永真公式。 “?”假定公式G?H是永真公式，Ｉ是它的任意解释，在Ｉ下，G?H为真，因此，G、H或同为真，或同为假，由于Ｉ的任意性，故有G＝H。 定理3.3.1 * 首先，双条件词“?”是一种逻辑联结词，公式G?H是命题公式，其中“?”是一种逻辑运算，G?H的结果仍是一个命题公式。而逻辑等价“＝”则是描述了两个公式G与H之间的一种逻辑等价关系，G＝H表示“命题公式G等价于命题公式H”，G＝H 的结果不是命题公式。 其次，如果要求用计算机来判断命题公式G、H是否逻辑等价，即G＝H那是办不到的，然而计算机却可“计算”公式G?H是否是永真公式。 “＝” 与“?”的区别 * “=”的性质 由于“=”不是一个联结词，而是一种关系，为此，这种关系具有如下三个性质： （1）自反性 G=G； （2）对称性 若G=H，则H=G； （3）传递性 若G=H，H=S，则G=S。 这三条性质体现了“=”的实质含义。 * 3.3.4 命题公式的基本等价关系 例3.3.8 证明公式G1＝(Ｐ?Ｑ)与公式G2＝(P→Q)∧(Q→P)之间是逻辑等价的。 解：根据定理3.3.1，只需判定公式G3＝(Ｐ?Ｑ) ?((P→Q)∧(Q→P))为永真公式。 P Q G3＝(Ｐ?Ｑ) ?((Ｐ→Q)∧(Q→Ｐ)) 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 * 设G，H，S是任何的公式，则： 基本等价公式 1) Ｅ1：G∨G＝G (幂等律) Ｅ2：G∧G＝G 2) Ｅ3：G∨H＝H∨G (交换律) Ｅ4：G∧H＝H∧G 3) Ｅ5：G∨(H∨S)＝(G∨H)∨S (结合律) Ｅ6: G∧(H∧S)＝(G∧H)∧S 4) Ｅ7：G∨(G∧H)＝ G (吸收律) Ｅ8：G∧(G∨H)＝ G * 5) Ｅ9：G∨(H∧S)＝(G∨H)∧(G∨S) (分配律） Ｅ10：G∧(H∨S)＝(G∧H)∨(G∧S) 6) Ｅ11：G∨０＝G (同一律) Ｅ12：G∧１＝G 7) Ｅ13：G∨１＝１ (零律） Ｅ14：G∧０＝０ 8) Ｅ15：G∨┐G＝1 (排中律) 9) Ｅ16：G∧┐G＝0 (矛盾律) 基本等价公式（续） * 基本等价公式（续） 10) Ｅ17：┐(┐G)＝G (双重否定律) 11) Ｅ18：┐(G∨H)＝┐G∧┐H (De MoRGan定律) Ｅ19：┐(G∧H)＝┐G∨┐H。 12) Ｅ20: (G?H)＝(G→H)∧(H→G) (等价) 13) Ｅ21：(G→H)＝(┐G∨H) (蕴涵) 14) E22：G →Ｈ＝?Ｈ→?G。 (假言易位) 15) E23：G ?Ｈ＝?G??Ｈ。 (等价否定等式) 16) E24：(G →Ｈ)