àlgebra de la lògica

Nom donat al càlcul de classes, a causa de l’ús de símbols literals.