命题与逻辑.PPT

第一章 命题与逻辑 1.4 对偶式和其它联结词 一、对偶式 在上节表1.3.1中 ，前10个等价关系除重补律外都是关于和成对出现的，这是由于命题公式等价关系的对偶性质。象利用代入规则和置换规则一样，利用对偶原理也可以推导出新的等价关系。 定义1.4.1 设A为仅含有联结词﹁, ∧和∨的命题公式。如果在A中用联结词∨代换∧, 用∧代换∨, 用1代换0, 用0代换1, 这样得到的新的命题公式称为A的对偶式, 记为AD。 显然, A和AD互为对偶式。 例1.4.1　公式((﹁P∧Q)∨﹁R)∧(R∨0)与公式((﹁P∨Q)∧﹁R)∨(R∧1)是互为对偶的。 定理1.4.1　设A和AD互为对偶式，A=A(P1,P2, …Pn) 那么: (1) ﹁A(P1,P2, …Pn)? AD (﹁P1, ﹁P2, …﹁Pn) (2) ﹁A(﹁P1, ﹁P2, …﹁Pn) ? AD (P1,P2, …Pn) 证明 由定理1.3.4, (1)和(2)是可以互相推出的，所以只证明(1)。设L(A)为A中所含联结词的个数，下面对L(A)进行归纳证明。 当L(A)=0时，A=P1, (1)显然成立。 假设当L(A)≤k时，(1)成立。设L(A)=k+1，要证此时(1)也成立。由命题公式的归纳定义可知A为下列三种情形之一: A=﹁A1, A=A1∨A2,