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 o Diagramas de Venn
Por clase se entiende un conjunto de individuos que tienen
una propiedad común. Nótese que la propiedad define a la clase, no al
individuo, lo que lo diferencia esencialmente de la lógica de predicados. En
este caso, por tanto, el valor de verdad viene dado por la pertenencia o no
pertenencia a una clase. Por ello, la tabla de valores de verdad se explicita
como tablas de pertenencia. Todos los conjuntos son clases, pero no todas las
clases son conjuntos. Un conjunto es una clase que al menos contiene una clase,
pero no a sí mismo.
No hay comentarios:
Publicar un comentario