交大数理逻辑命题逻辑的等值和推理演算.pptVIP

第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—=A (? P1, ? P2,…, ? Pn) 定理2.5.1： ?(A*)=(? A)*, ?(A—)=(? A)— 如：A= P?(? Q ? R) 则：A*= P ? (?Q ? R) ， A—= ? P ?(Q ? ? R) ?A=? P ? (Q ? ? R) 所以： (? A)*=? P ?(Q ? ? R) ?(A *)= ? P ?(Q ? ? R) 所以： (?A)—= P ? (? Q ? R) ?(A—)= P ? (? Q ? R) 与对偶式有关的定理 定理2.5.2： (A*)*= A, (A—)—= A 定理2.5.3： ? A = A *— 如：A= P?(? Q ? R) 则：?A=? P ? (Q ? ? R) A*= P ? (?Q ? R) 所以：A*—= ? P ? (Q ? ? R) =?A 与对偶式有关的定理 定理2.5.4 若A=B，必有A*=B* 证：A=B ? A?B 永真 ? ?A??B 永真 ? A*—?B*— 永真 ? A*?B* 永真 ? A*=B* 定理2.5.5 若A?B永真，必有B *? A *永真（作业） 定理2.5.6 A与A—同永真，同可满足 A—与A *同永真，同可满足 对偶性是逻辑规律，给证明公式的等值和求否定带来方便 2.6 范 式 简单析取式 它是仅由有限个命题变项或其否定构成的析取式。 如: P，Q， ?P， ?Q， P ? Q， P ? ?Q， ?P ? Q 它是重言式当且仅当它同时含一个命题变项及其否定； 如： P ? ? Q ? ? P 是重言式 简单合取式 它是仅由有限个命题变项或其否定构成的合取式。 如: P，Q， ? P， ? Q， ? P ? ? Q， P ? ? Q 它是矛盾式当且仅当它同时含一个命题变项及其否定。 如： P ? ? P ? Q 是矛盾式 析取范式 析取范式 由有限个简单合取式组成的析取式 A1 ? A2 ? …. ?An（n?1，Ai 都是简单合取式） 如：(P ? ?Q ? ?R) ?( ?P ? Q) ? ?Q 一个析取范式是矛盾式，当且仅当其每个简单合取式都是矛盾式 合取范式 由有限个简单析取式组成的合取式 A1 ? A2 ? …. ?An（n?1, Ai都是简单析取式） 如：(P ?