Àlgebra de Boole

Càlcul lògic, inventat per Georg Boole per la lògica d'enunciats i la lògica de classes, que constitueix el precedent i el fonament de la lògica moderna o lògica matemàtica. Boole considera que els enunciats poden expressar-se com a equacions simples i els raonaments com un sistema d'equacions. Els enunciats categòrics de tipus A, I, I i O es reescriuen en aquesta àlgebra com:

on l'expressió (1-i) és la classe complemento de i, o bé . Els enunciats universals s'expressen com a equacions i els particulars com a inequacions. Els elements d'aquesta àlgebra són les classes, o els conceptes presos extensionalment.