数理逻辑().pptVIP

3.5 公式的标准型——范式 3.5.1 析取范式和合取范式 定义3.5.1 （1）命题变元或命题变元的否定称为文字 （2）有限个文字的析取称为析取式(也称为子句） （3）有限个文字的合取称为合取式(也称为短语） 例子 （1）Ｐ、?Ｐ是文字； （2）Ｐ∨Ｑ∨Ｒ是子句； （3）Ｐ∧Ｑ∧Ｒ是短语。 例子 Ｐ、?Ｐ是析取范式、合取范式； Ｐ∨Ｑ∨?Ｒ是子句、析取范式、合取范式， (Ｐ∨Ｑ∨ ?Ｒ)仅是子句、合取范式； ?Ｐ∧Ｑ∧Ｒ是短语、析取范式、合取范式， (Ｐ∧Ｑ∧Ｒ)仅是短语、析取范式； (Ｐ∧Ｑ)∨(?Ｐ∧Ｑ)是析取范式； (Ｐ∨Ｑ)∧(?Ｐ∨Ｑ)是合取范式； 句子Ｐ∨(Ｑ∨?Ｒ)、?(Ｑ∨Ｒ)即不是析取范式也不是合取范式 总结 单个的文字是子句、短语、析取范式，合取范式 单个的子句是合取范式； 单个的短语是析取范式； 若单个的子句（短语）无最外层括号，则是合取范式（析取范式）； 析取范式、合取范式仅含联结词集{?，∧，∨} “?”联结词仅出现在命题变元前。 范式的求解方法 定理3.5.1 对于任意命题公式，都存在与其等价的析取范式和合取范式。 范式的求解方法(续) （2）重复使用德?摩根定律将否定号移到各个命题变元的前端，并消去多余的否定号，这可利用如下等价关系：?(?Ｇ) =Ｇ； ?(Ｇ∨Ｈ) = ?Ｇ∧ ?Ｈ； ?(Ｇ∧Ｈ) = ?Ｇ∨ ?Ｈ。 例3.5.1 求公式：(Ｐ→?Ｑ)∨(Ｐ?R)的析取范式和合取范式 范式的不惟一性 考虑公式： (Ｐ∨Ｑ)∧(Ｐ∨Ｒ)， 其与之等价的析取范式： Ｐ∨(Ｑ∧Ｒ)； (Ｐ∧Ｐ)∨(Ｑ∧Ｒ)； Ｐ∨(Ｑ∧?Ｑ)∨(Ｑ∧Ｒ)； Ｐ∨(Ｐ∧Ｒ)∨(Ｑ∧Ｒ)。 这种不惟一的表达形式给研究问题带来了不便。 3.5.2 主析取范式和主合取范式 1. 极小项和极大项 2 主析取范式和主合取范式 定义3.5.4 在给定的析取范式中，每一个短语都是极小项，则称该范式为主析取范式 在给定的合取范式中，每一个子句都是极大项，则称该范式为主合取范式 如果一个主析取范式不包含任何极小项，则称该主析取范式为“空”；如果一个主合取范式不包含任何极大项，则称主合取范式为“空”。 定理3.5.2 任何一个公式都有与之等价的主析取范式和主合取范式。 证明（续1） 若合取范式的某一个子句中缺少该命题公式中所规定的命题变元，则可用公式： (Ｐ∧ ?Ｐ)∨Q = Q 将命题变元P补进去，并利用分配律展开，然后合并相同的子句，此时得到的子句将是标准的极大项. 例3.5.2 利用等价公式转换法求公式(P→Q)→(Q∧R)的主析取范式和主合取范式 。 例3.5.2（续） （2）求主合取范式 (P→Q)→(Q∧R)= (P∧?Q)∨(Q∧R) =(P∨Q)∧(P∨R)∧(?Q∨Q)∧(?Q∨R) = (P∨Q)∧(P∨R)∧(?Q∨R) ——合取范式 =(P∨Q∨(R∧?R))∧(P∨(Q∧?Q)∨R)∧ ((P∧?P)∨?Q∨R) = (P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ∧(P∨?Q∨R)∧((P∨?Q∨R) ∧(?P∨?Q∨R) = (P∨Q∨R)∧(P∨Q∨?R) ∧(P∨?Q∨R)∧(?P∨?Q∨R) ——主合取范式 真值表技术 列出公式对应的真值表，选出公式的真值结果为真的所有的行，在这样的每一行中，找到其每一个解释所对应的极小项，将这些极小项进行析取即可得到相应的主析取范式。 列出公式对应的真值表，选出公式的真值结果为假的所有的行，在这样的每一行中，找到其每一个解释所对应的极大项，将这些极大项进行合取即可得到相应的主合取范式。 例3.5.4 利用真值表技术求公式G = ┐(Ｐ→Ｑ)∨Ｒ的主析取范式和主合取范式。 例3.5.4(续1) （1）求主析取范式 找出真值表中其真值为真的行： 2. 0 0 1； 4. 0 1 1； 5. 1 0 0； 6. 1 0 1； 8. 1 1 1。 这些行所对应的极小项分别为： ┐P∧┐Ｑ∧Ｒ， ┐P∧Ｑ∧Ｒ，P∧┐Ｑ∧┐Ｒ， P∧┐Ｑ∧Ｒ，P∧Ｑ∧Ｒ。 例3.5.4(续2) 将这些极小项进行析取即为该公式G的主析取范式。 G = ┐(Ｐ→Ｑ)∨Ｒ = (┐P∧┐Ｑ∧Ｒ)∨(┐P∧Ｑ∧Ｒ)∨ (P∧┐Ｑ∧┐Ｒ)∨(P∧┐Ｑ∧Ｒ)∨(P∧Ｑ∧Ｒ) 例3.5.4(续3) （2）求主合取范式 找出真值表中其真值为假的行： 1．0 0 0； 3．0 1 0； 7．1 1 0。 这些行所对应的极大项分别为： P∨Ｑ∨Ｒ、P∨ ┐Ｑ∨Ｒ、 ┐Ｐ∨ ┐Ｑ∨Ｒ 将这些极大项进行合取即为该公式G的主合取范式： G