德摩根的法律是什么?

數(shù)學統(tǒng)計學有時需要使用集合論。德摩根定律是描述各種集合論操作之間相互作用的兩個陳述。法則是對于任意兩組AB

  1. ABC=ACUBC。
  2. AUBC=ACBC

在解釋這些陳述中的每一個意味著什么之后,我們將看看每個被使用的例子。

集合理論運算

要理解德摩根定律所說的,我們必須回顧一些集合論操作的定義。具體來說,我們必須了解兩組的并集和交集以及一組的補充。

德摩根的法律涉及工會,交叉點和補充點的互動?;叵胍幌拢?/p>

教育資源網_1

  • 集合AB的交集由AB共有的所有元素組成。交點用AB表示。
  • 集合AB的并集由所有元素組成在AB中,包括兩組中的元素。交點由A U B表示。
  • 集合A的補碼由不是A的元素的所有元素組成。這個補碼用A 91 C 92表示。93

現(xiàn)在我們已經回顧了這些基本操作,我們將看到德摩根定律的陳述。對于每對集合AB,我們有:

  1. ABC=ACUBC
  2. AUBC=ACBC

這兩個陳述可以通過使用維恩圖來說明。如下所示,我們可以證明b為了證明這些陳述是正確的,我們必須使用集合論操作的定義來證明它們。

De Morgan'的例子;s定律

例如,考慮從0到5的實數(shù)集。我們用區(qū)間符號[0,5]寫這個。在這個集合中,我們有A=[1,3]和B=春季飲食養(yǎng)生小常識[2,4]。此外,在應用我們的基本操作后,我們有:

  • 補體AC=[0,1)U(3,5]
  • 補體BC=[0,2)U(4,5]
  • 并集AUB=[1,4]
  • 交點AB=[2,3]

我們首先計算并集ACUBC。我們看到[0,1)U(3,5]與[0,2)U(4,5]的并集是[0,2)U(3,5]。交點AB是[2,3]。我們看到這個集合[2,3]的補碼也是[0,2)U(3,5]。通過這種方式,我們證明了ACUBC=(ABC。

現(xiàn)在我們看到[0,1)U(3,5]與[0,2)U(4,5]的交點是[0,1)U(4,5]。我們還看到[1,4]的補碼也是[0,1)U(4,5]。通過這種方式,我們證明了216 A 217 218 C 219 220 B 221 222 C 223(224 A 225 U 226 B 227)228 C 229。

De Morgan的命名's定律

在整個邏輯史上,奧卡姆的亞里士多德和威廉等人都發(fā)表了相當于德摩根定律的陳述。

De Morgan's定律以Augustus De Morgan命名,他生活于1806-1871年。雖然他沒有發(fā)現(xiàn)這些法則,但他是第一個在命題邏輯中使用數(shù)學公式正式引入這些陳述的人。

311