Lógica de clase

Clases
Se entiende por clase una pluralidad o conjunto de individuos que tienen una
misma propiedad o propiedades. Según el diagrama de la introducción a la
lógica, en la lógica proposicional, hemos estudiado las oraciones o juicios, las
proposiciones y los razonamientos. En la lógica de clases, nos ocupamos de
los conceptos que designan un grupo de objetos con las mismas propiedades o
características. Estos grupos de objetos, son las clases.
En el lenguaje formal las clases se representan con letras mayúsculas
empezando por la .
Elementos de una clase
Cada uno de los objetos integrantes de una clase, es un elemento o miembro
de la clase. La relación existente entre un elemento y la clase de la que es
miembro, se llama relación de pertenencia, el elemento pertenece a la clase, se
simboliza: [ ]; este símbolo deriva de la palabra griega estí, que significa “es”.
 Por ejemplo: Madrid pertenece a las capitales europeas. .
En general , quiere decir que es un elemento de . Cuando quiero
expresar que un elemento no pertenece a una clase, utilizo el símbolo: .
 Por ejemplo México
Quiere decir que México no pertenece a las capitales europeas.
Las clases se pueden definir por extensión y comprensión. Por extensión
enumerando sus elementos; por comprensión expresando sus propiedades
comunes. La comprensión expresa su definición en términos de idea o
concepto, es decir el significado de la clase o del concepto. La extensión hace
referencia a sus elementos o bien de forma total: o bien de forma
parcial: .

Relaciones entre clases

1. Si todos los elementos de son también de y viceversa, las clases

son idénticas o iguales: .

2. En el caso de que ningún elemento de sea elemento de y viceversa,

las clases son disjuntas:

 Por ejemplo la clase de los madrileños y la de los sevillanos: .

3. Si ambas clases tienen al menos un elemento en común, se expresa

así: y también . El signo se
llama cuantificador universal, quiere decir que hay al menos un
elemento.

4. Si todos los elementos de la clase son también de la clase , pero no

a la inversa, se dice que es una subclase de o que está incluida
en . .
  Por ejemplo: Los alumnos de primero de la Educación Secundaria
Obligatoria y los alumnos de todo el Colegio.

5. Una clase unitaria es una clase que sólo tiene un elemento.

 Ejemplo: Presidente o Presidenta del gobierno.

6. Clase vacía es la que no tiene ningún elemento. Se representa:

Operaciones con clases

Las operaciones binarias y unarias entre clases tienen un paralelismo con las
operaciones entre proposiciones, de la lógica proposicional. La definición de
una operación de clases (como se muestra a la izquierda) se realiza,
especificando los elementos que le pertenecen, mediante una operación de
proposiciones (que se muestra a la derecha, entre corchetes)

Suma Lógica

Ejemplo: Los gatos y los seres grises = Todos los gatos y todos los seres
grises, elefantes, trajes etc.

Producto lógico
Son los elementos comunes entre ambas clases:

En el ejemplo anterior el producto lógico, son los gatos grises.

Diferencia lógica de clases

. Los elementos que pertenecen a A y no pertenecen a B.
Los gatos que no son grises:

Diferencia simétrica de clases

Los elementos que pertenecen a y que pertenecen a pero no a ambos:

Clase complementaria
Si establecemos una de las clases como la clase universal y tenemos otra ,
que es subclase de , la clase complementaria de , se define como la clase
constituida por los elementos que pertenecen a y no pertenecen a :

Si tomamos como clase universal a los españoles y como clase , los

habitantes de la comunidad de Madrid, la clase complementaria son todos los
españoles que no viven en la comunidad de Madrid.

Leyes de la lógica de clases

Las más importantes son:
Impotencia

Conmutativa

Asociativa

Distributiva

Identidad

Complementariedad

Doble Complementariedad

Leyes de Absorción

Leyes de De Morgan

Las demostraciones de estas leyes se realizan por las tablas de pertenencia,

semejantes a las tablas de verdad en la Lógica proposicional:
 [Unparse [Unparse
able or able or
potentiall potentiall
y y
dangerou dangerou
s latex s latex
formula. formula.
Error 3 ] Error 3 ]
[Unparse [Unparse [Unparse [Unparse [Unparse [Unparse [Unparse
able or able or able or able or able or able or able or
potentiall potentiall potentiall potentiall potentiall potentiall potentiall
y y y y y y y
dangerou dangerou dangerou dangerou dangerou dangerou dangerou
s latex s latex s latex s latex s latex s latex s latex
formula. formula. formula. formula. formula. formula. formula.
Error 3 ] Error 3 ] Error 3 ] Error 3 ] Error 3 ] Error 3 ] Error 3 ]

Puede verse el isomorfismo entre la suma lógica de clases y la disyunción de

proposiciones, así como del producto lógico y la conjunción. La diferencia
simétrica con la disyunción exclusiva y entre la clase complementaria y la
negación
IDENTIDAD DE CLASES Y TABLAS DE PERTENENCIA

Podemos averiguar si dos clases son idénticas usando las tablas de

pertenencia.
Ejemplos:
Queremos saber si son idénticas: y
Primero hallamos la tabla de pertenencia de la primera expresión:
Y ahora la segunda:

Las clases del ejemplo son idénticas, ya que tienen la misma tabla de
pertenencia.
También podemos demostrar la identidad de dos clases recurriendo a un
proceso de transformación basado en leyes lógicas:

Procedemos de la siguiente manera:

, por la ley de Morgan para el producto
lógico.
, por la ley distributiva del
producto lógico.
po
r la ley distributiva del producto lógico.
, por
una ley de complementariedad.
, por una ley de identidad.
, por la ley conmutativa de la suma
lógica.
, por la ley conmutativa del producto
lógico.
Estas dos clases, son idénticas.

