|
Vediamo ora di puntualizzare che le operazioni fondamentali sugli insiemi, sulle proposizioni logiche, nell'algebra di Boole ed in informatica sono esattamente lo stesso tipo di operazioni, il che fa pensare che il ragionamento matematico e' unico, anche se variano gli oggetti cui si applica A tal proposito Hilbert diceva che la matematica sarebbe comunque la stessa se invece di operare sui numeri operasse su boccali di birra le operazioni fondamentali sono le operazioni di base da cui derivano tutte le altre: esse sono: nella teoria degli insiemi: il passaggio al complementare ( A_), l'unione (∪) e l'intersezione (∩) in logica: la negazione logica (not), la disgiunzione inclusiva (vel ∨) e la congiunzione logica (and ∧) nell'algebra di Boole: la negazione ( a'), la somma (a+b ) ed il prodotto (a·b) in informatica: la negazione (porta not), la somma (porta or) ed il prodotto (porta and)
|
|
|
|
|