Une algèbre de Boole est un treillis distributif complété muni des opérations binaires meet (∧) et join (∨), d'un complémentaire unaire (¬) et des éléments bornes 0 et 1, satisfaisant les lois de distributivité, les lois du complément (x ∨ ¬x = 1, x ∧ ¬x = 0) et les identités de De Morgan.

Principe

L'algèbre de Boole axiomise la logique classique bivalente et l'algèbre des ensembles : les opérations binaires se distribuent mutuellement et chaque élément possède un complément unique relatif aux bornes, permettant la manipulation algébrique de la vérité et de l'appartenance.

Démonstration

L'ensemble des parties d'un univers avec ∪, ∩, le complément par rapport à l'univers, l'ensemble vide comme 0 et l'univers comme 1 est une algèbre de Boole ; les formules propositionnelles modulo équivalence logique forment une algèbre de Boole sous ∧, ∨ et ¬.

Mauvaise application

Appliquer un raisonnement booléen dans des treillis non distributifs (par ex. treillis modulaires sans complémentaires) ou traiter les complémentaires comme des complémentaires d'ensembles alors que l'algèbre n'est pas booléenne ; supposer des propriétés σ-définies (mesure) provenant de la structure booléenne.

Conséquence

Permet la simplification algébrique d'expressions logiques et d'opérations sur les ensembles, autorise des théorèmes de représentation, supporte les homomorphismes booléens et les quotients, et sous-tend la logique numérique et le raisonnement propositionnel classique.

Inversion

Une algèbre de Heyting (logique intuitionniste) affaiblit l'exigence de complément : la négation n'est pas involutive et x ∨ ¬x peut ne pas valoir 1. Supprimer la distributivité conduit à des treillis complétés non booléens avec un comportement algébrique différent.

Limite

Doit être bornée, distributive et complétée ; exclut les treillis qui manquent de distributivité ou de complémentaires, les σ-algèbres (la fermeture pour les unions dénombrables relève d'une autre notion) et les structures où la négation n'est qu'un pseudo-complément.

Tension sémantique

Algèbre de Boole versus anneau de Boole : les deux codent les mêmes données algébriques mais avec des opérations primitives différentes ; algèbre de Boole versus σ-algèbre : la σ-algèbre ajoute la fermeture pour unions dénombrables, mettant l'accent sur la mesure.

Synthèse

Une algèbre de Boole est la structure algébrique qui capture la logique classique bivalente et la complémentarité des ensembles : un treillis borné et distributif où chaque élément admet un complément unique, permettant de manipuler algébriquement vérité et appartenance.