Concept information
Preferred term
algèbre de Boole
Definition(s)
-
En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être définie soit comme une structure ordonnée particulière, soit comme une structure algébrique particulière, soit comme un anneau (unitaire) dont tout élément égale son carré. Pour tout ensemble, l'ensemble de ses parties est une algèbre de Boole, l'ordre associé étant l'inclusion et les lois d'anneau la différence symétrique et l'intersection. Un autre exemple est donné par l'ensemble des formules du calcul propositionnel prises à équivalence (en logique classique) près (sur un nombre de variables de cardinal arbitraire), l'ordre associé étant la relation de conséquence logique et les lois d'anneau la disjonction exclusive et la conjonction.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Alg%C3%A8bre_de_Boole_(structure))
Broader concept(s)
Narrower concept(s)
Synonym(s)
- anneau de Boole
In other languages
-
English
-
Boolean lattice
URI
http://data.loterre.fr/ark:/67375/PSR-D2W638N6-D
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}