x

. m
o m
La Teoría decClases
e.
u t
Autor: Maestro en Ciencias
Bioquímicas.g
Genaro Matus Ortega
w
w
w
 Introducción
x
m
. temas
• La teoría de las Clases es uno de los
fundamentales para la Lógica ym la Matemática
pues permite:
c o
e.
u t
• Explicar nociones fundamentales como el
.
concepto, la funcióng proposicional, la
w
clasificación, etc.
w
w
 Definición de una clase
x
. m
• Una Clase es una colección de entidades
m
(objetos o individuos) bien determinados.
o
• La determinación puede ser
. c realizada por
diferentes caminos como:
t e
g u
a) El método de la Extensión (listando o enumerando los
.
componentes de una clase).

w
b) Método de Comprensión (mencionando la propiedad
w
que caracteriza a todos los individuos de una clase).
w
Comprensión: conjunto de notas pensadas; Extensión: seres que poseen un conjunto de notas
 Simbología
x
• Las clases se simbolizan con letras mayúsculas y los
individuos con minúsculas.
. m
om
• Relaciones entre los individuos.
Pertenencia: ∊ . c
No Pertenencia: ∉ t e
g u
Las groserías no pertenecen a un buen vocabulario: g ∉V

.
Combinación (y, pero, aunque): &
w
g ∉ V & c ∊ V (donde c = cortesía)
Extensión: { }
w
w
R = {Profesores, Estudiantes}
 Simbología
x
• x: “la clase de todos los individuos.m
tales que”
E = x P y AE
o m
. c
E (estudiados) es la clase de los individuos que son Profesores y Alumnos-
Estudiantes.
t e
E = {x ∊ AE & x ∉ AH}
g u
.
donde AH = Alumnos-Holgazanes

w
w universal “para cada”.
∀: Cuantificador
w
 Especies de Clases
x
• Clase universal: V . m
V = x {x = x}
V = x {∀x (x∊V)} om
.c
t e
• Clase nula (clase vacía): Λ
Λ = x {x ≠ x}
Λ= x {∀x(x ∉ Λ)} g
u
.
w
w
Clase unimembre: z = {z}
w
Diagramas de Venn
x
. m
om
. c
t e
Clase

g u
.
w Universo

w
w
 Intersecciones
x
. m
om
Médicos
. c
t e
g u
Psiquiatras
Investigadores

.
w
w
w
 Intersecciones
x
. m
om
. M c
MP
t e MI

g u
P
MPI
PI I

.
w
w
w
 Simbología
x
• Intersección: ⋂ . m
m
M ⋂ I = x {x∊ M & x ∊I }
o
.c
• Unión: ⋃
t e
u
M ⋃ P = x {x∊ M V x ∊P }
g
• Complemento: Ᾱ .
w
Ᾱ = x {x∊ M V & x ∊ A }
w
w
 Relaciones entre clases
x
• De inclusión: . m
⊂: “es una subclase de”
om
A⊂ B ↔ ∀ x (x ∊ A → x ∊ B)
. c
Donde:
t e
↔: “si y solo si”
g u
→: “si… entonces”
.
• De igualdad: w
w
A = B ↔ ∀ x{ (x ∊ A→ x ∊ B) & (x ∊ B → x ∊ A }
w
 Inclusión ≠ Pertenencia
x
. m
• La inclusión ocurre entre Clases (mayúsculas).

o m
.
• La pertenencia ocurre entrec individuos
e
respecto a una o más clases.
t
g u
.
w
w
w