对偶与范式功课.pptVIP

离散数学(Discrete Mathematics) 医学信息工程系 第一章 命题逻辑（Propositional Logic） 1.7对偶与范式(Dual Normal Form) 1.7.1 对偶式与对偶原理(Dualistic Formula Duality Principle) 1.7.2命题公式的析(合)取范式(The Disjunctive Conjunctive Normal Forms of a Propositional Formula) 1.7.3命题公式的主析(合)取范式(The Principal Disjunctive Conjunctive Normal Form of a Propositional Formula) 在第四节(1.4)中我们给出了命题定律(P15 表1-4.8), 其中 多数等价公式都是成对出现的, 每一对公式的不同之处 是将?与?互换,我们把这样的公式称为是对偶的. 定义1.7.1:设命题公式A仅含有联结词┐,?,?,在A中将?,?，F，T分别换以?，?，T，F得出公式A*，则A*称为A的对偶公式。 说明:(A*)*= 例1. P?Q?R的对偶式是： 关于对偶式我们有如下两个定理: 定理1.7.1:设A，A*是对偶式， P1 , P2 ,…,Pn是出现于A和A*中的所有原子变元,则 (1) ┐A(P1 , P2 ,…,Pn )?A*（┐P1 , ┐P2 ,…, ┐Pn） (2) A(┐P1 , ┐P2 ,…, ┐Pn)?┐A*（P1 , P2 ,…,Pn） 证明:因为 ┐(P?Q)?(┐P?┐Q) ┐(P?Q)?┐P?┐Q 所以┐A(P1 , P2 ,…,Pn )?A*（┐P1 , ┐P2 ,…, ┐Pn） 同理 ┐A*(P1 , P2 ,…,Pn )?A（┐P1 , ┐P2 ,…, ┐Pn） 定理1.7.2(对偶原理):设A,B为两个仅含有联结词┐,?,?的命题公式, 若A?B，则 证：设P1 , P2 ,…,Pn是出现于A和B中的所有原子变元. 因为 A(P1 , P2 ,…,Pn)?B(P1 , P2 ,…,Pn) 则 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* . 例1：因为： P?(P?Q)?P 由对偶原理: 例2: 若A?1 则 A*?(1)* 即 例3: 设A为 (P?Q)?(┐P?(┐P?Q)),B为┐P?Q, 且A?B,则 A*?B* 定理1.7.3:设A,B为两个仅含有联结词┐,?,?的命题 公式, 若A?B，则 证：设P1 , P2 ,…,Pn是出现于A和B中的所有原子变元. 因为 A(P1 , P2 ,…,Pn)?B(P1 , P2 ,…,Pn) 则 A(P1 , P2 ,…,Pn)→B(P1 , P2 ,…,Pn)永真. 故 ┐B(P1 , P2 ,…,Pn)→┐A(P1 , P2 ,…,Pn)永真. 即 B*(┐P1 , ┐P2 ,…, ┐Pn)→A*(┐P1 , ┐P2 ,…, ┐Pn) 永真. 以 Pi代┐Pi， i=1，2………n 得 B*(P1 , P2 ,…, Pn)→A*(P1 , P2 ,…, Pn)永真. 所以 B* ? A* . 从前面的讨论可知,存在大量互不相同的命题公式，实际上互为等价,因此,有必要引入命题公式的标准形式, 使得相互等价的命题公式具有相同的标准形式。这无疑对判别两个命题公式是否等价以及判定命题公式的类型是一种好方法,同时对命题公式的简化和推证也是十分有益的. 定义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）一个简单析取式是重言式当且仅当它同时含有某个命