Quelles sont les lois de De Morgan ?

Images des peuples / Getty

Les statistiques mathématiques nécessitent parfois l'utilisation de la théorie des ensembles. Les lois de De Morgan sont deux énoncés qui décrivent les interactions entre diverses opérations de la théorie des ensembles. Les lois sont que pour deux ensembles quelconques UN et B :

1. ( UN ∩ B )^C= UN ^CDANS B ^C.
2. ( UN DANS B )^C= UN ^C∩ B ^C.

Après avoir expliqué ce que signifie chacune de ces déclarations, nous examinerons un exemple d'utilisation de chacune d'entre elles.

Opérations de la théorie des ensembles

Pour comprendre ce que disent les lois de De Morgan, nous devons rappeler quelques définitions des opérations de la théorie des ensembles. Plus précisément, nous devons connaître les syndicat et intersection de deux ensembles et le complément d'un ensemble.

Les lois de De Morgan concernent l'interaction de l'union, de l'intersection et du complément. Rappeler que:

• L'intersection des ensembles UN et B se compose de tous les éléments communs aux deux UN et B . L'intersection est notée UN ∩ B .
• L'union des ensembles UN et B se compose de tous les éléments qui, dans l'un ou l'autre UN ou B , y compris les éléments des deux ensembles. L'intersection est notée A U B.
• Le complément de l'ensemble UN se compose de tous les éléments qui ne sont pas des éléments de UN . Ce complément est noté A^C.

Maintenant que nous avons rappelé ces opérations élémentaires, nous allons voir l'énoncé des lois de De Morgan. Pour chaque paire d'ensembles UN et B Nous avons:

1. ( UN ∩ B )^C= UN ^CDANS B ^C
2. ( UN DANS B )^C= UN ^C∩ B ^C

Ces deux affirmations peuvent être illustrées par l'utilisation de diagrammes de Venn. Comme on le voit ci-dessous, nous pouvons le démontrer à l'aide d'un exemple. Afin de démontrer que ces affirmations sont vraies, nous devons prouver leur en utilisant les définitions des opérations de la théorie des ensembles.

Exemple des lois de De Morgan

Par exemple, considérons l'ensemble de nombres réels de 0 à 5. Nous l'écrivons en notation d'intervalle [0, 5]. Dans cet ensemble, nous avons UN = [1, 3] et B = [2, 4]. De plus, après application de nos opérations élémentaires nous avons :

• Le complément UN ^C= [0, 1) DANS (3, 5)
• Le complément B ^C= [0, 2) DANS (4, 5)
• L'Union UN DANS B = [1, 4]
• Le carrefour UN ∩ B = [23]

On commence par calculer l'union UN ^CDANS B ^C. On voit que la réunion de [0, 1) U (3, 5] avec [0, 2) U (4, 5] est [0, 2) U (3, 5]. L'intersection UN ∩ B est [2, 3]. On voit que le complémentaire de cet ensemble [2, 3] est aussi [0, 2) U (3, 5). On a ainsi démontré que UN ^CDANS B ^C= ( UN ∩ B )^C.

Maintenant, nous voyons l'intersection de [0, 1) U (3, 5] avec [0, 2) U (4, 5] est [0, 1) U (4, 5]. Nous voyons aussi que le complément de [ 1, 4] est aussi [0, 1) U (4, 5). De cette manière, nous avons démontré que UN ^C∩ B ^C= ( UN DANS B )^C.

Dénomination des lois de De Morgan

Tout au long de l'histoire de la logique, des gens comme Aristote et Guillaume d'Ockham ont fait des déclarations équivalentes aux lois de De Morgan.

Les lois de De Morgan portent le nom d' Augustus De Morgan , qui a vécu de 1806 à 1871. Bien qu'il n'ait pas découvert ces lois, il fut le premier à introduire formellement ces énoncés en utilisant une formulation mathématique en logique propositionnelle.