我是靠谱客的博主 忧郁航空,这篇文章主要介绍离散数学复习二:空集、补集、德摩根定律、异或、广义交和广义并,现在分享给大家,希望可以做个参考。

集合关系证明的基本原则

外延性原则
证明两个集合互相包含

当有基本结论时,就可以直接用而不需要全用外延性原则


对S − > -> >P or Q形式的证明思路

  • 1:非P S 推出 Q
  • 2:非Q P 推出 P
  • 3:非P 非Q 推出矛盾
  • 4:利用p析取非p这样的永真式进行分类讨论

关于空集

在这里插入图片描述


关于补集

在这里插入图片描述
在这里插入图片描述


幂等律、吸收律、双重否定等于肯定

在这里插入图片描述


集合相减转化为集合∩

在这里插入图片描述


德摩根定律

在这里插入图片描述在这里插入图片描述
在这里插入图片描述


交对减的分配

在这里插入图片描述


异或运算

在这里插入图片描述
在这里插入图片描述在这里插入图片描述
在这里插入图片描述
在这里插入图片描述


广义的交、并

在这里插入图片描述
在这里插入图片描述


最后

以上就是忧郁航空最近收集整理的关于离散数学复习二:空集、补集、德摩根定律、异或、广义交和广义并的全部内容,更多相关离散数学复习二内容请搜索靠谱客的其他文章。

本图文内容来源于网友提供,作为学习参考使用,或来自网络收集整理,版权属于原作者所有。
点赞(136)

评论列表共有 0 条评论

立即
投稿
返回
顶部