Algèbre de Boole (structure)
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant. |
En mathématiques, une algèbre de Boole ou un treillis booléen est un type de structure algébrique.
Sommaire |
[modifier] Définition
Une algèbre de Boole est un ensemble E contenant au moins deux éléments particuliers, et , muni de deux lois de composition internes, et , et qui vérifie les axiomes suivants :
- 1. associativité : Pour tous a, b et c de E,
- et
- 2. commutativité : Pour tous a et b de E,
- et
- 3. absorption : Pour tous a et b de E,
- et
- 4. distributivité d'une loi par rapport à l'autre : Pour tous a, b et c de E,
- et
- 5. idempotence : Pour tout a de E,
- et
- 6. bornes : Pour tout a de E,
- et
- 7. complémentarité : Pour tout a de E,
- possède un complémentaire noté , tel que et
Les propriétés 1, 2, 3 et 5 définissent une structure de treillis.
Ainsi, une algèbre de Boole est un treillis borné, distributif et complémenté.
[modifier] Propriétés
Les propriétés suivantes se démontrent à partir des axiomes de la définition :
- .
- .
- Pour tout a de E, .
- Pour tout a de E, le complémentaire est défini de manière unique. Autrement dit :
- est l'élément neutre de la loi .
- est l'élément neutre de la loi .
- Pour tout a et b de E,
-
- .
- (ces deux dernières formules sont les formules de De Morgan).
[modifier] Conclusion
La plus simple algèbre de Boole est l'ensemble des valeurs de vérité {Vrai, Faux} muni des lois ET et OU. C'est la première algèbre qui fut créée par George Boole, un mathématicien britannique qui durant le milieu du XIXe siècle restructura complètement la logique. Cette algèbre a donné naissance à tout une branche des mathématiques et de la logique appelée l'Algèbre de Boole.
Rappelons-nous cependant qu'une algèbre de Boole n'est qu'une construction algébrique abstraite qui dépasse le cadre des fonctions logiques. L'ensemble des parties d'un ensemble, muni des opérations d'union, d'intersection et de complémentation en forme un autre exemple, lui aussi très banal, et particulièrement significatif algèbre de Boole.
[modifier] Voir aussi
- Calcul des propositions
- Ensemblist, un jeu video qui utilise l'algèbre de Boole.
Portail de la logique – Accédez aux articles de Wikipédia concernant la logique. |