第1章节 命题逻辑-7.pptVIP

第一章 命题逻辑1.7对偶与范式 1.7.1 对偶式与对偶原理 在前面介绍的命题定律中，多数是成对出现的，这些成对出现的定律就是对偶性质的反映，即对偶式。利用对偶式的命题定律，可以扩大等价式的个数，也可减少证明的次数。 定义1.7.1: 在给定的仅使用联结词?、∧和∨的命题公式A中， 若把∧和∨互换，F和T互换而得到一个命题公式A*， 则称A*为A的对偶式。 显然，A也是A*的对偶式。可见A与A*互为对偶式。 例1. (┐P∨(Q∧R))* = ┐P∧(Q∨R) ((P∧Q)∧1)* = ((P∨Q)∨0) 由 P↑Q ?┐(P∧Q) 和 P↓Q ?┐(P∨Q) 可知 (P↑Q)*= P↓Q 例1：因为：P∨(P∧Q)?P 由对偶原理: P∧(P∨Q) ?P 例2: 若A?1 则 A*?(1)* 即 A*?0. 例3: 设A为 (P∧Q)∨(┐P∨(┐P∨Q)), B为┐P∨Q,且A?B,则 A*?B*?┐P∧Q. 1.7.2命题公式的析(合)取范式 从前面的讨论可知,存在大量互不相同的命题公 式，实际上互为等价,因此,有必要引入命题公式的标 准形式,使得相互等价的命题公式具有相同的标准形 式。这无疑对判别两个命题公式是否等价以及判定命 题公式的类型是一种好方法,同时对命题公式的简化和 推证也是十分有益的. 定义1.7.2: (1)文字：命题变元及其否定统称为文字(如P , ┐P). (2)简单析取式：仅由有限个文字组成的析取式。 如:P，┐P∨Q，P∨┐P，Q∨P∨┐P， P∨┐Q∨R∨┐S. 其中，每个文字称为析取项。 (3)简单合取式：仅由有限个文字组成的合取式。 如:P, ┐Q, Q∧┐P，P∧┐P， Q∧P∧┐P, P∧┐Q∧R. 其中，每个文字称为合取项。 从定义不难看出: （1）一个文字既可以是简单合取式，也可是简单析取式，如例中P，?Q等。 （2）一个简单析取式是重言式当且仅当它同时含有某个命题变元及其否定式。 （3）一个简单合取式是矛盾式当且仅当它同时含有某个命题变元及其否定式。 定义1.7.3: (1)析取范式：一个命题公式A称为析取范式， 当且仅当A可表为简单合取式的析取， 如：P∨┐Q ，(P∧Q)∨(P∧┐Q∧R), Q∧┐P. (2)合取范式：一个命题公式A称为合取范式， 当且仅当A可表为简单析取式的合取， 如：P∨┐Q ，(P∨Q)∧(P∨┐Q∨R), Q∧┐P. (3)范式：析取范式与合取范式统称为范式。 显然, 任何合(析)取范式的对偶式是析(合)取范式. 定理1.7.4 (范式存在定理) 任一个命题公式都存在着与之等价的析取范式与 合取范式。 例1: 求((P∨Q)?R)?P 的析取范式与合取范式. 例2: 求(P?Q)?R的析取范式与合取范式. 例3: 求 ┐(P∨Q)?(P∧Q)的析取范式与合取范式. ?????例1：求((P∨Q)?R)?P 的析取范式与合取范式。 解: 原式?┐(┐(P∨Q)∨R)∨P ?((P∨Q )∧┐R)∨P ?(P∧┐R )∨(Q∧┐R)∨P (析取范式) ?P∨(P∧┐R )∨(Q∧┐R) ?P∨(Q∧┐R) (析取范式) ?(P∨Q ∨P )∧(┐R∨P ) (合取范式) ?(P∨Q)∧(┐R∨P ) (合取范式) ?????例2：求(P?Q)?R的析取范式与合取范式。 解: 原式?((P?Q)?R)∧(R?(P?Q) ) ?(┐(P?Q)∨R)∧(┐R ∨(P?Q) ) ?(┐(┐P∨Q)∨R)∧(┐R∨┐P∨Q ) ?((P∧┐Q)∨R)∧(┐R∨┐P∨Q ) ?((P∨R)∧(┐Q∨R)∧(┐R∨┐P∨Q ) (合取范式) ?((P∧┐Q)∧(┐R∨┐P∨Q) )∨(R∧(┐R∨┐P∨Q ) ?(P∧┐Q∧┐R)∨(R∧┐P)∨(R∧Q) (析取范式) 例3：求┐(P∨Q)?(P∧Q)的析取范式与合取范式。 解: ┐(P∨Q)?(P∧Q) ?(┐(P∨Q)∧(P∧Q))∨((P∨Q)∧┐(P∧Q)) ?((P∧Q)∧┐P∧┐Q))∨((P∨Q