Lgica de clases

La lgica de clases analiza la proposicin lgica considerando

la pertenencia o no pertenencia de un elemento o individuo a
una determinada clase. Es la interpretacin de una
proposicin o enunciado lingstico bajo la formalizacin de la
teora de conjuntos, representada por Diagramas de Venn y
smbolos del lgebra de conjuntos.
Por clase se entiende al rechazo de los no pertenecientes del
tal. Ntese que la propiedad define a la clase, no al individuo,
lo que lo diferencia esencialmente de la lgica de predicados.
En este caso, por tanto, el valor de verdad viene dado por la
relacin binaria o dicotoma: 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.
La clase tiene sentido aun cuando no existan individuos. As,
la clase hombre, como concepto de hombre, existe como
propiedad o concepto aunque no existan los hombres. De la
misma forma que existe el concepto de "caballos con alas",
aun cuando no existan pegasos. Pero ni el concepto pegaso es
un "pegaso" ni el concepto hombre es un "individuo humano"
que pertenezca al conjunto.
Las operaciones binarias y unarias entre clases tienen un
paralelismo con las operaciones entre proposiciones, de la
lgica proposicional. La definicin de una operacin de clases
(como se muestra a la izquierda) se realiza, especificando los
elementos que le pertenecen, mediante una operacin de
proposiciones (que se muestra a la derecha, entre corchetes)
Suma Lgica

A\cup B\, [ x \in A \lor x \in B ]

Ejemplo: Los gatos y los seres grises = Todos los gatos y todos
los seres grises, elefantes, trajes etc.
Producto lgico
Son los elementos comunes entre ambas clases:
A\,\cap B\, [ x \in A \land x \in B ]
En el ejemplo anterior el producto lgico, son los gatos grises.
Diferencia lgica de clases
A - B. Los elementos que pertenecen a A y no pertenecen a
B.
Los gatos que no son grises: A - B\, [ x \in A \land x \notin B ]
Diferencia simtrica de clases
Los elementos que pertenecen a A y que pertenecen a B pero
no a ambos:
A \Delta B \, [ x \in A \,\underline{\lor} \, x \in B ]
Clase complementaria
Si establecemos una de las clases como la clase U universal y
tenemos otra A, que es subclase de U, la clase

complementaria de A, se define como la clase constituida por

los elementos que pertenecen a U y no pertenecen a A:
\overline{A}\, [x\in U \land x\notin A]

Si tomamos como clase universal U a los espaoles y como

clase A, los habitantes de la comunidad de Madrid, la clase
complementaria son todos los espaoles que no viven en la
comunidad de Madrid.