原创力文档- 1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
- 2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
证明：的充要条件是.
证明：若，则，故成立.
反之，若，则，又，若，则
，若，则.总有.故
，从而有。 证毕
证明.
证明：，从而，故，从而，
所以.
另一方面，，必有，故，从而，
所以.
综合上两个包含式得. 证毕
证明定理4中的（3）（4），定理6（De Morgan 公式）中的第二式和定理9.
证明：定理4中的（3）：若（），则.
证：若，则对任意的，有，所以（）成立
知，故，这说明.
定理4中的（4）：.
证：若，则有，使 .
反过来，若则或者.
不妨设，则有使.
故.
综上所述有.
定理6中第二式.
证：，则，故存在 ，所以
从而有.
反过来，若，则使，故，
，从而
.
文档评论（0）