跳转至

德摩根定律(De Morgan's Laws)

德摩根定律是命题逻辑和集合论中的一对重要规则,分别描述了逻辑运算符和集合运算符如何通过否定(非)操作进行转换。这些定律由19世纪英国数学家奥古斯都·德摩根提出。

集合论中的德摩根定律

在集合论中,德摩根定律描述了集合运算中的并集和交集操作如何通过补集操作转换。

定律表述

  1. 补集的交集等于各补集的并集
\[ \mathscr{C}(A \cap B) = \mathscr{C}A \cup \mathscr{C}B \]
  1. 补集的并集等于各补集的交集
\[ \mathscr{C}(A \cup B) = \mathscr{C}A \cap \mathscr{C}B \]