algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] farà emergere la loro doppia natura di anelli che, secondo l’originaria prospettiva di Boole, godono della legge di idempotenza x2=x− i cosiddetti anelli booleani – e di reticoli limitati, distributivi e complemementati, come già intuito da Charles S ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] seguenti proprietà: (a) (commutativi-tà) x⋂y=y⋂x, x⋃y=y⋃x; (b) (associatività) x⋂(y⋂z)=(x⋂y)⋂z, x⋃(y⋃z)=(x⋃y)⋃z; (c) (idempotenza) x⋂x=x, x⋃x=x; (d) (assorbimento) x⋂(x⋃y)=x, x⋃(x⋂y)=x. Si nota che i due assiomi di ciascuna delle quattro proprietà s ...
Leggi Tutto
idempotente
idempotènte agg. [comp. di idem e potente]. – In matematica, detto di un elemento di un insieme algebrico (corpo, anello, ecc.) quando il suo quadrato, e quindi tutte le sue potenze, rispetto a un’operazione dell’insieme, coincidono...