2-2 命题逻辑的等值与推理演算.ppt

求公式(P??Q)?R 的主合取范式 解1: ： (P??Q)?R = ? (? P ? ? Q) ?R = (P?Q) ? R = (P?Q) ? (Q?R) ① P?R = (P?R) ? (Q ? ?Q ) =(P?R?Q) ? ( P? ?Q ?R) =M111 ? M101 ② Q?R =(Q?R) ? (P? ? P ) =(P?Q ?R) ? (? P? Q ?R) =M111 ? M011 ③ ②, ③代入①并排序，得主合取范式： =M3 ? M5 ? M7 = ?(3,5,7) 解2: (P??Q)?R = ? (? P ? ? Q) ?R = (P?Q) ? R = (P?R)?(Q?R) (合取范式) = M1x1 ? Mx11 = M101 ? M111 ? M011 ? M111 = M3 ? M5 ? M7 = ? (3,5,7) 求公式(P??Q)?R 的主合取范式 = (P?Q)?R （析取范式） = m11x ? mxx1 = (m110 ? m111)?( m001 ? m011 ? m101 ? m111) = ? (1,3,5,6,7) 主析取范式与主合取范式的转换—— ? (1,3,5,6,7) = ?[(0~7)-(1,3,5,6,7)]补 = ?(0,2,4)补 = ?(3,5,7) 作业3 P37: 4 (1) P37: 5 (3)(8) 补充题：（主析取范式的应用） 某勘探队有3名队员，有一天取得一块矿样，3人的判断如下： 甲说：这不是铁，也不是铜； 乙说：这不是铁，是锡； 丙说：这不是锡，是铁。 经实验室鉴定后发现，其中一个人两个判断都正确，一个人判对一半，另一个人全错了。根据以上情况判断矿样种类。 * (P ↑Q)*=P ↓ Q ∨，∧，↑，↓，0，1分别换成 ∧，∨，↓，↑，1，0， * 抄2.5.3 * 公式类别：重言式、矛盾式和可满足式 * 任何析取范式的对偶式为合取范式；任何合取范式的对偶式为析取范式。 例如，A = ? P ?(P ?Q) ?(P ? ? Q ?R) ， A为析取范式 则A的对偶式A* = ? P ? (P ? Q) ? (P ? ? Q ? R) 为合取范式 * 抄（1）~（3） 第2章 命题逻辑的等值和推理演算 2.1 等值定理 2.2 等值公式 2.3 命题公式与真值表的关系 2.4 联结词的完备集 2.5 对偶式 2.6 范式 2.7 推理形式 2.8 基本的推理公式 2.9 推理演算 2.10 归结推理法 讨论等值演算 讨论推理演算 2.4 联结词的完备集 定义 在一个联结词的集合中，如果一个联结词可由集合中的其他联结词定义，则称此联结词为冗余的联结词，否则称为独立的联结词。 如： P ?Q = ? P ? Q P ? Q = (P ? Q) ? (? P ? ? Q ) 在{?，?，?，?，?}中?、?是冗余的。 在{?，?，?}中， P ? Q = ?（ ? P ? ? Q ） 所以?是冗余的。 在{?，?}中无冗余的联结词。 同理，在{?，?}中无冗余的联结词。 联结词的完备集 定义 设C是联结词的集合，若对任一命题公式都由C中的联结词表示出来的公式与之等值，就说C是完备的联结词集合。 显然，全体联结词的无限集合是完备的。 {?，?，?，?，?} {?，?，?，?，?} {?，?，?} {?，?}，{?，?} ，{?}，{?} 等也是完备的。 是完备的 2.5 对偶式 定义 在仅含联结词?，∧，∨的命题公式A中，将联结词∨，∧，F，T分别换成∧，∨，T，F所得的公式称为公式A的对偶式，记为A* 如：P ? Q与P ? Q 是对偶式 (P ? Q) ?R与 (P ? Q) ? R是对偶式 推广 在仅含有联结词?，∧，∨，↑，↓的命题公式中，将联结词∨，∧，↑，↓，F，T分别换成 ∧，∨，↓，↑，T，F，就得到了它的对偶式。 与对偶式有关的定理 设A和A*互为对偶式，P1, P2,…, Pn是出现在A和A*中的全部命题变项，令 A=A (P1, P2, … , Pn),A—