离散数学第一章命题逻辑..ppt

例1.30 设有下列情况，结论是否有效？ (1) 或者是天晴，或者是下雨； (2) 如果是天晴，我去看电影； (3) 如果我去看电影，我就不看书。 结论：如果我在看书，则天在下雨。 解：设 P：天晴。Q：下雨。R：我看电影。S：我看书。 本例可翻译为： 前提为P←∣ → Q，P ?R，R?┐S，结论为S? Q。 （1） S P(附加前提) （2） R?┐S P （3） ┐R T(1),(2) I （4） P ?R P （5） ┐P T(3),(4) I （6） P←∣ → Q P （7） ┐P ? Q T(6) E （8） ┐P ? Q T(7) I （9） Q T(5),(8) I （10） S? Q CP(1),(9) P29 9 P30 17，18 P31 21，23，30 定义1.18 在n个命题变元的简单析取式中，若每个命题变元与其否定不同时存在，而二者之一必出现一次且仅出现一次，则称该简单析取式为大项，或布尔和。 例如，由两个命题变元P和Q，构成大项有P∨Q，P∨┐Q，┐P∨Q，┐P∨┐Q；三个命题变元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。 能够证明，n个命题变元共有2n个大项。 大项编码如下： 如果将n个命题变元排序，并且把命题变元与０对应，命题变元的否定与１对应，则可对2n个大项按二进制数编码，记为Mi，其下标i是由二进制数化成的十进制数。用这种编码所求的2n个大项的真值表，能直接反映出大项的性质。 表1-12给出了2个命题变元P和Ｑ构成所有大项的真值表。 表1-12 M(二) M00 M01 M10 M11 P Q P?Q P?┐Q ┐P?Q ┐P?┐Q 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 M(+) M0 M1 M2 M3 类似可给出３个命题变元P、Q和R的所有大项的真值表，留给读者完成。 从表1-11可看出大项的性质： (a)没有两个大项是等价的。 (b)任何两个不同大项之析取是永真的，即Mi∨Mj?T，i≠j。 (c) 所有大项之合取为永假，即 Mi?F。 (d) 每个大项只有一个解释为假，且其真值0位于主对角线上。这表明每个大项与其成假指派建立了一一对应关系。 定义1.19 在给定公式的合取范式中，若其所有简单析取式都是大项， 称该范式为主合取范式。 定理1.14 任意含有n个命题变元的非永真命题公式A，都存在与其等价的主合取范式。 定理1.15 任意含n个命题变元的非永真命题公式A，其主合取范式是惟一的。 上述两个定理的证明，类似于定理1.12和定理1.13，请读者自己完成。 主合取范式的求法也有两种，类似于主析取范式的求法。 由于主范式是由小项或大项构成，从小项和大项的定义，可知两者有下列关系： ┐mi?Mi ┐Mi?mi 因此，主析取范式和主合取范式有着“互补”关系，即由给定公式的主析取范式可以求出其主合取范式。 设命题公式A中含有n个命题变元，且A的主析取范式中含有k个小项 ， ，…， 。则 ┐A的主析取范式中必含有2n-k个小项，不妨含为 ， ，…， ，即 ┐A? ∨ ∨…∨ 。于是 A? ┐┐A ? ┐( ∨ ∨…∨ ) ? ┐ ∧┐ ∧…∧┐ ? ∧ ∧…∧ 由此可知，从A的主析取范式求其主合取范式的步骤为： (a)求出A的主析取范式中没有包含的小项。 (b) 求出与(a)中小项的下标相同的大项。 (c) 做(b)中大项之合取，即为A的主合取范式。 例如，(P?Q)∧Q?m1∨m3，则(P?Q)∧Q?M0∧M2。 利用主范式可以求解判定问题或者证明等价式成立。 1.判定问题 根据主范式的定义和定理，也可以判定含n个命题变元的公式，其关键是先求出给定公式的主范式Ａ，其次按下列条件判定之： (a) 若A?Ｔ，或A可化为与其等价的、含2n个小项的主析取范式，则A为永真式。 (b) 若A?Ｆ，或A可化为与其等价的、含2n个大项的主合取范式，则A为永假式。 (c) 若A不与Ｔ或者Ｆ等价，且又不含2n个小项或者大项，则A为可满足的。 例1.22 判定下列公式为何类公式： (1) (P?Q)∧Q (2) (P?Q)?(┐P∨Q) 解：用公式化归法，可得 (1) (P?Q)∧Q? M0∧M2? m1∨m3 可见，其主范式中，大、小项数目均不到4，故(P?Q)∧Q为可满足式。 (2) (P?Q)?(┐P∨Q)? ┐(┐P∨Q)∨(┐P∨Q)