原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
计算机科学课程群
离散数学基础
•定义：对偶
−假设命题A中只有联结词¬,∧和∨，将A中的∧,∨,1,0分别以∨,∧,
0,1全部替换，得到新的A*,A*称为A的对偶，或称A和A*互为对
偶。
−例1：A=(p∧q)∨r，其对偶A*=(p∨q)∧r
−例2：A=(¬p∧¬q)∨r，其对偶A*=(¬p∨¬q)∧r
−这里的等号“A=(p∧q)∨r”表示A的合式描述。
***
•定理1：设A的对偶为A，则(A)⇔A。
**
•定理2：设A、B的对偶分别为A、B，则
(A∧B)******
⇔(A∨B)，(A∨B)⇔(A∧B)
−证明：由对偶的定义得证。
***
•定理3：设A的对偶为A，则¬(A)⇔(¬A)。
−证明：设A中含有联结词个数为L，对L施行数学归纳法证明。
*
−初始化：当L=0时，A中没有联接词，此时A为原子或记为A=p。此时¬(A)
=¬(p*)⇔¬p⇔(¬p)*=(¬A)*
*
−归纳假定：设L≤k(k≥0)时定理成立，即有：¬(A)⇔(¬A)*
−归纳过程：当L=k+1时，L≥1，A中至少有一个联接词。对联结词完备集{¬,∧,
∨}，考虑A中最外层的联接词，有三种情况：A=¬A,A=A∧A,或A=A∨A。
11212
无论何种情形，其中A1和A2中的联接词个数≤k，符合归纳假设条件。
***
•定理3：设A的对偶为A，则¬(A)⇔(¬A)。
−(1)当A=¬A时，由于¬不参与对偶变换，直接有
1
¬(A)*=¬(¬A)*⇔¬(¬A)*⇔¬¬(A)*⇔(A)*=(¬A)*
1111
−(2)当A=A∧A时，有
12
文档评论（0）