"La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad.
Por clase se entiende un conjunto de posibles individuos que tienen una propiedad común. Nótese que la clase define una propiedad, no al individuo; lo que diferencia la lógica de clases de la lógica de predicados. El valor de verdad de la primera viene dado por la pertenencia o no pertenencia del individuo a la clase; su tabla de valores de verdad lógica se explicita como tablas de pertenencia."
Wikipedia.
Para leer más hacer clic aquí.
También dejo este link para tener acceso a un pdf sobre el tema.
