La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase. Es la interpretación de una proposición o enunciado lingüístico bajo la formalización de la teoría de conjuntos, representada por Diagramas de Venn y símbolos del álgebra de conjuntos.