离散数学课件19命题逻辑推理.pptVIP

1-7.命题逻辑推理;如何根据前提得到结论，需要有推理的规则。下面先介绍两个推理规则。

规则P(引入前提规则)：在推理过程中，可以随时引入前提。

规则T(引入结论规则)：在推理过程中，如果前边有一个或几个公式永真蕴涵公式S，则可将S纳入推理过程中。

在推理过程中，还要应用教材23永真蕴涵式和9页中等价公式(常用的公式要熟记)

下面主要介绍三种推理方法：

直接推理、条件论证及反证法;重要的重言蕴涵式(如教材第43页所示);重要的等价公式:

对合律E1??P?P

交换律E2P∧Q?Q∧PE3P∨Q?Q∨P

结合律E4P∧(Q∧R)?(P∧Q)∧RE5P∨(Q∨R)?(P∨Q)∨R

分配律E6P∧(Q∨R)?(P∧Q)∨(P∧R)

E7P∨(Q∧R)?(P∨Q)∧(P∨R)

底-摩根定律E8?(P∧Q)??P∨?QE9?(P∨Q)??P∧?Q

幂等律E10P∨P?PE11P∧P?P

同一律E12P∨F?PE13P