Lógica de clases
De Wikillerato
(→Clases) |
|||
Línea 1: | Línea 1: | ||
==Clases== | ==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. | + | 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 A. | + | En el lenguaje formal las clases se representan con letras mayúsculas empezando por la <math>A</math>. |
==Elementos de una clase== | ==Elementos de una clase== |
Revisión de 08:44 2 abr 2007
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. Madrid C.
En general x C, quiere decir que x es un elemento de C. Cuando quiero expresar que un elemento no pertenece a una clase, utilizo el símbolo: . Por ejemplo México C, 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: .
Tweet