第一章命题逻辑讲述.pptVIP

(b) CP规则 有时要证明的有效结论是一个条件命题，即要证明： H1∧H2∧…∧Hn?(A→B) 其中，H1，H2，…，Hn，A，B是命题公式。 令 S?H1∧H2∧…∧Hn 则上式可以简化为 S?(A→B) 由蕴含的定义有 T?S→(A→B)??S∨(?A∨B) ?(?S∨?A)∨B??(S∧A)∨B ?(S∧A)→B ? H1∧H2∧…∧Hn∧A→B 即 H1∧H2∧…∧Hn∧A?B 所以，要证明H1∧H2∧…∧Hn ?(A→B)，只需证明H1∧H2∧…∧Hn∧A?B，其中A叫做附加前提。 这种间接证法称为CP规则。 【例】用CP规则证明：P→(Q→R)，?T∨P，Q?T→R 证明： ⑴ T P(附加前提) ⑵ ?T∨P P ⑶ P T⑴⑵ ⑷ P→(Q→R) P ⑸ Q→R T⑶⑷ ⑹ Q P ⑺ R T⑸⑹ ⑻ T→R CP规则 作业: (2) a)、c) (3) b)、d) (4) 德摩根律 ?(A∨B)??A∧?B ?(A∧B)??A∨?B 很多常用等价式是成对出现的，只要将其中的“∧”和“∨”分别换成“∨”和“∧”，就可以由一个得到另一个。 这些成对出现的等价式反映了等价的对偶性。 定义1-7.1在给定的命题公式中，将联结词∨换成∧，将∧换成∨，若有特殊变元T和F亦相互取代，所得的公式称为公式A的对偶式，记为A*。 A 也是A*的对偶式，(A*)*?A。 【例】求P↑Q和P↓Q的对偶式。 解： P↑Q??(P∧Q) ?(P∧Q)的对偶式是?(P∨Q)?P↓Q 故P↑Q的对偶式是P↓Q； 同样的方法可以证明P↓Q的对偶式是P↑Q。 根据上例，对偶式的概念可以推广为：在仅含有联结词?，∧，∨，↑，↓的命题公式中，将联结词∨，∧，↑，↓，F，T分别换成 ∧，∨，↓，↑，T，F，就得到了它的对偶式。 定理1.7.1 设A*是A的对偶式，P1，P2，…，Pn是出现在A和A*中的原子变元，则 ?A(P1，P2，…，Pn)?A*(?P1，?P2，…，?Pn) A(?P1，?P2，…，?Pn)??A*(P1，P2，…，Pn) 【例】设命题公式A(P,Q,R)?(P∨Q)∧R，试用此公式验证定理1-7.1的有效性。 定理1.7.2 (对偶原理)设P1，P2，…，Pn是出现在公式A和B中的所有原子变元，如果A?B，则A*?B* 证明：因为 A?B 所以 A(P1，P2，…，Pn)?B(P1，P2，…，Pn)是重言式 在上述重言式中用?Pi置换Pi，i＝1, …,n，所得的公式仍为重言式，即 A(?P1，?P2，…，?Pn)?B(?P1，?P2，…，?Pn)是重言式。 所以 A(?P1，?P2，…，?Pn)?B(?P1，?P2，…，?Pn) 由定理1-7.1 ?A*(P1，P2，…，Pn)??B*(P1，P2，…，Pn) 即 ?A*??B* 故 A*?B* 【例】证明重言式的对偶式是矛盾式，矛盾式的对偶式是重言式。 证明(1)设A是重言式，即A?T， 因为T的对偶式是F，由对偶原理知A*?F。 所以A*是矛盾式； (2)设A是矛盾式，即A?F， 而F的对偶式是T，所以A*?T。 所以A*是重言式。 同一命题公式可以由