离散数学
1.复合命题的真值只取决于各原子命题的真值,而与它们的内容、含义无关,与原子命题之间是否有关系无关。
2.命题公式:1)重言式 2)矛盾式 3)可满足式 1.重言式 给定一命题公式,若无论对分量作怎样的指派,其对应的真值永为真,则称该命题为重言式或永真式 2.给定一命题公式,若无论对分量作怎样的指派,其对应的真值永为假,则称该命题为矛盾式或永假公式。 3.如果命题公式既不是重言式,也不是矛盾式,则称该命题公式是可满足式。
3.注意,不要混淆“”和“”。
是联结词,PQ是一个公式,它表示命题公式间的一种二元运算。
不是联结词,PQ不是一个公式。它表示命题公式间的一种关系,即等价关系。
是联结词,PQ是一个公式,它表示命题公式间的一种二元运算。
不是联结词,PQ不是一个公式。它表示命题公式间的一种关系,即等价关系。
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
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))互相对偶
称①为对∧的分配;称②为对∨的分配。
① 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))
① xA(x)∨xB(x)x(A(x)∨B(x))
② x(A(x)∧B(x))(x(A(x)∧xB(x))