刘杰《离散数学1》精品教学2-命题逻辑-new.pptVIP

* 隐含了需要保证S中的公式是相容的??? 注:如果S中一部分公式就可以演绎出G, 则再添加上S中剩余的公式, 也是可以演绎出G的。 * 在命题逻辑中，对于含有有限个原子的命题公式来说，用真值表的方法，总可以在有限的步骤内确定它的真值，因此判定问题总是可解的。但是我们知道，这种方法并不理想，因为公式每增加一个原子，真值表的行数就增加一倍。为了给出另一种方法，我们将介绍命题公式的一种标准形式，即范式，两个命题公式是否等价及一个公式是否恒假(或恒真)的判定，都将由公式的范式来解决。 * * * * * * * * * * * * 在定理2.4.2的证明中，实际上已经给出了求公式的主析取范式的方法。 * * 寻找与公式G等价的主析取范式，也可以通过真值表来做。 如果真值表中没有一行真值为1，则G’=0 * * * 定理2.4.2说存在主析取范式，定理2.4.3说主析取范式形式唯一。从而有一个公式G的主析取范式有，且仅有一个。 * * 极大项有如下性质： （1）n个命题原子P1，…，Pn有2n个不同的解释，每个解释对应P1，…，Pn的一个极大项。 （2）对P1，…，Pn的任意一个极大项M，有且只有一个解释使M取0值，若使极大项取0的解释对应的二进制数为i，则M记为Mi。 （3）任意两个不同的极大项的析取式恒真： Mi ? Mj=1，i≠j。 （4）所有极大项的合取式恒假。 极小项和极大项的关系：mi=? Mi ，Mi=?mi 主合取范式与主析取范式之间的关系 例. 若P?Q?R为一公式G的主合取范式，则 G =??G =?? M0 =?(M1?M2?…?M7) = ?M1??M2?…??M7 = m1? m2?…? m7 为G的主析取范式。 从一公式A的主合取范式（?P?Q）求其主析取范式的步骤为： （1）求出A的主合取范式中没有包含的所有极大项。 P ? Q， P ? ?Q， ?P ? ?Q （2）求出与（1）中极大项下标相同的极小项。 ?P ? ?Q， ?P ? Q， P ? Q （3）将（2）求出的所有极小项析取起来，即得A的主析取范式。 (?P ? ?Q) ? ( ?P ? Q) ? (P ? Q) 例.若（?P?Q）?（?P??Q）?（P?Q）为一公式H的主析取范式， H=??H =??((?P?Q）?（?P??Q）?（P?Q)) =?（?（m0? m1? m3）) = ? (m2) =M2 = ?P?Q 为H的主合取范式。 由主析取范式求主合取范式： （1）求出A的主析取范式中没有包含的所有极小项。m2 （2）求出与（1）中极小项下标相同的极大项。 M2 （3）将（2）求出的所有极大项合取起来，即得A的主合取范式。 定理. 对任意命题公式，存在唯一一个与其等价的主合取范式。 证明: (存在性) 设命题公式G中所有不同原子为P1，…，Pn，则等价于它的主合取范式的求法如下： (a) 将公式G化为合取范式G’。(由定理2.4.1知，存在合取范式G’，使得G=G’) (b) 删去合取范式中所有恒真的子句。 (c) 用等幂律将子句中重复出现的同一文字化简为一次出现，如，P ? P=P。 (d)对于G’中的每一个子句G’i进行检查，如果G’i不是关于P1，…，Pn的极大项，则G’i必然缺少原子Pj1,…Pjk。则可以通过如下方式扩展G’i G’i= G’i? (Pj1?? Pj1) ?…?( Pjk?? Pjk) =Mi1?…?Mi2k 于是将G’中的非极大项G’i化成了一些极大 项的合取。 对其它非极大项也做同样处理，得到等价 于G的主合取范式G’’。 (唯一性)也就是证明对任意两个关于P1，…，Pn的主合取范式，如果公式不完全相同，则G与H不等价。 设公式G、H是关于P1，…，Pn的任意两个主合取范式。若G和H不完全相同，则必然存在一个极大项Mi在G中而不在H中（或相反），则取一解释I使Mi取0值，即，使公式G取0值。由定义可知I使非Mi的极大项都为1，从而有I使H取1值。所以G与H不等价。 定理. 在真值表中，使得公式为假的解释所对应的极大项　 　　 的合取即为此公式的主合取范式。 证明： 给定公式G，设用这种方法写出主合取范式为G’，往证G= G’。 任意取G, G’ 的一个解释I。 如果I满足G，则唯一的一个在I下为假的那个极大项不在G’中出现，而I使所有其他的极大项取1，这样，G’在I下的真值是1； 如果I弄假