REPRESENTACIÓN GRÁFICA DE CLASES MEDIANTE LOS DIAGRAMAS DE EULER – VENN

Las clases se representan por un círculo:

Las clases disjuntas:

 Clases distintas:

Inclusión:

Representación de operaciones
Suma lógica:

Producto lógico:
 Diferencia lógica:

Diferencia simétrica:

Clase complementaria:
El silogismo en la lógica de clases
El silogismo es un razonamiento deductivo en el que partiendo de dos o más
premisas, se llega a la conclusión que se deriva necesariamente de ellas. Fue
formulado por primera vez por Aristóteles en su gran obra de Lógica a la que
llamó Organon.

Todos los hombres son mortales.

Sócrates es hombre.
Luego Sócrates es mortal.

También puede haber silogismos inválidos, por ejemplo:

Todos los españoles son simpáticos.

Ningún francés es español.
Luego ningún francés es simpático.

Como se advierte, no hay conexión entre las premisas y la conclusión.

El silogismo y los diagramas de Euler-Venn

Las premisas que constituyen los silogismos pueden ser de cuatro tipos: (A)
Universales afirmativas, (E) universales negativas, (I) particulares afirmativas y
(O) particulares negativas:

Universal Todos Todos los hombres son

A
afirmativa los Son mortales
Universal Ningún hombre es
E Ningún es
negativa mortal
Particular
I Algún es Algún hombre es mortal
afirmativa
Particular Algún hombre no es
O Algún no es
negativa mortal

Para representar estas proposiciones en diagramas, es necesario traducirlas al

lenguaje de la lógica de clases:
(A) Universal afirmativa, "Todos los son " , es decir que la clase de
los que no está incluida en es una clase vacía. En los diagramas, la clase
vacía se simboliza mediante un coloreado rosa, según se observa:
(E) Universal negativa, "Ningún es ", quiere decir que la clase constituida
por los elementos comunes a la clase y a la clase , el producto lógico entre
ambos es una clase vacía, que se simboliza por un coloreado rosa:

(I) Particular positiva, "Algún es ", quiere decir que la clase formada por los
elementos comunes a la clase y a la clase no es vacía, su producto lógico
no es una clase vacía. La clase no vacía se simboliza con una cruz rosa:

(O) Particular negativa, "Algún no es ", afirma que la clase de los que no
pertenecen a no es una clase vacía; por tanto también se simboliza con una
cruz en color rosa:
En el siguiente razonamiento:

Todos los felinos son animales. Los leones son felinos. Luego los leones son
animales.

Simbolización:
= felinos.
= animales.
= leones.

Fácilmente se comprueba su validez debido a la transitividad de la inclusión.

Las leyes lógicas se aplican mejor cuando las premisas son más complejas:

1. Nadie al mismo tiempo sabe tocar la guitarra y lee novelas.

2. Quien no tienen un traje es socio de un club de baloncesto.
3. Quien tiene un Mp3, no se corta el pelo.
4. Nadie que sea miembro de un club de baloncesto, lee novelas.
5. Todo el que es risueño, se corta el pelo.
6. Todos los que no saben tocar la guitarra, tiene Mp3.

¿Se puede obtener alguna conclusión?

Pasamos a simbolizar las premisas:

= los que tocan la guitarra.
= los que leen novelas.
= los que tienen traje.
= los socios de un club de baloncesto.
= los risueños.
= los que tienen Mp3.
= los que se cortan el pelo.

Expresamos ahora las premisas utilizando la inclusión para poder aplicar la ley
de la transitividad:

Ordenándolos correctamente nos queda:

Luego la conclusión será: o Los risueños tienen traje.

Veamos ahora un texto de Bertrand Russel sobre la comprensión y la extensión
de las clases. Es un texto un poco difícil, pero muy interesante:
“Explicar claramente lo que se entiende por “clase”, y distinguir esta noción de
todas las demás con las que se halla relacionada, es uno de los problemas
más importantes y difíciles de la Filosofía matemática. Además de que “clase”
es un concepto muy fundamental, se requieren un cuidado y diligencia
máximos…
Se acostumbra, en todos los trabajos de Lógica, a distinguir dos puntos
básicos, el de extensión y el de comprensión. Generalmente los filósofos han
considerado al último dotado de mayor importancia, mientras que se considera
que la Matemática trabaja especialmente con el primero. M. Couturat, en su
admirable trabajo sobre Leibniz, dice rotundamente que la Lógica simbólica
sólo puede construirse asándose en la extensión; y si sólo existieran estos dos
puntos de vista, su afirmación se hallaría justificada. Pero en realidad, hay
posiciones intermedias entre la comprensión y la extensión puras, y es en ellas
donde la Lógica simbólica tiene sus lares. Es esencial el que las clases a las
que nos referimos estén formadas por términos, y no sean predicados o
conceptos, pues una clase puede definirse cuando se dan sus términos…Por
supuesto que no podemos intentar una definición comprensiva de clase como
la clase de los predicados que se unen a los términos en cuestión y a ningún
otro, porque esto traería aparejado un círculo vicioso; por lo que el punto de
vista de la extensión es, hasta cierto punto inevitable. Por otra parte, si
tomamos extensión pura, nuestra clase se hallará definida por la enumeración
de sus términos, y este método no nos permitiría trabajar como lo hace la
Lógica simbólica, con clases infinitas. De este modo, nuestras clases deben
considerarse, en general, como objetos denotados por conceptos, y en este
sentido es esencial el punto de vista de la comprensión”.