《离散数学》课件_第1章.ppt

依次类推，含n个命题变元P1,P2,…,Pn的极大项的编码为

表1.6.3列出了两个变元P和Q及其极大项的真值表。由表1.6.3可以看出，没有两表1.6.3读者可以验证，这个结论可以推广到三个和三个以上变元的情况。

n个命题变元P1,P2,…,Pn构成的极大项具有如下性质：

(1)每一个极大项当其真值赋值与编码相同时，其真值为F，在其余2n－1种指派下其真值均为T。

(2)任意两个不同极大项的析取式永真。

(3)所有极大项的合取式永假，记为定义1.6.8设P1,P2,…,Pn是命题公式A中包含的所有命题变元，若由P1,P2,…,Pn的若干极大项合取所构成的合取范式与A等价，则称其为A的主合取范式(principleconjunctivenormalform)。

对于一个给定的命题公式，也可以用真值表求得它的主合取范式。

定理1.6.2在一个命题公式A的真值表中，使A的真值为F的所有赋值所对应的极大项构成的合取范式即为A的主合取范式。用构造真值表的方法求命题公式P∧(Q→R)的主合取范式。构造其真值表如表1.6.4所示。表1.6.4除了用真值表求一个命题公式的主合取范式外，也可以用基本等价公式进行等价推演的方法得到它的主合取范式。这是因为任何一个命题公式都可以求得它的合取范式，而合取范式可转化为主合取范式，步骤如下：

(1)将原命题公式转化为合取范式。

(2)将每个析取式等价变换为若干极大项的合取(对每个析取式填补没有出现的变元，如缺P和P，则析取P∧P，再应用分配律展开)。

(3)重复的极大项只保留一个。定理1.6.3已知由n个不同命题变元构成的命题公式A的主析取范式为，其主合取范式为

，则有

证明由于命题公式A的主析取范式为，主合取范式为，则有

且。由此可得：

则有

因为

故有

又因为

定义1.7.1设H1,H2,…,Hn,C是命题公式，若H1∧H2∧…∧HnC，则称C是一组前提H1,H2,…,Hn的有效结论(validconclusion)，或者称C可由前提H1,H2,…,Hn逻辑推出。从前提H1,H2,…,Hn推出结论的过程，称为推理(reasoning)、论证(argument)或证明(proof)。1.7命题逻辑的推理理论如果H1∧H2∧…∧HnC，说明H1,H2,…,Hn可以逻辑推出C，即推理是正确的。但推理正确不保证结论C一定正确，结论的真假取决于前提H1∧H2∧…∧Hn的真假，前提为真时，结论C为真,前提为假时，结论C可能为真，也可能为假。

为了方便起见，通常也可将H1∧H2∧…∧HnC写做H1,H2,…,HnC。

表1.3.3和表1.3.7所列的等价公式和蕴含公式都可以作为推理规则使用。另外，在推理过程中还有两条常用的重要推理规则：

(1)P规则：在推导过程中，前提可以在任何步骤引入。

(2)T规则：在推导过程中，如果由已经推出的一个或多个公式蕴含S，则公式S可以引入到推导过程中。判别结论是否有效有各种不同的方法。下面介绍几种常用的证明方法。

方法1：无义证明法。如果能够证明P恒为假，则有P→Q恒为真，即PQ。

方法2：平凡证明法。如果能够证明Q恒为真，则有P→Q恒为真，即PQ。

方法3：直接证明法。直接证明法就是从一组前提出发，利用公认的推理规则(表1.3.3所列的等价公式、表1.3.7所列蕴含公式、P规则、T规则)，逻辑演绎得到有效结论。具体地说，采用直接证明法证明H1，H2，…，Hn

C的过程如下：

构造一个公式序列A1，A2,…,Am，使之满足:

(1)Am=C。

(2)对于每一个Ai(i=1,2,…,m)，或者Ai=Hj,(1≤j≤n)，即由P规则得到,或者存在Ai1，Ai2,…,Aik(1≤i1＜i2＜…＜ik≤i－1)，Ai1∧Ai2∧…∧AikAi(表1.3.7中的蕴含公式)，或者Ai1∧Ai2∧…