离散数学 笔记

离散数学

  1.复合命题的真值只取决于各原子命题的真值，而与它们的内容、含义无关，与原子命题之间是否有关系无关。

  2.命题公式：1）重言式   2）矛盾式   3）可满足式         1.重言式  给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为真，则称该命题为重言式或永真式      2.给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为假，则称该命题为矛盾式或永假公式。    3.如果命题公式既不是重言式，也不是矛盾式，则称该命题公式是可满足式。

  3.注意，不要混淆“”和“”。
     是联结词，PQ是一个公式，它表示命题公式间的一种二元运算。
     不是联结词，PQ不是一个公式。它表示命题公式间的一种关系，即等价关系。

  4.命题定律：11)蕴涵律   P→Q等价于¬P∨Q      12)等值律     P↔Q 等价于(P→Q)∧(Q→P)   

       13) 条件式转化律：
           P→Q <=>¬ P∨Q
           P→Q <=>¬ Q→¬P       14）双条件式转化律：
           P↔Q﹤＝﹥(P→Q)∧(Q →P)﹤＝﹥(P∧Q)∨(¬ P∧¬Q)
         ¬P↔Q﹤＝﹥¬(P﹤＝﹥Q)
       15) 输出律：(P∧Q) →R﹤＝﹥P→(Q→R)
       16) 归谬律：(P→Q)∧(P→¬Q)﹤＝﹥¬P 

   5.特称谓词加入规则

    6.量词分配等值式
   ① x(A(x)∧B(x))(xA(x)∧xB(x))
   ② x(A(x)∨B(x))(x(A(x)∨xB(x))互相对偶
   称①为对∧的分配；称②为对∨的分配。

   7.量词分配永真蕴涵式
 ① xA(x)∨xB(x)x(A(x)∨B(x))
 ② x(A(x)∧B(x))(x(A(x)∧xB(x))