Lattice distributif borni (avec un 1 maximal et un 0 minimal) dans lequel tout élément a possède un complément a' tel que a ∧ a' = 0 et a ∨ a' = 1 ; structure algébrique modélisant la logique propositionnelle classique et les opérations sur les ensembles.

Principe

La règle organisatrice est la distributivité combinée à l'existence de compléments : la conjonction et la disjonction interagissent comme intersection et union, et tout sous-ensemble ou proposition admet une négation canonique assurant le raisonnement bivalué classique.

Démonstration

La puissance P(X) d'un ensemble X, munie de ∧ = intersection, ∨ = union, 0 = ∅, 1 = X et du complément usuel, est une algèbre de Boole ; de même les valeurs de vérité avec conjonction, disjonction et négation forment une algèbre de Boole.

Mauvaise application

Considérer qu'un treillis simplement complété est automatiquement de Boole sans vérifier la distributivité (par exemple confondre des treillis orthocomplémentés issus de la logique quantique avec des algèbres de Boole) conduit à des erreurs comme distribuer ∧ sur ∨ alors que cela peut échouer.

Conséquence

Dans une algèbre de Boole, on peut appliquer le raisonnement propositionnel classique, utiliser des compléments uniques pour définir la négation et traduire la structure en anneau de Boole équivalent ; des formes normales et des résultats de classification deviennent disponibles.

Inversion

Inverser vers un treillis borné non booléen (par exemple un treillis complété non distributif ou une algèbre de Heyting) où les compléments peuvent manquer ou le principe du tiers exclu échoue ; les équivalences classiques se désagrègent.

Limite

Exige bornitude, opérations binaires ∧ et ∨, distributivité et compléments pour chaque élément ; exclut les structures sans compléments, sans distributivité ou qui ne représentent que la logique intuitionniste. Les algèbres de Boole finies et infinies sont similaires algébriquement, mais leurs représentations ensemblistes peuvent poser des questions de cardinalité.

Tension sémantique

Entre en tension avec des présentations équivalentes comme les anneaux de Boole (mêmes propriétés mais autres opérations primitives) et avec des treillis complétés non distributifs ; le choix des primitives (∧, ∨, ¬ versus +, ·) influe sur l'intuition et les outils techniques.

Synthèse

Une algèbre de Boole est l'idéalisation algébrique de la logique bivaluée classique et des opérations d'ensembles : un treillis distributif borné où chaque élément admet un complément unique, permettant la négation classique et tout un corpus de raisonnements booléens.