Boole-algebra
Door G. Boole (1815-1864) bedachte algebra voor de klas- sencalcuL\lus; later verder ontwikkeld en voor andere toepassingen gebruikt. Als x, yen z klassen van individuen zijn kan men op de gebruikelijke manier produkt (doorsnede) xy, som (vereniging) x + y, verschil x-yen gelijkheid x = y definiëren. Vervolgens kan de geldigheid worden aangetoond v...