logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] Ebbene, calcoliamo!».
La logica matematica vera e propria nasce però alla metà del 19° secolo con il matematico inglese GeorgeBoole, che fa ricorso ai simboli dell’aritmetica e dell’algebra per trattare sia le proposizioni sia le operazioni eseguite ...
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