x

m
.

m
o
La Teora decClases
.
e
t
Autor: Maestro
en Ciencias
u
Bioqumicas.g
Genaro Matus Ortega
w
w
w

Introduccin

x
m
La teora de las Clases es uno de los
. temas
fundamentales para la Lgica ym
la Matemtica
o
pues permite:
c
.
e
t
Explicar nociones fundamentales
como el
u
concepto, la funcin
proposicional, la
g
.
clasificacin, etc.
w
w
w

Definicin de una clase

x
m
Una Clase es una coleccin de entidades
.
(objetos o individuos) bien determinados.
m
o
La determinacin puede ser
realizada por
c
.
diferentes caminos como:
e
t
u
a) El mtodo de la Extensin
g
.
w
b) Mtodo de Comprensin
w
w

(listando o enumerando los

componentes de una clase).

(mencionando la propiedad
que caracteriza a todos los individuos de una clase).

Comprensin: conjunto de notas pensadas; Extensin: seres que poseen un conjunto de notas

Simbologa

x
m
.

Las clases se simbolizan con letras maysculas y los

individuos con minsculas.

m
o
c

Relaciones entre los individuos.

Pertenencia:
No Pertenencia:

.
e
t

u
g

Las groseras no pertenecen a un buen vocabulario: g V

Combinacin (y, pero, aunque): &

g V & c V (donde c = cortesa)

Extensin: { }

R = {Profesores, Estudiantes}

Simbologa

x
x: la clase de todos los individuos.m
tales que
m
E = x P y AE
o
c
.
e
t
E = {x AE & x AH}
u
g
.
w
: Cuantificador
w universal para cada.
w
E (estudiados) es la clase de los individuos que son Profesores y AlumnosEstudiantes.

donde AH = Alumnos-Holgazanes

Especies de Clases
Clase universal: V
V = x {x = x}
V = x {x (xV)}

m
o
c

x
m
.

.
Clase nula (clase vaca):

e
t
= x {x x}
u
= x {x(x )} g
.
w
Clase unimembre: z = {z}
w
w

Diagramas de Venn

x
m
.

m
o
c

.
e
t

Clase

u
g

Universo

Intersecciones

.
e
t

Mdicos

u
g

Psiquiatras

m
o
c

x
m
.

Investigadores

Intersecciones

m
o
c

.
e
t
M

MP

u
g
P

MPI
PI

x
m
.

MI
I

Simbologa

x
m
.

Interseccin:
M I = x {x M & x I }

m
o
c

.
e
t

Unin:

u
g

M P = x {x M V x P }
Complemento:
= x {x M V & x A }

Relaciones entre clases

De inclusin:
: es una subclase de
Donde:

De igualdad:

u
g

m
o
c

.
e
t

A B x (x A x B)
: si y solo si
: si entonces

x
m
.

A = B x{ (x A x B) & (x B x A }

Inclusin Pertenencia

x
m
La inclusin ocurre entre Clases (maysculas).
.
m
o
La pertenencia ocurre entre
individuos
c
.
respecto a una o ms clases.
e
t
u
g
.
w
w
w