BooleGeorgeBoole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebra di B.: insieme parzialmente ordinato in cui si definisce un elemento [...] 1 e un elemento 0 in modo che per ogni elemento x- dell'insieme esista un unico elemento x tale che sup{x,x-} =1, inf{x,x-} =0. Un esempio di algebra di B. è il sistema di tutti i sottinsiemi di un dato ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da GeorgeBoole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] che è complementato e potremo definire un’operazione ′: A→A per cui
x ∨ x ′ = 1 x ∧ x ′ = 0.
Le algebre di Boole sono reticoli limitati, distributivi e complementati. Esempi sono l’algebra B(I)=〈P(I),∩,∪,‒〉 dei sottoinsiemi di un insieme dato mentre ...
Leggi Tutto