离散数学课件第一章(第3讲).pptVIP

§4等价式与蕴涵式1．等价公式《定义》：如果对两个公式Ａ，Ｂ不论作何种指派，它们真值均相同，则称Ａ，Ｂ是逻辑等价的.并记作：Ａ?Ｂ例：可以证明：Ｐ→Ｑ??Q→?P原命题逆反命题列出真值表,由真值表得：原命题?逆反命题PQP→Q?Q→?PＱ→P?Ｐ→?ＱFFTTTTFTTTFFTFFFTTTTTTTT由等价定义可知：Ａ?Ａ若Ａ?Ｂ，则Ｂ?Ａ若Ａ?Ｂ，Ｂ?C，则Ａ?Ｃ下面列出13组等价公式（1）双重否定律：??Ｐ?Ｐ（2）幂等律：Ｐ∨Ｐ?Ｐ；ＰΛＰ?Ｐ（3）结合律：（Ｐ∨Ｑ）∨Ｒ?Ｐ∨（Ｑ∨Ｒ）；（ＰΛＱ）ΛＲ?ＰΛ（ＱΛＲ）；（Ｐ?Ｑ）?Ｒ?Ｐ?（Ｑ?Ｒ）（4）交换律：Ｐ∨Ｑ?Ｑ∨Ｐ；ＰΛＱ?ＱΛＰ；Ｐ?Ｑ?Ｑ?Ｐ（5）分配律：ＰΛ（Ｑ∨Ｒ）?（ＰΛＱ）∨（ＰΛＲ）；Ｐ∨（ＱΛＲ）?（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ）（6）摩根律：?（Ｐ∨Ｑ）??ＰΛ?Ｑ；?（ＰΛＱ）??Ｐ∨?Ｑ（7）吸收律：Ｐ∨（ＰΛＱ）?Ｐ；ＰΛ（Ｐ∨Ｑ）?Ｐ（8）蕴含律：Ｐ→Ｑ??Ｐ∨Ｑ（9）等价律：Ｐ?Ｑ?（Ｐ→Ｑ）Λ（Ｑ→Ｐ）（10）零律：Ｐ∨Ｔ?Ｔ；ＰΛＦ?Ｆ（11）同一律：Ｐ∨Ｆ?Ｐ；ＰΛＴ?Ｐ（12）否定律：Ｐ∨?Ｐ?Ｔ；ＰΛ?Ｐ?Ｆ（13）逆反律：Ｐ→Ｑ??Ｑ→?Ｐ说明：（1）证明上述１3组等价公式的方法可用真值表法。（2）Λ、∨、?均满足结合律，则在单一用Λ、∨、?联结词组成的命题公式中，括号可以省去。2．置换规则《定义》：给定一命题公式A，其中P1、P2．．．Pn是A中的原子命题变元，若（1）用某些命题公式代换A中的一些原子命题变元Pi（2）用命题公式Bi代换Pi，则必须用Bi代换A中的所有Pi由此而得到的新的命题公式B称为命题公式A的代换实例。讨论定义：（1）用命题公式只能代换原子命题变元，而不能去代换分子命题公式。（2）要用命题公式同时代换同一个原子命题变元。（3）一个命题公式的代换实例有许多个，但不一定都等价于原来的命题公式。例１．设A：Ｐ→（?QΛＰ）若用（Ｒ?Ｓ）代换A中的Ｐ，得B：（Ｒ?Ｓ）→（?QΛ（Ｒ?Ｓ））是A的代换实例.而B’：（Ｒ?Ｓ）→（?QΛＰ）不是A的代换实例。例２．Ｐ→?Ｑ的代换实例有：（ＲΛ?Ｓ）→?Ｍ，（ＲΛ?Ｓ）→Ｐ，Ｑ→?（Ｐ→?Ｑ）等所以，一个命题公式的代换实例有无限个。3.等价置换《定义》：给定一命题公式Ａ，Ａ’是Ａ的任何部分，若Ａ’也是一命题公式，则称Ａ’是Ａ的子命题公式。例：Ａ：（Ｐ∨Ｑ）→（Ｑ∨（ＲΛ?Ｓ））Ａ的子命题公式有：Ｐ、Ｑ、Ｒ、?Ｓ、（Ｐ∨Ｑ）、（ＲΛ?Ｓ）、（Ｑ∨（ＲΛ?Ｓ））、（Ｐ∨Ｑ）→（Ｑ∨（ＲΛ?Ｓ））等。《定理》：给定一命题公式Ａ，Ａ’是Ａ的子公式。设B’是一命题公式，若Ａ’?B’，并用B’取代Ａ中的Ａ’，从而生成一新的命题公式B，则Ａ?B。从定理可见：一个命题公式A，经多次取代，所得到的新公式与原公式等价。例：证明：Ｐ→（Ｑ→Ｒ）?Ｐ→（?Ｑ∨Ｒ）??Ｐ∨?Ｑ∨?ＲP?PP∨?PP∧?PFTTFTFTF《定义》：设公式Ａ中有n个不同的原子变元p1,…pn,(n为正整数)。该变元组的任意一组确定的值（u1,…un）称为Ａ关于p1,…pn的一个完全指派，其中ui或为Ｔ，或为Ｆ。4．命题公式的永真式、永假式和可满足式例：《定义》：如果一个命题公式的所有完全指派均使该公式取真值，则该公式称为永真式或重言式。如果一个命题公式的所有完全指派均使该公式取假值，则该公式称为永假式。既不是永真式，又不是永假式，则称此命题公式是可满足式。讨论：二个永真式的析取、合取、蕴含、等价均为永真式。§5重言式与蕴含式《定义》：当且仅当Ａ→Ｂ是一个永真式，我们称Ａ永真蕴含Ｂ，记作：Ａ?Ｂ说明：(1)“Ａ