离散数学 II2.pptVIP

1.2 公式的解释与真值表 (2). 重言式的合取，析取，蕴含，等值等都是重言式； (3). 重言式中有许多非常有用的恒等式和永真蕴含式。 对任意的公式，判定其是否为永真公式，永假公式，可满足公式的问题称为给定公式的判定问题。由于一个命题公式的解释的数目是有穷的，所以命题逻辑的判定问题是可解的，即命题的永真，永假性是可判定的。其判定方法有真值表法和公式推演法。 1.2 公式的解释与真值表 例1.7： 判定公式： (1).(P→Q) ?(? P∨Q); (2). ((P→Q)∧P) →Q； (3). P?(Q ∧R)。 2.恒等式： 定义1.12：公式G，H，如果在其任意解释下，其真值相同，则称G是H的等价式(Equivalent)或称G恒等于H，记作G?H。 1.2 公式的解释与真值表 定理1.1：对于公式G和H， G?H的充分必要条件是公式G ?H是重言式。 证明： 必要性：假定G?H，则G和H在其任意解释I下，或同为真或同为假，由“?”的意义知， G ?H在任意解释I下，其真值为真，即G ?H为重言式； 充分性：假设公式G ?H是重言式，I是它的任意解释，在I下， G ?H为真，因此，G，H或同为真或同为假，由于I的任意性，故有G?H。 1.2 公式的解释与真值表 注意?与?不同： (1). ? ：逻辑等价关系， G ? H不是命题公式； (2). ?：逻辑联结词， G ?H是命题公式； (3).计算机不能判断G，H是否逻辑等价，而可计算G ?H是否为重言式。 1.2 公式的解释与真值表 常用逻辑恒等式（P，Q，R为任意命题，T为真命题，F为假命题）： E1 ??P=P 双否定 E2 P∨P=P ∨的幂等律 E3 P∧P=P ∧的幂等律 E4 P∨Q=Q∨P ∨的交换律 E5 P∧Q=Q∧P ∧的交换律 E6 (P∨Q) ∨R=P∨(Q∨R) ∨的结合律 E7 (P∧Q) ∧R=P∧(Q∧R) ∧的结合律 E8 P∧(Q∨R) =P∧Q∨P∧R ∧在∨上的分配律 E9 P∨ (Q∧R) =(P∨Q)∧(P∨R) ∨在∧上的分配律 E10 ?(P∨Q) =?P∧?Q 德·摩根定律 E11 ?(P∧Q) =?P∨?Q 1.2 公式的解释与真值表 E12 P∨(P∧Q) =P 吸收律 E13 P∧ (P∨Q) =P E14 (P→Q) =?P∨Q 蕴含等值式 E15 (P?Q) =(P→Q) ∧(Q→P) 等价等值式 E16 P∨T=T 零律 E17 P∧F=F E18 P∨F=P 同一律 E19 P∧T=P E20 P∨?P=T 排中律 E21 P∧?P=F 矛盾律 E22 (P∧Q→R) =(P→(Q→R)) 输出律 E23 ((P→Q) ∧(P→?Q)) =?P 归谬律 E24 (P→Q) =?Q→?P 逆反律 1.2 公式的解释与真值表 3.永真蕴含式： 定义1.13：若A→B是一永真式，那么称为永真蕴含式，记为A?B，读作A永真蕴含B 常用的永真蕴含式 I1 P=P∨Q I2 P∧Q=P I3 P∧(P→Q) =Q I4 (P→Q) ∧?Q=?P I5 ?P∧(P∨Q) =Q I6 (P→Q) ∧(Q→R) =(P→R) I7 (P→Q) =((Q→R) →(P→R)) I8 ((P→Q) ∧(R→S)) =(P∧R→Q∧S) I9 ((P?Q) ∧(R?S)) =(P?R) 1.2 公式的解释与真值表 4.恒等式和永真蕴含式的两个性质： (1).若A=B， B=C，则A=C；若A=B， B=C，则A=C. (即逻辑恒等和永真蕴含都是可传递的) 证明：A=B， B=C，即A?B， B?C为重言式，对任意的解释I，A和B，B和C的真值相同，则A和C的真值相同。 ∴A ?C为重言式，即A=C； A=B， B=C，即A→B， B→C为真； ∴ (A→B)∧(B→C)为真，由公式I6： A→C为重言式，即A=C。 1.2 公式的解释与真值表 (2).若A=B， A=C，则A=B∧C. 证明：A为真时，B，C都为真，则B∧C也为真，即A→B∧C为真；A为假时，则不管B∧C是真还是假时，A→B∧C均为真，因此A=B∧C。 1.2 公式的解释与真值表 1.2.4：代入规则和替换规则 当一个公式是永真式或永假式时，其公式的真值完全跟随其命题变元的真值的变化而变化，因此，当用其他公式来取代公式中的命题变元时，不会改变公式的永真性和永假性 定理1.2(代入定理) ：设G(P1, …,Pn)是一个命题公式，其中P1, …,Pn是命题变元，G1(P1, …,Pn), … Gn(P1, …,Pn)为任意的命题公式，此时若G是永真公式或永假公式，则用G1取代P1,…,Gn取代Pn后，得到的新的命题公式G