离散数学第二讲02.pptVIP

第2讲1

上讲回忆命题概念及其判定五种根本联结词的真值表含义(特别是异或联结词和单条件联结词)利用命题联结词实现语句符号化2

本讲内容命题公式概念;命题公式的真值表;命题公式的根本类型;命题公式等价的定义及其判定;常用的根本等价公式;置换规那么;对偶原理;3

§３命题公式１．命题公式命题常元：表示确定的命题｛T，F｝。命题变元：没有指定真值的命题。常用大写英文字母Ａ…Ｚ表示。命题公式：由命题变元、命题常元、联结词、括号，以规定的格式联结起来的字符串。4

§３命题公式《定义》命题公式按下述法那么来生成：１〕孤立的命题变元是一个命题公式。２〕假设Ａ是命题公式，?Ａ也为命题公式。３〕假设Ａ、Ｂ是命题公式，那么(ＡΛＢ),(Ａ∨Ｂ),(Ａ→Ｂ),(Ａ?Ｂ)均为命题公式。４〕有限次使用〔１〕〔２〕〔３〕所生成的公式均为命题公式。例如：(?(P∨Q))，(P→(Q→R))，((PΛQ)?R)，P都是命题公式。而(P→)，(P∨?)都不是命题公式5

§３命题公式２．命题公式的真值表命题变元用特定的命题来取代，这一过程称为对该命题变元进行赋值(指派)。命题公式A在其所有可能的赋值下的取值列表称为A的真值表。构造真值表的步骤：1)找出给定命题公式中所有的命题变元，列出所有可能的赋值。2)按照从低到高的顺序写出命题公式的各层次。3)对应每个赋值，计算命题公式各层次的值，直到最后计算出整个命题公式的值。6

§３命题公式PQP∨Q(Ｐ∨Ｑ)ΛＰ?((Ｐ∨Ｑ)ΛＰ)FFFFTFTTFTTFTTFTTTTF例１．构造?〔〔Ｐ∨Ｑ〕ΛＰ〕的真值表：7

§３命题公式例２．写出Ｐ∨〔ＱΛＲ〕真值表PQRＰ∨（ＱΛＲ)FFFFFFFTFFFTFFFFTTTTTFFTFTFTTFTTFTFTTTTT8

§３命题公式由上二例可见，２个命题变元有４组真值指派；３个命题变元有23＝８组真值指派；ｎ个命题变元那么有个2n个真值指派。9

§３命题公式３．命题公式的永真式、永假式和可满足式《定义》如果命题公式的每一组命题变元赋值都使公式的取值为真，那么该公式称为永真式。如果命题公式的的每一组命题变元赋值都使公式的取值为假，那么该公式称为永假式。既不是永真式，又不是永假式，那么称此命题公式是可满足式。讨论：〔１〕永真式的否认为永假式〔?Ｔ＝Ｆ〕；永假式的否认为永真式〔?Ｆ＝Ｔ〕。〔２〕二个永真式的析取、合取、蕴含、等价均为永真式。10

§4等价式１．等价式equivalent《定义》：两个公式Ａ，Ｂ在任意一组命题变元赋值下的真值均相同，那么称Ａ，Ｂ(逻辑)等价，亦说Ａ等价于Ｂ〔或B等价于A〕，并记作：Ａ?Ｂ11

§4等价式例：判定Ｐ∨?Ｐ?Ｑ∨?ＱPQP∨?PQ∨?QFFTTFTTTTFTTTTTT12

§4等价式例：判断公式A：(P??Q)?(P?Q)与B：(P??R)?(P?R)是否等价。PQR?QP??QP?Q?RP??RP?RABTTTFTTFTTTTTTFFTTTTTTTTFTTTTFTTTTTFFTTTTTTTTFTTFFTFFTFFFTFFFTTTFFFFFTTTFFFTFFFFFTTFTTFFF13

§4等价式《定理》Ａ?Ｂ的充要条件是Ａ?Ｂ为永真式。说明：“?”为等价关系符,Ａ?Ｂ表示Ａ和Ｂ有等价关系。Ａ?Ｂ不为命题公式。“?”为等价联结词〔运算符〕，Ａ、Ｂ为命题公式，那么〔Ａ?Ｂ〕也为一命题公式。14

§4等价式证明：〔１〕充分性：Ａ?Ｂ为永真式，即Ａ、Ｂ的所有真值取值均相同，所以Ａ?Ｂ。〔２〕必要性：Ａ?Ｂ，即Ａ、Ｂ的所有真值取值均相同，所以Ａ?Ｂ为永真式。例：证明??Ｐ?Ｐ；Ｐ→Ｑ??Ｐ∨ＱPQ??P?PP→Q??P∨QFFFTFTTTFTFTFTTTTFTTTFTFTTTTTTTT15

§4等价式由定理可知：Ａ?Ａ假设Ａ?Ｂ，那么Ｂ?Ａ假设Ａ?Ｂ，Ｂ?C，那么Ａ?Ｃ16

§4等价式下面列出１５组等价公式：〔1〕双重否认律??Ｐ?Ｐ〔2〕同等律Ｐ∨Ｐ?Ｐ；ＰΛＰ?Ｐ〔3〕交换律Ｐ∨Ｑ?Ｑ∨Ｐ；