Curso Matemáticas Discretas

Prof. Jorge Castro Monge, M.Sc.
| INTRODUCCIN A LA TEORA DE CONJUNTOS 1

INTRODUCCIN A LA TEORA DE CONJUNTOS
EL CONCEPTO DE CONJUNTO ES FUNDAMENTAL EN MATEMTICA, incluso ms que la opera-
cin de contar, pues se puede encontrar implcita o explcitamente, en todas las ramas de las ma-
temticas puras y aplicadas. En su forma explcita, los principios y terminologa de los conjuntos se
utilizan para construir proposiciones matemticas ms claras y precisas y para explicar conceptos
abstractos como l.
DEFINICIONES
Sabemos que la palabra conjunto implica la idea de una coleccin de objetos que se caracterizan
en algo comn.
En matemtica tiene el mismo significado, slo que a estos objetos se les llama elementos o
miembros del conjunto.
La nocin simple de una coleccin o conjunto de objetos es fundamental en la estructura bsica
de las matemticas y fue George Cantor, en los aos 1870 quien primero llam la atencin de los
matemticos a este respecto.
No puede darse una definicin satisfactoria de un conjunto en trminos de conceptos simples, por
lo tanto la palabra "CONJUNTO" debe aceptarse lgicamente como un TRMINO NO DEFINIDO. El
concepto de conjunto es simplemente intuitivo.
NOTACIN
Usualmente los conjuntos se representan con una letra mayscula:
A,B,C,D,E,
Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, estos elementos poseen
caractersticas muy particulares y propias de su individualidad, tienen cualidades que nos permiten diferen-
ciarlos, y cada uno de ellos es nico, no habiendo elementos duplicados o repetidos. Los representaremos
con una letra minscula, los elementos de un conjunto se escriben entre llaves y separados por comas:
a,b,c, d,e,f,.
De esta manera, si A es un conjunto, y a, b, c, d, e todos sus elementos, es comn escribir:
A ={a, b, c, d, e}
para definir a tal conjunto .

Prof. Jorge Castro Monge, M.Sc. | INTRODUCCIN A LA TEORA DE CONJUNTOS 2

RELACIN DE PERTENENCIA
Se denomina relacin de pertenencia en teora de conjuntos a la relacin que se d entre en un elemento y
un conjunto (y no a la inversa).
As por ejemplo si el conjunto V ={a, e, i, o, u}, o sea el conjunto V est formado por las letras vocales del
idioma espaol, entonces podemos afirmar que cualquiera de esas vocales es un elemento del conjunto V.
En otras palabras tenemos que:
a pertenece a V, e pertenece a V y as sucesivamente con cada uno de los elementos del conjunto.
Tal relacin se representa simblicamente de la siguiente manera:
o e I quc sc lcc cl clcmcnto o pcrtcncc ol con]unto I,o simplcmcntc o pcrtcnccc o I
El smbolo e sc lcc pcrtcnccc o
Volviendo al conjunto anterior, tambin podemos afirmar que:
z no pcrtcnccc o I
Y se representa simblicamente de la siguiente manera:
z e I
DETERMINACIN DE UN CONJUNTO
Hay dos formas de determinar conjuntos.
POR EXTENSIN
Se dice que un conjunto es determinado por EXTENSIN (o enumeracin), cuando se da una lista
que comprende a todos los elementos del conjunto y slo a ellos.
Ejemplos:
A ={a, e, i, o, u}, entonces a e A, o e A pero v e A
B ={0, 2, 4, 6, 8 }
C ={m, a, t, e, i, c, s }En un conjunto determinado por extensin no se repite un mismo elemento
y contiene cada una de las letras de la palabra matemticas.


POR COMPRENSIN
Se dice que un conjunto es determinado por COMPRENSIN, cuando se enuncia una propiedad
que la cumpla en todos los elementos del conjunto y tal que es vlida slo a ellos.
Ejemplos:
A ={x/x es una letra vocal}
B ={x/x es un nmero positivo par menor que 10}, entonces 2 e B pero 5 e B
C ={x/x es una letra de la palabra matemticas}
Vamos a mostrar un cuadro comparativo de determinacin de conjuntos
Por extensin Por comprensin
A ={a, e, i, o, u } A ={x/x es una vocal }
B ={0, 2, 4, 6, 8 } B ={x/x es un nmero positivo par menor que 10 }
C ={c, o, n, j, u, t, s } C ={x/x es una letra de la palabra conjuntos }
D ={1, 3, 5, 7, 9 } D ={x/x es un nmero positivo impar menor que 10 }
E ={b, c, d, f, g, h, j, . . ., x, y, z} E ={x/x es una consonante del alfabeto espaol}
DIAGRAMAS DE VENN
Los diagramas de Venn tienen el nombre de su creador, John Venn, matemtico y filsofo britnico. Venn
introdujo el sistema de representacin que hoy conocemos en julio de 1880 con la publicacin de su trabajo
titulado De la representacin mecnica y diagramtica de proposiciones y razonamientos en el Philosop-
hical Magazine and Journal of Science, adentrndose de esta manera en el mundo de la lgica formal. El
mtodo de Venn superaba en claridad y sencillez a los sistemas de representacin anteriores, convirtindose
con el tiempo en un nuevo estndar. Venn fue el primero en formalizar su uso y en ofrecer un mecanismo
de generalizacin para los mismos.
Posteriormente desarroll su nuevo mtodo en su libro Lgica simblica, publicado en 1881 con el fin de
interpretar y ampliar nociones del lgebra de Boole en el campo de la lgica formal. Su libro se convirti en
una excelente plataforma de ejemplo para el nuevo sistema de repre-
sentacin. Sigui usndolo en su siguiente libro sobre lgica (Los princi-
pios de la lgica emprica, publicado en 1889), con lo que los diagramas
de Venn se constituyen a partir de entonces como un recurso de repre-
sentacin de relaciones lgicas.
En un Diagrama de Venn cada conjunto se representa mediante un
valo, crculo o rectngulo. Al superponer dos o ms de las anteriores
figuras geomtricas, el rea en que confluyen indica la existencia de un


subconjunto que tiene caractersticas que son comunes a ellas; en el rea restante, propia de cada figura, se
ubican los elementos que pertenecen nicamente a esta. En un diagrama de Venn de dos conjuntos tiene
tres reas claramente diferenciadas: A, B y [A y B].
CONJUNTOS FINITOS
Un conjunto es finito si consta de cierto nmero de elementos distintos, es decir si al contar los
diferentes elementos del conjunto el proceso de contar termina. En caso contrario, el conjunto es
infinito.
Ejemplos:
M ={x / x es un alumno matriculado en el curso Matemtica Discreta}Conjunto finito
N ={0, 1, 2, 3, 4, 5, 6, 7, 8, ... }Conjunto infinito
P ={x / x es un pas miembro de la Organizacin de Naciones Unidas}Conjunto finito
V ={3, 6, 9, 12, 15, 18, 21, 24, 27, ... }Conjunto infinito
IGUALDAD DE CONJUNTOS
Se dice que 2 conjuntos A y B son iguales cuando ambos tienen los mismos elementos, es decir si
cada elemento de A pertenece a B y si cada elemento que pertenece a B pertenece tambin a A.
La igualdad se denota A =B.
En la igualdad, el orden de los elementos de cada conjunto no importa.
Ejemplos:
A ={1, 2, 3, 4} C ={1, 2, 3, 3, 4, 1} E ={x/x es una vocal de la palabra mundo}
B ={3, 4, 1, 2} D ={1, 2, 2, 3, 3, 4,} F ={u, o}
A =B C =D E =F
CONJUNTO VACO
Es un conjunto que no posee elementos. Suele llamrsele conjunto nulo, y se le denota por el sm-
bolo o {}.
Ejemplos:
A ={x/x es nmero natural menor que 0 } A ={} A =


B ={x / x

es un mes que tiene 33 das} B ={} B =
C ={x / x
3
=8 y x es impar } C ={} C =
D ={x / xes un da terrestre de 90 horas } D ={} D =

CONJ UNTO UNITARIO
Es todo conjunto que est formado por un slo y nico elemento.
Ejemplos:
A ={5}
B ={x/x es un nmero par entre 6 y 10}={8}
C ={x/x es la capital de Costa Rica}={San Jos}
D ={x / 2x =6}={3}
CONJ UNTO UNIVERSAL
Es el conjunto que contiene a todos los elementos del discurso, dicho de otra manera es el conjun-
to referencias de todos los elementos que estemos manejando. Es un trmino relativo. Se le deno-
ta por la letra u.
Ejemplos:
Sean los conjuntos:
P ={x x / ex un nmeru pr|mu par}
X ={,2,4,,8,1,12,,1}
I ={x x / ex un nmeru pux|t|uu |mpar menur que 11
Existe otro conjunto que incluye a los conjuntos P, X, I. Es
U ={x/x es un nmero positivo menor o igual que 10}
Grficamente se representa por un rectngulo tal como se observa a continuacin.


CARDINALIDAD DE UN CONJ UNTO
La cardinalidad de un conjunto es un concepto que se refiere al nmero de elementos que tiene
dicho conjunto. En el diagrama anterior la cardinalidad de U es 10 y se representa as:
n(u) =10 o #(u) =10
SUBCONJUNTOS
Decimos que un conjunto A es subconjunto de otro B, si cada elemento de A lo es de B. En este
caso escribimos B Ac . Si A no es un subconjunto de B, se escribe B A.

En trminos simblicos esto suele ser expresado de la siguiente forma:
B a A a B A e e c
Que leemos A est contenido en B si y solo si cada elemento de A, es elemento de B.
Ejemplos:
1. Se tiene que
+
c
.
Por otra parte, si Q denota el conjunto de los nmeros racionales, entonces L
+
c Q.
2. Sean A ={1, 2, 3, 4, 5, 6}, B ={2, 4, 5}y C ={1, 2, 3, 4, 5}.
Entonces, B c A, B c C y C c A. Iucgo, A c B, A c C y C c B.
3. Si A es un conjunto cualquiera, A A_ .


Es decir, todo conjunto es un subconjunto de s mismo.

CONJUNTO DE CONJUNTOS
Es un conjunto cuyos elementos son todos conjuntos.
Ejemplo:
F ={{}, {a}, {a, b}, {a,b,c}}
Solamente en este caso es vlido decir que {a}es un elemento de F, o sea { ; a F e .
Pero no es correcto indicar que { ; , a b F c , ya que en este caso particular { ; , a b F e
CONJUNTO POTENCIA
El conjunto potencia de un conjunto M est formado por la familia de todos los subconjuntos del
conjunto M se le llama Conjunto Potencia de M. Se le denota como 2
M
.
Ejemplos:
a) M ={1, 2 }
El conjunto M tiene 2 elementos, la cardinalidad
de M es 2.
2
M
={{1}, {2}, {1, 2}, } entonces M tiene 2
2
=4 subconjuntos
b) M ={1, 2, 3 } El conjunto M tiene cardinalidad 3.

2
M
={{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2,
3}, }
entonces M tiene 2
3
=8 subconjuntos
Si un conjunto M es finito con "n" elementos, entonces su cardinalidad es n y el conjunto poten-
cia 2
M
tendr 2
n
elementos que corresponde al nmero de subconjuntos de M.


EJERCICIOS:
1. Sea A ={1, 2, 4, 6, a, b, c, d}. Escriba en cada caso una V si la proposicin es verdadera y una F
si es falsa.
a. ( ) 6 e A b. ( ) 3 e A c. c e A d. o e A
e. ( ) e A f. ( ) {}L A g. A e A h. J e A
2. Sea A ={x x e R y x <7 / }. Identifique cada uno de los siguientes casos como verdadero o
falso.
a. ( ) 6 e A b. ( ) 3,65 e A c.
1
4
e A d. V6
3
e A
e. ( ) e A f. ( ) {}L A g. 12 e A h. 3,14 e A
3. En cada parte, escriba un conjunto por extensin con las letras de cada palabra.
a. condecoraciones b. pacifismo c. fundamentalismo
4. En cada parte, forme un conjunto listando sus elementos.
a. El conjunto de todos los enteros positivos que son menores que diez.
b.
{ ;
2
/ 12 x x y x e <
5. En cada parte, escriba el conjunto por comprensin.
a. {2, 4, 6, 8, 10} b. {a, e, o}
c. {1, 8, 27, 64, 125} d. {-2, -1, 0, 1, 2}
6. Sea A ={1, 2, 3, 4, 5}Marque con una X sobre la letra que antecede a cada conjunto si es igual
a A?
a. {4, 1, 2, 3, 5} b. {2, 3, 4}
c. {1, 2, 3, 4, 5, 6} d. {x/x e L y x
2
25}
e.
{ ;
/ 5 x x y x
+
e s f. {x x e L y x 6} /

7. Cules de los siguientes son conjuntos vacos?
a. {x/x 0 1 ,
2
= 9 e x } b. {x/x 0 1 ,
2
= + 9 e x }


c. {x/x 9 ,
2
= 9 e x } d. {x/x 1 2 , + = 9 e x x }
8. Haga una lista de todos los subconjuntos de {a, b}
9. Haga una lista de todos los subconjuntos de {Java, C++, C}
10. Utilice el diagrama de Venn para identificar cada uno de los siguientes casos como verdadero
o falso.
a. B Ac ( ) b. A B c ( ) c. B C c

( )

d. B xe ( ) e. A xe ( ) f. B ye

( )

Prof. Jorge Castro Monge, M.Sc. | OPERACIONES con CONJUNTOS 10

OPERACIONES CON CONJUNTOS
UNIN DE CONJUNTOS
Se llama UNIN de dos conjuntos A y B al conjunto formado por los elementos de A o de B, es de-
cir: { ; / A B x x A x B = e v e

Ejemplo: Scon A ={o,b,c,c,}y B ={b,J,r,s}.
Entonccs A U B cst ormoJo por toJos los clcmcntos quc pcrtcncccn o A o o B.
Luego: A U B ={o,b,c,J,c,,r,s}
INTERSECCIN DE CONJUNTOS
Se llama INTERSECCIN de dos conjuntos A y B al conjunto formado por objetos que son elementos
de A y de B, es decir: { ; / A B x x A x B = e . e . En la imagen la interseccin es la parte obscu-
ra de la misma.
Ejemplo:
Sean A ={a, b, c, e, f}, B ={b, e, f, r, s} y C ={a, t, u, v}.
Encuentre: A r B,A rC y C r B.
Como la interseccin est formada por los elementos comunes de ambos conjuntos, se tiene que:
A rB ={b,c,}
A rC ={o}
C r B ={}
Cuando dos conjuntos no tienen elementos en comn como B y C en el ejemplo anterior, se denominan
Conjuntos disjuntos.


DIFERENCIA DE CONJ UNTOS
Dados dos conjuntos A y B, se llama DIFERENCIA al conjunto A - B ={x/x e A; y, x e B}. Luego A B
se llama complemento de B con respecto a A.

A-B

En el diagrama de Venn A-B est representado por la zona rayada.
Ejemplo:
Sean A ={a, b, c}y B ={b, c, d, e}. Entonces:
A B ={a} y B A ={d, e}.
Asimismo, se llama DIFERENCIA SIMTRICA entre A y B al conjunto

, ) , )
, ) , ) { ;
/
A B A B B A
A B x x A x B x B x A
A =
A = e . e v e . e

A B A

En el diagrama de Venn la diferencia simtrica est representada por las regiones menos oscuras
(Lo que no tienen en comn)
Ejemplo: Sean A ={a, b, c, d}y B ={a, c, e, f, g}. Entonces { ; , , , , A B b d e f g A =


COMPLEMENTO DE UN CONJUNTO
Si un conjunto A es subconjunto de otro conjunto universal U, al conjunto A' formado por todos
los elementos de U pero no de A, se llama complemento de A con respecto a U. Simblicamente se
expresa: { ; ' / A x x U x A = e . e

Ejemplos:
a) Sean U ={m, a, r, t, e } y A ={a, e }
Su complemento de A es: A' ={m, t, r}

b) Sean U ={letras de la palabra aritmtica} y A ={e, i, a }
Determinado por extensin tenemos
U ={a, r, i, t, m, e, c} A ={e, i, a }
Su complemento es: A' ={r, t, m, c}

En forma grfica:


PROPIEDADES DE LAS OPERACIONES BOOLEANAS
Las llamadas OPERACIONESBOOLEANAS (unin e interseccin) verifican las siguientes propiedades

PROPIEDADES UNION INTERSECCION
1.- Idempotencia
A A A = A A A =
2.- Conmutativa
A B B A = A B B A =
3.- Asociativa , ) , ) A B C A B C = , ) , ) A B C A B C =
4.- Absorcin , ) A A B A = , ) A A B A =
5.- Distributiva , ) , ) , ) A B C A B A C = , ) , ) , ) A B C A B A C =
6.- Complementariedad ' A A U = ' A A =C
Estas propiedades hacen que partes de U con las operaciones unin e interseccin tenga una es-
tructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o , A A A C = C = C (elemento nulo).
o , A U U A U A = = (elemento universal).
o , ) , ) ' ' ', ' ' ' A B A B A B A B = = (leyes de Morgan).
PROBLEMAS CON OPERACIONES CON CONJUNTOS
Mediante diagramas de Venn y las definiciones y aplicacin de las distintas operaciones con con-
juntos se pueden resolver problemas, que nos preparan en el campo de la lgica formal.
Ejemplo: A una fiesta llegaron 150 personas, de las cuales 75 cantan, 85 bailan, 20 no cantan ni
bailan. Cuntas personas cantan y bailan?
Solucin: La pregunta lleva implcita una conectiva lgica y, que es parte importante de la defini-
cin formal de la operacin interseccin. Por lo tanto podemos representar el problema de la
siguiente manera:


n(A) +x +n(B) +20=150
n(A) =75- x
n(B) =85- x
Iucgo sustituycnJo cn lo ccuocion originol:
75-x +x +85-x +20=150
cspc]onJo:
75+85-x +20=150
75+85+20-150=x
x =30
R:/ El nmero de personas que cantan y bailan es igual a 30.


EJERCICIOS:
En los ejercicios 1 al 4, sea
U ={a, b, c, d, e, f, g, h, k}, A ={a, b, c, g}, B ={d, e, f, g}, C ={a, c, f}y D ={f, h, k}.
1. Calcule
a. A B b. B C c. A C
d. B D e. A B f. A A B
2. Calcule
a. A D b. D B c. C D
d. A D e. B C f. C B
g. C A D h. A i. D
3. Calcule
a. A U B U C b. A B C
c. A (B U C) d. (A U B) C
4. Calcule
a. A U {} b. A U U c. B U B
d. C {} e. C D f. D A C
En los ejercicios 5 y 6, sean:
U ={1, 2, 3, 4, 5, 6, 7, 8, 9}, A ={1, 2, 4, 6, 8}, B ={2, 4, 5, 9}, C =
{ ;
2
/ 16 x x y x
+
e s y D =
{7, 8}
5. Calcule
a. A B b. B C c. A C
d. B D e. A B f. A A B
g. A C h. A D i. A D


j. B C k. C D l. B A
m. C D n. C A D o. B A C
6. Calcule
a. A U B U C b. A B C
c. A (B U C) d. (A U B) C
7. De acuerdo al diagrama: Identifique los siguientes casos como ver-
daderos o falsos.
( ) B A y e ( ) C B x e
( ) C B w e ( ) C ue
( ) C B A x e ( ) C B A y e
( ) C A z e ( ) C B v e

9.
En una encuesta realizada a 150 personas sobre sus preferencias de tres productos A, B y C, se
encontr el siguiente resultado:
- 82 consumen el producto A.
- 54 consumen el producto B.
- 50 slo consumen el producto A.
- 30 slo consumen el producto B.
- El nmero de personas que consumen slo B y C es la mitad de las personas que
consumen slo A y C.
- El nmero de personas que consumen slo A y B es el triple de las personas que
consumen los tres productos.
- El nmero de personas que no consumen los productos mencionados son tantos
como los que consumen slo C.
Determinar:
a) El nmero de personas que consumen slo dos de los productos.
b) El nmero de personas que no consumen A, B ni C.
c) El nmero de personas que por lo menos consumen uno de los productos.

Prof. Jorge Castro Monge, M.Sc. | CONJUNTO PRODUCTO Y PARTICIONES 17

CONJUNTO PRODUCTO Y PARTICIONES
CONJUNTO PRODUCTO
Un par ordenado (a, b) es un listado de los objetos a y b en un orden prescrito, donde a aparece en
primer trmino y b, en segundo. En consecuencia, un par ordenado simplemente es una secuen-
cia de longitud 2. A partir del anlisis anterior de las secuencias, se desprende que los pares orde-
nados (a
1
, b
1
) y (a
2
, b
2
) son iguales s y solamente s a
1
=a
2
y b
1
=b
2
.
Si A y B son dos conjuntos no vacos, se define el conjunto producto o producto cartesiano A x B
como el conjunto de todos los pares ordenados (a, b) con A ae y B be . As,
} / ) , {( B b y A a b a AxB e e =
Ejemplo 1. Sean A ={1, 2, 3}y B ={a, b}
Entonces A x B ={(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}
Observe que los elementos de A x B pueden ser dispuestos en forma tabular conveniente como se
muestra a continuacin.

A
B a b
1 (1, a) (1, b)
2 (2, a) (2, b)
3 (3, a) (3, b)

Ejemplo 2. Si A y B son como en el ejemplo 1, entonces
B x A ={(a, 1), (b, 1), (a, 2), (b, 2), (a, 3), (b, 3)}
De los ejemplos anteriores se ve que A x B no siempre es igual a B x A
Teorema 1. Para dos conjuntos finitos no vacos cualesquiera A y B, se tiene que B A AxB = ,
donde X se lee La cardinalidad de X.


Ejemplo 3. Una compaa de aseguradora clasifica a sus potenciales clientes de acuerdo con los
siguientes criterios:
Gnero: masculino (m); femenino (f)
Mximo nivel educativo: tcnico (t); trabajador especializado (e); profesional (p); investigador (i)
Sean G ={m, f}y E ={t, e, p, i}. Entonces G x E contendr todas las categoras de personas en que
se clasifica la poblacin para ese mercado.
Determinar G x E.
Ejemplo 4. Una compaa de programacin proporciona las tres caractersticas siguientes para
cada programa que se vende:
Lenguaje: C++(p), C#(s), .NET (n)
Memoria: 1 Gb (1), 2 Gb (2), 4 GB (4)
Sistema Operativo: Linux (l), Windows (w)
Luego L ={p, s, n}, M ={1, 2, 4}, S ={l, w}
El producto L x M x S contiene todas las categoras que describen un programa en esa compaa y
hay 3 x 3 x 2 o sea 18 categoras en este esquema de clasificacin.
Determinar L x M x S
PARTICIONES
Una particin o conjunto cociente de un conjunto no vaco P es una coleccin de subconjuntos no
vacos de P tales que:
1. Cada elemento de P pertenece a uno de los con-
juntos en Pi.
2. Si P
1
y P
2
son elementos distintos de P, entonces
=
2 1
P P
Los conjuntos que hay en P se llaman bloques o celdas
de la particin. La siguiente figura muestra una Parti-
cin P ={P
1
, P
2
, P
3
, P
4
, P
5
, P
6
, P
7
}


Consideremos los siguientes subconjuntos de A:
A
1
={a, b, c, d}, A
2
={a, c, e, f, g, h}, A
3
={a, c, e, g}, A
4
={b, d}, A
5
={f, h}
{A
1
, A
2
}no es una particin ya que =
2 1
A A . Luego {A
1
, A
5
} es una particin de A en vista de
que no tienen elementos comunes.
Qu sucede con la coleccin {A
3
, A
4
, A
5
}.
Ejemplo: Sean:
Z =conjunto de todos los enteros,
A
1
=conjunto de todos los enteros pares, y
A
2
=conjunto de todos los enteros impares.
Entonces {A
1
, A
2
}es una particin de Z.
EJERCICIOS:
1. En cada parte, encuentre x o y de manera que el enunciado sea verdadero.
a. (x+2, 3) =(4,3) b. (1, 3y) =(x, 9)
c. (3x +1, 2) =(10, 2) d. (C++, Java) =(y, x)
2. En cada parte, encuentre x o y de manera que el enunciado sea verdadero.
a. (4x, 5) =(16, y) b. (3x 3, 3y 1) =(5, 5) c. (x
2
, 25) =(49,y)
3. Sean A ={a, b, c}y B ={3, 5, 7}. Haga una lista de los elementos en:
a. A x B b. B x A c. A x A d. B x B
4. Sean A ={Salas, Prez} y B ={presidente, vicepresidente, secretario, tesorero}. D cada uno
de los tres casos siguientes:
a. A x B b. B x A c. A x A

5. Un fabricante de automviles hace tipos diferentes de chasis (o armazn del auto) y tres tipos
de motores:
Tipo de armazn: sedn (s), coup (c), vagn (v)
Tipo de motor: gasolina (g), diesel (d), hbrido (h)
Elabore una lista de todos los modelos posibles de autos.
6. Si A ={a, b, c}, B ={1, 2}, y C ={#, *}, escriba el conjunto A x B x C


7. Si A ={a/a es un nmero entero positivo}y B ={1, 2, 3}. Haga un esquema de cada uno de los
siguientes casos en el plano cartesiano.
a) A x B b) B x A
8. Si A ={a / a es un nmero racional y -1 a 5} y B ={b / b es un racional y 1 b 5}, haga un
esquema de los siguientes casos en el plano cartesiano.
a) A x B b) B x A

9. Sean A ={1, 2, 3, 4, 5, 6, 7, 8, 9, 10} y
A
1
={1, 2, 3, 4} A
2
={5, 6, 7} A
3
={4, 5, 7, 9}
A
4
={4, 8, 10} A
5
={8, 9, 10} A
6
={1, 2, 3, 6, 8, 10}

Cules de las siguientes son particiones de A?
{A
1
, A
2
, A
5
} b) {A
1
, A
3
, A
5
} c) {A
3
, A
6
} d) {A
2
, A
3
, A
4
}
10. Si P
1
es el conjunto de los enteros positivos y P
2
el conjunto de todos los enteros negativos, es
{P
1
, P
2
}una particin de L
+
.

11. Si B ={0, 3, 6, 9, .} escriba una particin de B que contenga:
a. Dos subconjuntos infinitos
b. Tres subconjuntos infinitos

Prof. Jorge Castro Monge, M.Sc. | Sucesiones 21

SUCESIONES
Algunos conjuntos importantes se originan en relacin con las sucesiones. Una sucesin es sim-
plemente una lista de objetos ordenados: Un primer elemento, un segundo elemento, un tercer
elemento, y as sucesivamente. Dicha lista puede finalizar despus de n pasos, donde ne, o
puede continuar indefinidamente. En el primer caso se dice que la sucesin es finita, y en el se-
gundo caso, la sucesin es infinita. Los elementos pueden ser todos diferentes o algunos estarn
repetidos.
Ejemplos:
a) 1, 0, 0, 1, 0, 0, 1, 1, 1 es una sucesin finita
b) 3, 8, 13, 18, 23, es una sucesin infinita
c) 1, 4, 9, 16, 25, es otra sucesin infinita y corresponde a la lista de los cuadrados
de los nmeros naturales
Puede ocurrir que la secuencia de trminos de una sucesin no quede claramente definida por los
primeros trminos que la conforman y tambin es til conocer una forma corta de especificar una
sucesin. Existen dos clases de frmulas para determinar una sucesin. En el ejemplo b) una des-
cripcin natural de la sucesin consiste en indicar que los trminos consecutivos se forman su-
mando 5 al trmino anterior. Si empleamos un subndice para indicar la posicin de cada trmino
de una sucesin, puede describirse dicha sucesin de la siguiente manera:

1 1
3, 5, 2
n n
a a a n
= = + s <
Una frmula como la anterior, que se refiere al trmino anterior, para definir el siguiente trmino,
se llama recursiva o recurrente. Toda frmula recursiva debe tener un punto de partida.
La descripcin de la sucesin del ejemplo c) sera:
2
, 1
n
b n n = s < . A las frmulas de este tipo
se les llama explcitas, porque indican exactamente qu valor tiene cualquier trmino en particu-
lar.
Ejemplos:
d) La frmula recursiva
1 1
5, 2 ,2 6
n n
c c c n
= = s s define la sucesin finita: 5, 10, 20, 40, 80,

160
e) La sucesin infinita 3, 7, 11, 15, 19, 23, puede definirse por la frmula recursiva
1 1
3, 4
n n
d d d
= = +
f) La frmula explcita
, ) 4 ,1 ,
n
n
s n = s < describe la sucesin infinita: -4, 16, -64, 256,
g) La sucesin finita: 87, 82, 77, 72, 67 puede definirse por la frmula explcita,
92 5 , 1 5.
n
t n n = s s


CONJ UNTO CORRESPONDIENTE A UNA SUCESIN
Est constituido por todos los elementos distintos de la sucesin. En una sucesin el orden de los
elementos es importante, sin embargo el orden en que se enlisten los elementos en el conjunto
carece de significado.
Ejemplos:
a) El conjunto correspondiente a los elementos del ejemplo c) es {1, 4, 9, 16, 25, }
b) El conjunto correspondiente a los elementos del ejemplo a) es {0, 1}
REPRESENTACIN EN COMPUTADORA DE CONJUNTOS Y SUBCONJUNTOS
Si A es un subconjunto de un conjunto universal U, la funcin caracterstica
A
f de A se define co-
mo sigue:

1 si
( )
0 si
A
x A
f x
x A
e
=

e

Para representar un conjunto en una computadora, debe disponerse los elementos del conjunto
en una sucesin. Cuando un conjunto universal U es finito y A es subconjunto de U, entonces la
funcin caracterstica asigna un 1 a los elementos que pertenecen a A y 0 a los que no pertenecen
a A. As
A
f puede ser representada por una sucesin de ceros y unos de longitud n.
Ejemplo: Sea { ; { ; { ; { ; 1,2,3,4,5,6 , 1,2 , 2,4,6 , 4,5,6 U A B C = = = = . Entonces
( ) 1,1,0,0,0,0
( ) 0,1,0,1,0,1
( ) 0,0,0,1,1,1
A
B
C
f x
f x
f x
=
=
=


EJERCICIOS:
En los ejercicios 1 al 4, d el conjunto correspondiente a la sucesin.
1. 2, 1, 2, 1, 2, 1, 2, 1
2. 0, 2, 4, 6, 8, 10,
3. aabbccddeezz
4. abbcccdddd
En los ejercicios 5 al 8, escriba los cuatro primeros trminos (comience con n=1) de la sucesin
cuyo trmino general se da.
5. 5
n
n
a =
6.
2
3 2 6
n
b n n = +
7.
1 1
2.5, 1.5
n n
c c c
= = +
8.
1 1
3, 2 1
n n
d d d
= = +
En los ejercicios 9 al 14, escriba una frmula para el trmino de orden n de la sucesin. Identifique
su frmula como recursiva o explcita.
9. 1, 3, 5, 7,
10. 0, 3, 8, 15, 24, 35,
11. 1, -1, 1, -1, 1, -1,
12. 0, 2, 0, 2, 0, 2,
13. 1, 4, 7, 10, 13, 16
14.
1 1 1 1
1, , , , ,...
2 4 8, 16

15. Escriba una frmula explcita para la sucesin 2, 5, 8, 11, 14, 17,
16. Escriba una frmula recursiva para la sucesin 2, 5, 8, 11, 14, 17,
17. Sean U ={Fortran, Pascal, Ada, Cobol, Lisp, Basic, C++, Forth}, B ={C++, Basic, Ada}, C =
{Pascal, Ada, Lisp, C++}, D ={Fortran, Pascal, Ada, Basic, Forth}, y E ={Pascal, Ada, Cobol,
Lisp, C++}. En cada uno de los siguientes casos, represente el conjunto dado por un arre-
glo de ceros y unos.
a) B C
b) C D
c) ( ) B D E
d) ( ) C D E
18. Sea U ={b, d, e, g, h, k, m, n}, B ={b}, C ={d, g, m, n}, y D ={d, k, n}
a) Represente , ,
B C D
f f yf
b) Represente , B C C D y C D como arreglos binarios

Prof. Jorge Castro Monge, M.Sc. | UNIDAD II - Lgica 24

UNIDAD II - LGICA
CONECTIVAS
Al realizar razonamientos empleamos sentencias que estn conectadas entre s por conectivas
lingsticas. La lgica proposicional se ocupa del estudio de las conectivas lingsticas entre propo-
siciones. Una proposicin es una sentencia que puede ser verdadera, circunstancia que indicare-
mos asocindola el valor de verdad V, o falsa, en cuyo caso le asociaremos el valor de verdad F.
Nuestro principal inters en relacin con la lgica proposicional es dejar establecido el papel que
juegan las conectivas lingsticas y sus conectivos lgicos asociados en relacin con los conceptos
de verdad y demostracin.
Las conectivas lingsticas permiten construir proposiciones compuestas a partir de otras ms sim-
ples. As, si los smbolos p y q representan proposiciones genricas, las conectivas lingsticas ms
empleadas son las que aparecen en la siguiente tabla:

Conectiva lingstica Conectiva lgica Smbolo Se escribe
no p Negacin p
p y q Conjuncin . p q .
p o q Disyuncin v p q v
Si p entonces q Implicacin p q
p si y solo si q Equivalencia p q

NEGACIN
El significado de la conectiva lgica negacin, reside en que la proposicin p es verdadera en el
caso de que p sea falsa y recprocamente que p es falsa cuando p es verdadera. Recogemos el
significado del conectivo en la siguiente tabla de verdad:
p p
V F
F V

Del mismo modo podemos recoger el significado del resto de las conectivas.
CONJUNCIN
La sentencia p^q es verdadera slo cuando p y q son verdaderas simultneamente. La tabla de verdad co-
rrespondiente a esta conectiva ser, pues:
p q p/q
V V V
V F F
F V F
F F F


DISYUNCIN

La sentencia p q v , que se lee p q; debe entenderse en su acepcin ms amplia, es decir, p q o
ambos; con lo que p q v ser verdadera en el caso de que p sea verdadera, q sea verdadera o
ambas sean verdaderas simultneamente:

p q pVq
V V V
V F V
F V V
F F F

IMPLICACIN

Para establecer el significado de la sentencia p q , que se lee si p entonces q o tambin p impli-
ca q; debemos tener presente que en lenguaje natural la sentencia p implica q encierra una rela-
cin de causalidad, causalidad que no siempre aparece al utilizar este conectivo en el mbito for-
mal. Se pretende que el valor V o F de la sentencia p q dependa por completo de los valores
de verdad de p y q, con independencia de que exista o no alguna relacin de causalidad con senti-
do entre p y q. En lenguaje matemtico, p implica q quiere decir que si p es verdadera, necesaria-
mente q es verdadera, o lo que es lo mismo, que es imposible que q sea falsa y p verdadera: Esto
es, si el valor de verdad de p es V y el de q es F, el valor de verdad de p q es F; para el resto de
posibles valores de p y q la sentencia ser verdadera. Considrese el ejemplo siguiente:

Sea la proposicin: Si quemo madera, hay humo en el ambiente, que representaremos por
p q . Entendemos que esta sentencia es verdadera, puesto que en nuestra experiencia no en-
contramos una situacin en la que una madera est ardiendo y no produzca humo. Sin embargo,
la sentencia es verdadera independientemente de que se tenga madera a mano y no haya humo
en el ambiente, de que no estemos quemando madera y haya humo debido a que estamos que-
mando papel, o incluso de que efectivamente estemos quemando madera y se est llenando el
ambiente de humo. En otras palabras p q sigue siendo verdadera aun en el caso en el que p
sea falsa (no estemos quemando madera) y q sea falsa (no hay humo en el ambiente), p sea falsa y
q sea verdadera o incluso que p sea verdadera y q sea verdadera. El significado de este conectivo
lgico queda pues del siguiente modo:

p q p = q
V V V
V F F
F V V
F F V

Es importante destacar que de la tabla anterior se sigue que para demostrar que la sentencia p -->
q es verdadera, basta con estudiar el caso en el que p es verdadera, puesto que si p es falsa, la
sentencia p q es verdadera.


A las sentencias p y q las denominaremos, respectivamente, antecedente y consecuente de la pro-
posicin p q :
La sentencia q p es denominada sentencia recproca de la sentencia p q ; y la sentencia:
q p sentencia contrarrecproca de la sentencia p q

EQUIVALENCIA

La proposicin p q , que se lee p si y solo si q, o tambin p equivale a q es verdadera cuando p
y q tienen el mismo valor de verdad, es decir:

p q p = q
V V V
V F F
F V F
F F V

Para representar proposiciones emplearemos los smbolos p, q, r... o, lo que es lo mismo, emplea-
remos los smbolos p, q, r... como variables proposicionales.

FORMA DE UNA PROPOSICIN

Uno de los descubrimientos ms sorprendentes con el que nos encontramos al estudiar lgica
consiste en que la validez de una deduccin depende exclusivamente de la forma que sta tenga, y
no del posible significado de las proposiciones que en ella intervienen.

Las proposiciones trabajo o no trabajo y estoy sentado o no estoy sentado tienen la misma forma
p p v : La tabla de verdad de esta forma proposicional p p v es:

p p pVq
V F V
F V V

Es decir, cualquier proposicin que tenga la forma p p v ser verdadera independientemente
del valor de verdad que tenga p: La forma de las proposiciones va a estar determinada por cmo
estn dispuestos los conectivos { ; , , , , . v ; por lo que vamos a introducir la definicin de
forma proposicional para estudiar aquellas propiedades que nicamente dependen de la manera
en la que estn colocados dichos conectivos lgicos:

Definicin: Llamaremos forma proposicional a cualquier expresin formada por:
a) variables proposicionales tales como p; q, r;
b) los conectivos lgicos { ; , , , , . v
c) los parntesis (,)

Y construida utilizando las siguientes reglas:


1. Cualquier variable proposicional es una forma proposicional
2. Si A y B son formas proposicionales, entonces tambin lo son
( ),( ),( ),( ) ( ) A A B A B A B y A B . v

En la prctica se suelen suprimir los parntesis en aquellos casos en los que al hacerlo no se pro-
duce ambigedad. Sealar tambin que, como veremos luego, la regla 2 puede ser simplificada
prescindiendo de algunos de los conectivos.

Ejemplo: La expresin
p q v v
No es una forma proposicional (por ejemplo porque comienza por un conectivo v ), mientras que
la expresin
(( ( )) ) p q r .
S lo es porque sigue las reglas de su construccin.

Obsrvese que ltima forma proposicional puede ser representada sin ambigedad suprimiendo
parntesis por
( ) p q r .
Cada forma proposicional tiene asociada una tabla de verdad, que recoge los distintos valores de
verdad de la forma al asignar valores V y F a las distintas variables involucradas. La tabla de verdad
asociada a una forma proposicional se puede construir sistemticamente a partir del procedimien-
to empleado para construir dicha forma proposicional:

Ejemplo: Construccin de la tabla de verdad de la forma proposicional ( ) p q r .

Lo primero es determinar los pasos seguidos en su construccin. Obsrvese que segn las reglas
de construccin de formas proposicionales siempre se tiene un ltimo conectivo que va separando
la parte de la derecha y la de la izquierda que son proposiciones ms simples (con menos conecti-
vos):

p,q,r,q,(p/q),(p/q) = r

En segundo lugar se construye la primera fila de la tabla teniendo en cuenta dichos pasos:

En tercer lugar establecemos todas las posibles situaciones de verdad o falsedad de las primeras
variables del enunciado que intervienen:


Finalmente se van rellenando el resto de las columnas teniendo en cuenta por una parte el signifi-
cado de los conectivos lgicos , , , , . v ,y por otra, que cada vez que aparece una nueva
variable proposicional es preciso comparar las situaciones de verdad o falsedad obtenidas con los
dos posibles valores de verdad de la nueva variable proposicional:

Prof. Jorge Castro Monge, M.Sc. | Tautologas y razonamientos vlidos 29

EJERCICIOS

Construir las tablas de verdad de las siguientes formas proposicionales:
1. ( ) p q .
2. ( ) p p .
3. ( ) p p .
4. ( ) p q r .
5. ( ) (( ) ( )) p q p q . v

TAUTOLOGAS Y RAZONAMIENTOS VLIDOS

Definicin. Una forma proposicional es una tautologa si toma el valor V cualquiera que sea la
forma en que asignemos los valores V F a las variables proposicionales que en ella intervienen.
Una forma proposicional es una contradiccin si toma el valor F cualquiera que sea la forma en
que asignemos los valores V F a las variables proposicionales que en ella intervienen.

Ejemplo. ( ) (( ) ) p q p q v Es una tautologa segn se sigue de su tabla de verdad:

EJERCICIOS
Probar que las siguientes formas proposicionales son tautologas:
1. ( ( )) p p q q .
2. (( ) ( )) ( ) p q q r p r .
3. (( ) ( )) p q p q q .
4. (( ) ) p q p q v .
5. ( ) p p q .
6. (( ) ( )) ( ) p q q p p q .
7. ( ) (( ) ( )) p q q p
8. ( ) (( ) ( )) p q p q p .
9. ( ) p p p
10. (( ) ( )) p p q q .


REGLAS DE INFERENCIA
Los argumentos basados en tautologas representan mtodos de razonamiento universalmente
correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de
los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de
inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una
demostracin. En una demostracin no solamente hay tautologas e hiptesis, tambin existen
reglas de inferencia que permiten obtener nuevas lneas vlidas, a continuacin se cita una lista de
las principales reglas de inferencia que se pueden aplicar en una demostracin.
MODUS PONENDO PONENS (PP)

p q Si llueve, entonces las calles se mojan (premisa)
p Llueve (premisa)
__________________________________________________
q Luego, las calles se mojan (conclusin)

El condicional o implicacin es aquella operacin que establece entre dos enunciados una relacin
de causa-efecto. La regla ponendo ponens significa, afirmando afirmo y en un condicional es-
tablece, que si el antecedente (primer trmino, en este caso p) se afirma, necesariamente se afir-
ma el consecuente (segundo trmino, en este caso q).

MODUS TOLLENDO TOLLENS (TT)
Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de los condicio-
nales, a los que nos referamos en primer lugar.

p q Si llueve, entonces las calles se mojan
q Las calles no se mojan
__________________________________________________
p Luego, no llueve

Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a
negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.

Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia ambas de
una misma propiedad de la implicacin; la regla ponendo ponens slo nos permite afirmar si est
afirmado el antecedente (el primer trmino de la implicacin), y la regla tollendo tollens slo nos
permite negar a partir del consecuente (segundo trmino de la implicacin); ambas consecuencias
se derivan de que la implicacin es una flecha que apunta en un nico sentido, lo que hace que
slo se pueda afirmar a partir del antecedente y negar slo a partir del consecuente.

DOBLE NEGACIN (DN)
p p

El esquema representa, p doblemente negada equivale a p. Siguiendo el esquema de una infe-
rencia por pasos, la representaramos as:


p No ocurre que Ana no es una estudiante
_____________________________________________________
p Ana es una estudiante

La regla doble negacin, simplemente establece que si un enunciado est doblemente negado,
equivaldra al enunciado afirmado.

ADJUNCIN Y SIMPLIFICACIN
Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas, me-
diante la adjuncin, podemos unirlos en una sola premisa utilizando el operador (conjuncin).

p Juan es cocinero
q Pedro es polica
___________________________________
p q Juan es cocinero y Pedro es polica

Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un enunciado formado
por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos enuncia-
dos afirmados por separado.

p q Tengo una manzana y tengo una pera
___________________________________________
p Tengo una manzana
q Tengo una pera

MODUS TOLLENDO PONENS (TP)
La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos enunciados.
Ahora bien, en esa eleccin, forma parte de las posibilidades escoger ambos enunciados, es decir,
la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos.

A partir de lo anterior, se deduce la siguiente regla, denominada tollendo ponens (negando afir-
mo): si uno de los miembros de una disyuncin es negado, el otro miembro queda automtica-
mente afirmado, ya que uno de los trminos de la eleccin ha sido descartado.

p V q He ido al cine o me he ido de compras
q No he ido de compras
__________________________________________________________
p Por tanto, he ido al cine

LEY DE LA ADICIN (LA)
Dado un enunciado cualquiera, es posible expresarlo como una eleccin (disyuncin) acompaa-
do por cualquier otro enunciado.

a He comprado manzanas
______________________________________________________________
a V b He comprado manzanas o he comprado peras


SILOGISMO HIPOTTICO (SH)
Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra (el
mismo enunciado), podemos construir una nueva implicacin cuyo antecedente sea el de aquella
implicacin cuya consecuencia sea el antecedente de la otra implicacin, y cuyo consecuente sea
el de sta ltima, cuyo antecedente era consecuencia del primero.

Expresado de otro modo, si una causa se sigue una consecuencia, y sta consecuencia es a su vez
causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa segun-
da consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola blanca que a su
vez golpea a una bola negra, la bola roja es causa del movimiento de la bola negra. Expresado en
forma de inferencia lgica:

p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve
q r Si la bola blanca golpea a la bola negra, la bola negra se mueve
______________________________________________________________________
p r Si la bola roja golpea a la bola blanca, la bola negra se mueve

SILOGISMO DISYUNTIVO (DS)
Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos miembros sean
los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de dis-
yuncin, cuyos miembros seran los consecuentes de las dos implicaciones. Lgicamente, si plan-
teamos una eleccin entre dos causas, podemos plantear una eleccin igualmente entre sus dos
posibles efectos, que es el sentido de esta regla.

p q Si llueve, entonces las calles se mojan
r s Si la tierra tiembla, los edificios se caen
p V r Llueve o la tierra tiembla
____________________________________________________
q V s Las calles se mojan o los edificios se caen

SIMPLIFICACIN DISYUNTIVA (SD)
Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente,
y sus antecedentes se corresponden con los dos miembros de una disyuncin, podemos concluir
con el consecuente de ambas implicaciones.

p V q Helado de fresa o helado de vainilla
p r Si tomas helado de fresa, entonces repites
q r Si tomas helado de vainilla, entonces repites
____________________________________________________
r Luego, repites

LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin. Una conjun-
cin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no cambia
este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin importar en
qu orden se presente esta eleccin. As pues,


p q q p p y q equivale a q y p
p V q q V p p q equivale a q p

LEYES DE MORGAN (DM)
Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una conjun-
cin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de afirmacin y ne-
gacin de los trminos de la disyuncin/conjuncin as como de la propia operacin en conjunto,
como podemos observar aqu:

p q p V q
___________ ____________
(p V q) (p q)

Ejemplos:

REGLA DEL MODUS PONENDO PONENS
Es una regla de inferencia que permite demostrar q a partir de p q y p.

PREMISA 1) Si Pedro est en el partido de Ftbol, entonces Pedro est en el estadio.
PREMISA 2) Pedro est en el partido de Ftbol.
___________________________________________________
CONCLUSIN: Pedro Est en el estadio.

Simblicamente tenemos lo siguiente:

p: Pedro est en el partido de ftbol
q: Pedro est en el estadio
Entonces:
PREMISA 1) p q
PREMISA 2) p
__________
CONCLUSIN: q

Esta regla permite pasar de dos premisas a la conclusin, se dice que la conclusin es una conse-
cuencia lgica de las premisas, es decir siempre que las premisas son ciertas, la conclusin es tam-
bin verdadera.

Cuando el MODUS PONENDO PONENS o cualquier otra regla se aplica para sacar una conclusin
de dos o ms proposiciones, el orden de las proposiciones es indiferente.
La abreviatura para esta regla es MP.

DOBLE NEGACIN.
Es una regla que permite pasar de una premisa nica a la conclusin. Un ejemplo simple es el de
una negacin de la negacin que se denomina <<Doble negacin >>.
Sea la proposicin:
No ocurre que Ana no es un estudiante.
De donde se puede sacar la conclusin: Ana es estudiante.


La regla tambin acta en sentido contrario. Por ejemplo: de la proposicin se puede concluir la
negacin de su negacin:

Juan toma el autobs para ir a la escuela.
__________________________________________
No ocurre que Juan no toma el autobs para ir a la escuela
La abreviatura para esta regla es DN.

MODUS TOLLENDO TOLLENS
La regla de Inferencia que se aplica tambin a las proposiciones condicionales, pero en este caso,
negando (tollendo) el consecuente, se puede negar (tollens) el antecedente de la condicional.

La deduccin siguiente es un ejemplo del uso de esta regla:

PREMISA 1) Si tiene luz propia, entonces el astro es una estrella .
PREMISA 2) El astro no es una estrella.
Conclusin: Por lo tanto no tiene luz propia.

Simbolizando:
p : Tiene luz propia
q : El astro es una estrella.

PREMISA 1) p q
PREMISA 2) -q
Conclusin: -p

Cuando se trata de proposiciones moleculares puede usarse el parntesis para mayor claridad.
La abreviatura para esta regla es TT.

Regla de ADJUNCION Y SIMPLIFICACIN.

Se suponen dadas dos proposiciones como premisas. La primera es
Jorge es adulto
La segunda es:
Mara es adolescente.
Si ambas proposiciones son verdaderas, entonces se podran juntar en una proposicin molecular
utilizando el trmino de enlace <<y >>y se tendra una proposicin verdadera que se leera:

Jorge es adulto y mara es adolescente.
La regla que permite pasar de las dos premisas a la conclusin se denomina regla de ADJUNCION.

La abreviatura para esta regla es A.

De manera simblica se puede ilustrar la regla as :


PREMISA 1) p
PREMISA 2) q
_____________________
Conclusin 1) p . q
Conclusin 2) q . p

El orden de las premisas es indiferente.

Ahora veamos la REGLA DE SIMPLIFICACIN
Si se tiene una premisa que dice:
El cumpleaos de Mara es el lunes y el mo es el sbado.
De esta premisa se pueden concluir:
El cumpleaos de Mara es el viernes.
La otra conclusin:
El mo es el sbado.
Si la premisa es cierta, cada una de las conclusiones es tambin cierta.
Esta regla se abrevia por S.
En forma simblica la regla de simplificacin es: p . q
De la premisa p . q
_______________
Se concluye: p
O se concluye: q

En una demostracin no solamente hay tautologas e hiptesis, tambin existen reglas de inferen-
cia que permiten obtener nuevas lneas vlidas, esta es la parte en donde la mayora de alumnos
tienen problemas y en donde no sabe que regla aplicar para resolver un determinado problema.
Nota: Una demostracin formal en la lgica se fundamenta y desarrolla estrictamente utilizando
nicamente las reglas de validez enunciadas en el numeral anterior). Con base en ellas puede de-
mostrarse que las implicaciones implcitas en cada una de las reglas de inferencia son teoremas.
Como un objetivo prctico a lograr es abreviar los procesos demostrativos, se introducen las reglas
de inferencia; stas, conjuntamente con las reglas de validez permiten ampliar y facilitar la obten-
cin de los resultados vlidos en esta teora.


EJERCICIOS
En cada uno de los problemas siguientes, tradzcase a la forma simblica y empleando las reglas
de inferencia y de validez, establzcase para cada argumento si es o no vlido.
1. Si llueve, entonces ir al cine. Llueve. Luego, ir al cine.
2. Si llueve, entonces ir al cine. No llueve. Luego, no ir al cine.
3. Si me caigo de la bicicleta, me golpeo. Estoy golpeado; luego, me ca de la bicicleta.
4. Si voy al colegio pasar por la biblioteca. Si paso por la biblioteca consultar el diccionario de sin-
nimos. Voy al colegio; luego, consult el diccionario de sinnimos.
5. Si los precios son bajos, entonces los salarios son bajos. Los precios son bajos o no hay control de
precios. Si no hay control de precios, entonces hay inflacin. No hay inflacin; por tanto los salarios
son bajos.
6. La lgica es fcil o les gusta a los estudiantes. Si las matemticas son difciles entonces la lgica no
es fcil. Por tanto, si a los estudiantes no les gusta la lgica, las matemticas no son difciles.
7. Si trabajo, entonces no estudio. Estudio o repruebo el curso de matemticas. Aprob el curso de
matemticas; luego, trabajo.
8. Si el entero 35 244 es divisible entre 396, entonces el entero 35 244 es divisible entre 66. Si el en-
tero 35 244 es divisible entre 66, entonces el entero 35 244 es divisible entre 3.

Prof. Jorge Castro Monge, M.Sc. | Induccin matemtica 37

INDUCCIN MATEMTICA
G. Peano (18581932) propuso cinco propiedades fundamentales que caracterizan a los nmeros
naturales, Axiomas de Peano. Una de ellas conocida como el Principio de Induccin Matemtica
es actualmente una herramienta de uso prctico y terico principalmente para matemticos y
personas que trabajan en Ciencias Computacionales.
El principio lo enunciaremos para los enteros positivos N+, pero bien se puede ampliar a los nme-
ros naturales o a cualquier subconjunto de los enteros mayores o iguales a un entero fijo.
PRINCIPIO DE INDUCCIN MATEMTICA
Si S en un conjunto de enteros positivos tal que
(B) 1 S e
(I) 1, 1 k k S k S > e + e
entonces S contiene todos los enteros positivos.
En un principio de Induccin Matemtica son muy importantes los nombres asociados y en la lite-
ratura tcnica, como es costumbre, no se presenta con detalle los pasos, por lo que resulta indis-
pensable conocer la nomenclatura.
Nomenclatura de Induccin Matemtica.
(B) se llama Caso Base o caso inicial
(I) se llama Paso de Induccin
k S e se llama Hiptesis de Induccin
Y como ya se mencion todo junto se llama Principio de Induccin Matemtica.
Es importante que el alumno comprenda y memorice cada uno de estos conceptos y su participa-
cin directa en la propiedad.
Esencialmente lo que enuncia el principio de induccin matemtica es, si logramos establecer que
el primer entero positivo cumple, una propiedad, y si partiendo de que un entero arbitrario tam-
bin la cumple, se puede comprobar que el entero siguiente tambin tiene la propiedad entonces
concluimos que todos los enteros positivos tienen la propiedad indicada.
Por lo que otra forma de enunciar el Principio de Induccin Matemtica es:
Si F(n) es una proposicin abierta que involucra enteros y se tiene:


(B) F(1) es verdadera; o sea, se que cumple para n=1
(I) F(K) F(k+1); Si se cumple para n =k entonces tambin se cumple para n=k+1.
Concluimos que la proposicin es verdadera para todos los enteros positivos.
El Principio de Induccin Matemtica se utiliza para demostrar propiedades, formulas, validarlas y
probar que son verdaderas, usualmente en el conjunto de los nmeros enteros positivos. Muchas
propiedades que incluyen la definicin de de factorial se pueden probar por Induccin Matemti-
ca, como el Teorema del Binomio de Newton, el Tringulo de Pascal y algunas propiedades de
combinatoria que involucran combinaciones y permutaciones. Otra forma de utilizarla es para
proporcionar definiciones y formalizar conceptos.
ALGORITMO. Para demostrar una igualdad F(n) algebraica vlida que involucra enteros donde la
parte izquierda es una suma cuyo trmino n-simo es una frmula de n.
[Frmula] Escribir la frmula en funcin de n, sea F(n).
[Caso Base] Probar la frmula para n=1, F(1).
[Meta] Escribir la frmula para n=k+1, F(k+1).
[Paso de Induccin]
[Hiptesis de Induccin] Escribir la frmula para n=k.
[Llegar a la Meta] Sumar a ambos lados el ltimo trmino de la parte izquierda de la [Meta], o sea
la igualdad para n=k+1.
Aplicar propiedades algebraicas al lado derecho hasta llegar al lado derecho de la [Meta], o sea la
igualdad para n=k+1.
Nota: Cabe aclarar que la nica dificultad se puede presentar en el manejo algebraico de las ex-
presiones en la segunda parte del Paso de Induccin y que depende muchas veces de la compleji-
dad de la expresin y de la habilidad algebraica de quien realiza la prueba.
Nota: La meta la marcamos con rojo para indicar que no es un paso vlido en la demostracin, sino
ms bien una gua de a dnde queremos llegar y para tener una mejor idea de lo que estamos
demostrando.
En los ejemplos que se vean se debe considerar expresiones que se puedan resolver con la prepa-
racin de los estudiantes a los que va dirigido.


Ejemplos: Demuestre por induccin matemtica, que para todos los valores de:
a)
( 1)
1, 1 2 3 ...
2
n n
n n
+
> + + + + =
Solucin:
Sea
( 1)
( ) 1 2 3 ...
2
n n
P n n
+
= + + + + =
Paso Base: Demostrar que se cumple para n =1
1(1 1)
1
2
+
= , la cual es verdadera.
Paso de induccin. Si P(k) es verdadera, entonces tambin lo ser para P(k+1)
( 1)
( ) 1 2 3 ...
2
k k
P k k
+
= + + + + =
Demostrar para k+1
( 1)
( 1) (1 2 3 ... ) ( 1) ( 1)
2
k k
P k k k k
+
+ = + + + + + + = + +

( 1) 1 Factorizando
2
2
=(k+1)
2
( 1)( 2)
2
( 1)(( 1) 1)
El segundo miembro de P(k+1)
2
k
k
k
k k
k k
(
= + +
(

+ | |
|
\ .
+ +
=
+ + +
=

b) Demostrar por induccin que la expresin 1
2
n
a es divisible por 1 + a .
Proceso:
Para n =1: ) 1 ).( 1 ( 1 1
2 1 . 2
+ = = a a a a es divisible por 1 + a . Se verifica
Sea cierta la proposicin para n =k: 1
2
k
a es divisible por 1 + a
Veamos entonces que tambin ser cierta para n=k+1:


1
) 1 ( 2
+ k
a es divisible por a+1.
En efecto:
) 1 ).( 1 ( ) 1 ( 1 ) 1 ( 1
2 2 2 2 2 ) 1 ( 2
+ + = + =
+
a a a a a a a a
k k k

El primer sumando es divisible por a+1 por hiptesis, y el segundo lo es porque contiene a (a+1)
como factor.
Por consiguiente, 1
2
n
a es divisible por a+1, para todo n>0

c)
5 ( 1)
5 10 15 ....... 5
2
n n
n
+
+ + + + =

1
5 1(1 1) 5 2
1 1
2 2
n=
+
= = =

5 ( 1)
5 10 15 ...... 5
2
n k
k k
k
=
+
+ + + + =

1
5 ( 1)
5 10 15 ...... 5 5( 1) 5( 1)
2
5 ( 1) 10( 1)

2
5( 1)( 2) 5( 1)( 1 1)

2 2
n k
k k
k k k
k k k
k k k k
= +
+
+ + + + + + = + +
+ + +
=
+ + + + +
= =

d)
1 5 9 .......... (4 3) (2 1) n n n + + + + =

1
1 1(2 1 1) 1
n=
= =

1 5 9 .......... (4 3) (2 1)
n k
k k k
=
+ + + + =


, ) , )
j
2
1
1 5 9 .......... (4 3) 4 1 3 (2 1) 4 1 3
2 4 4 3

n k
k k k k k
k k k
= +
+ + + + + + = + + ( (

= + +
2
2
2 4 1
2 3 1
( 1)(2 1)
k k k
k k
k k
= + +
= + +
= + +

e)
2 2 2 2
(2 1)(2 1)
1 3 5 ....... (2 1)
3
n n n
n
+
+ + + + =

2
1
1(2 1 1)(2 1 1) 1 3 1
1 1
3 3
n=
+
= = =

2 2 2 2
(2 1)(2 1)
1 3 5 ....... (2 1)
3
n k
k k k
k
=
+
+ + + + =

, ) , )
, )
2 2
2 2 2 2
2
1
(2 1)(2 1)
1 3 5 ....... (2 1) 2 1 1 2 1 1
3
(2 1)(2 1) 3 2 1 1

3

n k
k k k
k k k
k k k k
= +
+
+ + + + + + = + + ( (

+ + + (

=
j
j
2
2
(2 1)(2 1) 3 2 2 1

3
(2 1)(2 1) 3 2 1

3

k k k k
k k k k
+ + +
=
+ + +
=
j
2
(2 1) (2 1) 3(2 1)

3
(2 1) 2 6 3

3

k k k k
k k k k
+ + +
=
( + + +

=
2
(2 1) 2 5 3

3
(2 1)(2 3)( 1)

3
(

k k k
k k k
k
( + + +

=
+ + +
=
+
=
1)(2 3)(2 1)
3
k k + +


EJERCICIOS:
Demuestre por induccin matemtica en cada caso:
1. 1 +4 +7 + +(3n - 2) =
(3 1)
2
n n

2. 1
3
+2
3
+3
3
+ +n
3
=
2 2
( 1)
4
n n+

3. 2 +2
2
+2
3
+ +2
n
=2(2
n
- 1)
4. 1
3
+3
3
+5
3
+ +(2n - 1)
3
=n
2
(2n
2
- 1)

5.
1 1 1 1
..........
1 2 2 3 3 4 ( 1) 1
n
n n n
+ + + + =
+ +

6. 1 +3 +5 +7 + +(2n - 1) =n
2

7.
, )
(5 1)
2 7 12 5n 3
2
n n
+ + + + =

8.
2
1 1 1 1
.............
3 15 35 4 1 2 1
n
n n
+ + + + =
+

Prof. Jorge Castro Monge, M.Sc. | UNIDAD III CONTEO 43

UNIDAD III CONTEO
COMBINATORIA
Breve resea histrica
El surgimiento y desarrollo de la combinatoria ha sido paralelo al desarrollo de otras ramas de las
matemticas, tales como el lgebra, teora de los nmeros, y probabilidad. Desde tiempos muy
remotos ha habido problemas de combinatoria que han llamado la atencin de los matemticos.
por ejemplo el problema de los cuadrados mgicos que son arreglos de nmeros con la propiedad
de que la suma de los elementos de cualquier columna, rengln o diagonal es el mismo nmero,
aparece en un viejo libro chino fechado 2200 a. C. Los cuadrados mgicos de orden 3 fueron estu-
diados con fines msticos. Los coeficientes binomiales, que son los coeficientes enteros de la ex-
pansin de (a+b)
n
fueron conocidos en el siglo XII. El tringulo de Pascal que es un arreglo trinagu-
lar de los coeficientes binomiales fue desarrollado en el siglo XIII.

Se puede considerar que en el Occidente la combinatoria surge en el siglo XVII con los trabajos de
Blaise Pascal y de Pierre Fermat sobre la teora de juegos de azar. Estos trabajos, que formaron los
fundamentos de la teora de la probabilidad, contenan asimismo los principios para determinar el
nmero de combinaciones de elementos de un conjunto finito, y as se estableci la tradicional
conexin entre combinatoria y probabilidad.
El trmino "combinatoria" tal y como lo usamos actualmente fue introducido por Wilhem Leibniz
en su Dissertatio de Arte Combinatoria. De gran importancia para la consolidacin de la combina-
toria fue el artculo de Ars Conjectandi (el arte de conjeturar por J. Bernoulli; este trabajo estaba
dedicado a establecer las nociones bsicas de probabilidad. Para esto fue necesario introducir
tambin un buen nmero de nociones bsicas de combinatoria pues se usaron fuertemente como
aplicaciones al clculo de probabilidades. Se puede decir que con los trabajos de Leibniz y Bernou-
lli se inicia el establecimiento de la combinatoria como una nueva e independiente rama de las
matemticas.
El matemtico suizo Leonard Euler fue quien desarroll a principios del siglo XVIII una autntica
escuela de matemtica combinatoria. En sus artculos sobre la particin y descomposicin de en-
teros positivos en sumandos, estableci las bases de uno de los mtodos fundamentales para el
clculo de configuraciones combinatorias, que es el mtodo de las funciones generadoras. Tam-
bin se le considera el padre de la teora de grficas por el planteamiento y solucin del problemas
de los "Puentes de Knigsberg" usando por primera vez conceptos y mtodos de teora de grfi-
cas. Los primeros problemas de teora de grficas surgieron de la bsqueda de solucin a algunos
problemas cotidianos y tambin en el planteamiento de algunos acertijos matemticos tales como
el problema de los Puentes de Knigsberg, el arreglo de reinas en un tablero de ajedrez con alguna
restriccin, problemas de transporte, el problema del agente viajero, etctera.


El problema de los cuatro colores formulado a mediados del siglo XIX (cuatro colores son suficien-
tes para colorear las regiones de un mapa de tal manera que regiones con frontera tengan asigna-
dos distinto color) pas de ser un mero acertijo matemtico a ser fuente de importantes proble-
mas y resultados en teora de grficas de inters tanto terico como en aplicaciones. Este ha sido
uno de los problemas tericos ms desafiantes en la historia de la combinatoria debido a la simpli-
cidad de su planteamiento.
En Inglaterra a finales de siglo XIX Arthur Cayley (motivado por el problema de calcular el nmero
de ismeros de hidrocarburos saturados) hizo importantes contribuciones a la teora de enumera-
cin de grficas. Por este tiempo el matemtico George Boole us mtodos de combinatoria en
conexin con el desarrollo de la lgica simblica y con las ideas y mtodos que Henri Poincar
desarroll en relacin con problemas de topologa. Uno de los factores ms importantes que han
contribuido al gran desarrollo que ha tenido la combinatoria desde 1920 es la teora de grficas, la
importancia de esta disciplina estriba en el hecho de que las grficas pueden servir como modelos
abstractos para modelar una gran variedad de relaciones entre objetos de un conjunto. Sus aplica-
ciones se extienden a campos tan diversos como la investigacin de operaciones, qumica, mec-
nica estadstica, fsica terica y problemas socio-econmicos. La teora de redes de transporte se
puede ver como un captulo de la teora de las grficas.
INTRODUCCIN A LA COMBINATORIA
A menudo se presenta la necesidad de calcular el nmero de maneras distintas en que un suceso
se presenta o puede ser realizado. Otras veces es importante determinar la probabilidad de ocu-
rrencia de un evento especfico. En ambos casos se apela al sentido comn, o se establecen mto-
dos que permitan sistematizar tales clculos. Con frecuencia el sentido comn ayuda a entender
por qu se eligi un procedimiento dado, mientras que la formalizacin del clculo las vas para
encontrar las soluciones apropiadas.
Iniciaremos nuestro estudio de teora combinatoria enunciando los principios aditivo y multiplica-
tivo de conteo.
Principio aditivo de conteo: Sean A y B dos sucesos que no pueden ocurrir simultneamente. Si A
ocurre de a maneras distintas y B ocurre de b maneras distintas, el nmero de maneras en el cual
puede ocurrir A o B es A +B
Principio multiplicativo de conteo: Si un suceso puede ocurrir en a maneras e, independiente-
mente, un segundo suceso puede ocurrir en b maneras, entonces el nmero de maneras en que
ambos, A y B, pueden ocurrir AB.
A este principio tambin se le denomina principio fundamental de conteo.


Ejemplo: Se tienen 6 banderas de sealizacin, dos rojas, dos verdes y dos azules. Cuntas sea-
les distintas pueden hacerse con una o dos banderas a la vez?
Solucin: Si denotamos las banderas rojas, verdes y azules por R, V y A, respectivamente, vemos
que con una bandera a la vez se pueden hacer 3 seales distintas:
R , V , A
Con dos banderas a la vez se puede hacer las siguientes seales (sacando, por ejemplo, una prime-
ra y despus la otra) es decir
RR, RV. RA, VR, VV, VA, AR, AV, AA
Entonces, si se utilizan dos banderas, se pueden hacer 9 seales distintas. Luego, con una o dos
banderas se podrn realizar 3+9=12 seales diferentes. Observa que, como se establece en la
definicin, se trata de dos sucesos A y B descritos como:
A: Se hacen seales con una sola bandera
B: Se hacen seales con dos banderas.
Y que ambos no pueden ocurrir simultneamente, ya que si se decide hacer seales con una ban-
dera se descarta la segunda alternativa y viceversa
Ejemplo: Cuntas quinielas de futbol distintas se pueden hacer?
Tenemos en cuenta que en cada partido puede haber 3 resultados: 1, x,2 , que hay 14 partidos y
que los resultados de cada uno es independiente de los dems, por tanto tendremos
3 .3 3 =3
14
Ejemplo: Cuntos resultados distintos puede haber en un sorteo de la lotera primitiva sin tener
en cuenta el nmero complementario?
En una bolsa tenemos 49 bolas numeradas del 1 al 49. El primer nmero lo escojo entre 49 posi-
bles nmeros, el segundo nmero lo escojo entre 48 (pues las bolas, una vez extradas no se de-
vuelven a la bolsa), el tercero entre 47, y as sucesivamente, por lo tanto, en principio habra
49*48*47*46*45*44=10.068.347.520.
Esta sera la solucin si el orden de extraccin de las bolas, se tuviese en cuenta, pero no es as. El
nmero que hemos sacado en la primera extraccin podra haber salido en la segunda, tercera,
cuarta, quinta o sexta extraccin (en total 6), por lo tanto habr que dividir por 6. El nmero que


hemos sacado en la segunda extraccin, podra haber salido en la tercera, cuarta, quinta o sexta
extraccin, (en total 5), habr que dividir entre 5 y as seguiramos razonando hasta la ltima ex-
traccin.
Por ello habr que dividir por 6*5*4*3*2*1 el nmero anterior para obtener la solucin.
10.068.347.520/720=13.983.816
Ejemplo: Cuntas quinielas distintas se pueden hacer si creemos que el resultado de 4 partidos
ser un 1, el de 5 partidos puede ser un 1 o una x, y los 6 partidos restantes puede darse cualquie-
ra de los tres signos?
Los cuatro resultados 'fijos' los podemos elegir entre un signo, los 5 'dobles' entre dos y los 6 'tri-
ples' entre 3, por lo tanto la solucin sera: 1.1.1.1.2.2.2.2.2.3.3.3.3.3.3=23328
Hasta ahora, los ejemplos realizados los hemos realizado mediante conteo, nuestro objetivo es
formalizar y obtener expresiones matemticas que nos den los resultados buscados.
PERMUTACIONES

Permutaciones SIN repeticin:
Las permutaciones sin repeticin de n
elementos se definen como las distintas
formas de ordenar todos esos elementos
distintos, por lo que la nica diferencia
entre ellas es el orden de colocacin de sus
elementos.
El nmero de estas permutaciones ser:
!
n
P n =

Permutaciones CON repeticin:
Llamamos a las permutaciones con repeticin de
n elementos tomados de a en a, de b en b, de c
en c, etc, cuando en los n elementos existen ele-
mentos repetidos (un elemento aparece a veces,
otro b veces, otro c veces, etc) verificndose que
a+b+c+...=n.
El nmero de estas permutaciones ser:
, ,
!
! ! !
a bc
n
n
PR
a b c
=

Teniendo en cuenta que

! ( 1)( 2) .... 3 2 1 n n n n =


Ejemplos
a) Cuntos nmeros de 5 cifras distintas se pueden formar con los dgitos 1,2,3,4,5?
P
5
=5! =5.4.3.2.1 =120
b) Cuntos nmeros de 4 cifras se pueden formar con los dgitos 0,1,2,3?
P
4
P
3
=4! -3!=24-6 =18
Hemos restado P
3
para descontar los nmeros que empiezan por cero, ya que estos no son
de cuatro cifras.
c) Cuntos nmeros de 6 cifras se pueden formar si en ellos siempre hay 1s, 2s y 3s?
P
6
1,2,3
= 60
2.3.2
6.5.4.3.2
1!2!3!
6!
= =
VARIACIONES

Definicin:
Las variaciones sin repeticin de n elemen-
tos tomados de r en r se definen como las
distintas agrupaciones formadas con r ele-
mentos distintos, eligindolos de entre los n
elementos de que disponemos, considerando
una variacin distinta a otra tanto si difieren
en algn elemento como si estn situados en
distinto orden.
El nmero de variaciones que se pueden
construir se puede calcular mediante la fr-
mula

,
!
( )!
n r
n
V
n r
=

Definicin:
Las variaciones con repeticin de n elemen-
tos tomados de r en r se definen como las
distintas agrupaciones formadas con r ele-
mentos que pueden repetirse, eligindolos
de entre los n elementos de que disponemos,
considerando una variacin distinta a otra
tanto si difieren en algn elemento como si
estn situados en distinto orden.
El nmero de variaciones que se pueden
constuir se puede calcular mediante la fr-
mula:

,
r
n r
VR n =


Ejemplos
a) Cuntos nmeros de tres cifras distintas se pueden formar con los dgitos 1,2,3,.,9?

, )
504 7 . 8 . 9
! 3 9
! 9
V
3
9
= =
=
b) Con las letras del alfabeto espaol (27 letras) Cuntas palabras (con o sin sentido) de 6
letras distintas pueden formarse?- Cuntas empiezan por vocal?
V
6
27
, 5V
5
26

COMBINACIONES

Definicin:
Las combinaciones sin repeticin de n ele-
mentos tomados de r en r se definen como
las distintas agrupaciones formadas con r
elementos distintos, eligindolos de entre los
n elementos de que disponemos, conside-
rando una variacin distinta a otra slo si
difieren en algn elemento, (No influye el
orden de colocacin de sus elementos).
El nmero de combinaciones que se pueden
mula:

,
!
!( )!
n r
n
C
r n r
=

Definicin:
Las combinaciones con repeticin de n ele-
mentos tomados de r en r se definen como
las distintas agrupaciones formadas con r
elementos que pueden repetirse, eligindolos
de entre los n elementos de que disponemos,
considerando una variacin distinta a otra
slo si difieren en algn elemento, (No influ-
ye el orden de colocacin de sus elementos).
El nmero de combinaciones que se pueden
mula:

,
( 1)!
!( 1)!
n r
n r
CR
r n
+
=


Ejemplos
a) Como respuesta a un anuncio de trabajo se presentan 12 personas para cubrir tres plazas
de administrativo Cuntos grupos diferentes de personas se pueden seleccionar?
Debemos elegir grupos de 3 de entre los 12 , no influye el orden
C 220 = = =
3.2
12.11.10
3)!3! - (12
12!
3
12

b) Cuntos tringulos distintos se pueden formar con 8 puntos en el plano si tres de ellos
nunca estn alineados?
Para que dos tringulos sean distintos se tienen que diferenciar al menos en un vrtice y el
orden en que tomamos los vrtices no influye
C 56 = =
=
3.2
8.7.6
3)!.3! (8
8!
3
8

c) Cuntos conjuntos de tres letras existen elegidas entre a, b, c, d, e, f, g si en cada
conjunto puede haber ms de una letra igual?
Tenemos en cuenta que el conjunto { ; { ; a c, b, conjunto el con coincide c b, a, y que los elemen-
tos se pueden repetir, es decir { ; b a, a, es un conjunto de tres letras, luego
CR 84 = = = =
+
3.2
9.8.7
6!3!
9!
C
n
1 - n m
n
m


CMO LAS DIFERENCIAMOS?


EJERCICIOS
1. Supongamos que hay ocho diferentes lugares de capacitacin administrativa para asignar a
ocho empleados en el programa preliminar de capacitacin administrativa de una empresa.
De cuntas maneras diferentes pueden ser asignados los ocho individuos a los ocho lugares
distintos?
2. En referencia a la situacin descrita en el ejercicio 1, supongamos que slo se dispone de seis
diferentes lugares para los ocho candidatos. De cuntas maneras diferentes pueden asignar-
se los seis lugares distintos a seis de los ocho individuos?
3. En referencia a la situacin descrita en el ejercicio 2, supongamos que seis de los lugares dis-
ponibles pueden considerarse comparables y en realidad iguales para efectos prcticos. De
cuntas maneras pueden elegirse seis de los ocho candidatos para ocupar los seis lugares?
4. Un grupo de proyecto de dos ingenieros y tres tcnicos debe formarse a partir de un grupo
departamental que incluye a cinco ingenieros y nueve tcnicos. Cuntos diferentes grupos de
proyecto pueden formarse con los catorce empleados disponibles?
5. Una clave de acceso a un banco consta de dos letras de alfabeto seguidas por dos dgitos.
Cuntas claves diferentes hay?
6. Cuntas permutaciones hay de cada uno de los siguientes conjuntos, sin permitir repeticin?
a. {r, s, t, u} r =2
b. {1, 2, 3, 4, 5} r =3
c. {a, b, 1, 2, 3, c} r =3
7. Para cada conjunto A, encuentre el nmero de permutaciones de A tomando r elementos a la
vez, pudiendo repetir elementos.
a. A ={1, 2, 3, 4, 5, 6, 7}, r =3
b. A ={a, b, c, d, e, f}, r =2
c. A ={x/x es un nmero entero y x
2
<16}, r =4
8. De cuntas maneras 6 hombres y 6 mujeres pueden sentarse en lnea si:
a. Cualquier persona puede sentarse en seguida de cualquier otra.
b. Los hombres y las mujeres deben ocupar asientos alternos.
9. Encuentre el nmero de permutaciones de la palabra BOUGHT con y sin repeticin de trmi-
nos.
10. De cuntas maneras puede seleccionarse un comit de tres miembros de facultad y dos de
estudiantes, tomndolos de siete miembros de facultad y ocho estudiantes?
11. De cuntas formas se puede elegir un comit de 3 personas de un grupo de 20? Y de cun-
tas si uno debe ser el presidente, otro el vicepresidente y otro el secretario?
12. Cuntos nmeros distintos de 5 cifras se pueden formar con las cifras 1,2,3,5,7,8,9?
13. En una reunin hay tres chicas y siete chicos Cuntos grupos de 5 personas pueden formar-
se? Cuntos si en cada grupo debe haber 2 y solo dos chicas?
14. Cuntos nmeros de cuatro cifras pueden formarse con dos cifras pares (no entra el cero) y
dos impares?

Prof. Jorge Castro Monge, M.Sc. | UNIDAD IV - Relaciones y dgrafos 52

UNIDAD IV - RELACIONES Y DGRAFOS
RELACIONES
Una relacin R de A en B es cualquier subconjunto de A x B. Si (x, y) eR, entonces se dice que x
est relacionado con y y se escribe x R y o R(x, y).
La notacin infija x R y es muy comn en matemtica, por ejemplo para decir que 3 y 5 estn vin-
culados por la relacin menor que se escribe 3 <5. La notacin prefija R(x, y) a veces se usa sin
parntesis, como R xy.
Si A =B entonces en lugar de relacin de A en A simplemente se dice relacin en A.
El conjunto de todas las relaciones de A en B es el conjunto P(A x B).
Ejemplo 1. Sea F ={Ana, Berta, Carlos, Diana, Ernesto} una familia en la cual Ana es la madre de
Berta, Berta es la madre de Carlos y Diana, y Diana es la madre de Ernesto.
Entonces M ={(Ana, Berta), (Berta, Carlos), (Berta, Diana), (Diana, Ernesto)} es una relacin de F
en F que corresponde al concepto intuitivo de la relacin es madre de.
Ejemplo 2. Sean A y B conjuntos de nmeros reales. Se define la siguiente relacin R (de igualdad)
de A a B:
a R b si y solo s a =b
Ejemplo 3. Sea A ={1, 2, 3, 4, 5}
Defina la siguiente relacin R (menor que) en A:
a R b a <b
Entonces:
R ={(1, 2), (1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5), (3, 4), (3, 5), (4, 5)}
Ejemplo 4. Sco A = L
+
el conjunto de todos los enteros positivos. Muestre un ejemplo y un
contraejemplo de la siguiente relacin R en A:
a R b a divide a b
4 R 12, pero 5 R 7
Ejemplo 5. Una lnea area da servicio a cinco ciudades c
1
, c
2
, c
3
, c
4
y c
5
. La tabla muestra el costo
en dlares del viaje de c
i
a c
j
. En consecuencia el viaje de c
1
a c
3
es de $100, mientras que el costo
del viaje de c
4
a c
2
es de $200.


Defina la siguiente relacin entre el conjunto de ciudades A: c
i
R c
j
si y slo s el costo de ir de c
i
a c
j

es menor o igual a $180. Determine R.
R ={(c
1
,,c
2
),(c
1
,c
3
),(c
1
,c
4
),(c
2
,c
4
),(c
3
,c
1
),(c
3
,c
2
),(c
4
,c
3
),(c
4
,c
5
),(c
5
,c
2
),(c
5
,c
4
)}
CONJ UNTOS QUE SURGEN DE LAS RELACIONES
Sea AxB R_ una relacin de A a B. Se va a definir ahora varios conjuntos importantes y tiles
relacionados con R.
El dominio de R, denotado Dom(R), es el conjunto de todos los elementos de A que estn relacio-
nados con algn elemento de B. En otras palabras, Dom(R), un subconjunto de A, es el conjunto
de todos los primeros elementos de los pares que forman R. De modo similar, se define el rango
de R, designado por Ran, como el conjunto de todos los elementos de B que estn relacionados
con algn elemento de A.
Los elementos de A que no estn en Dom(R) no estn involucrados en la relacin R de manera
alguna. Esto es cierto tambin para los elementos de B que no estn en el rango de R.
Ejemplo 6. Si R es la relacin definida en A ={1, 2, 3}y B ={r, s}t.q. su relacin es
R ={(1,r),(2,s),(3,r)}
Entonces el Dom(R) =A y Ran(R) =B.
Ejemplo 7. Sea A ={1, 2, 3, 4, 5}Definida por la siguiente relacin R (menor que) en A: a R b a
<b.
Entonces el Dom(R) ={1, 2, 3, 4}y Ran(R) {2, 3, 4, 5}
Teorema 1. Sea R la relacin de A a B, y sean A
1
y A
2
subconjuntos de A. Entonces:
(a) Si
2 1
A A _ entonces ) ( ) (
2 1
A R A R _
(b) ) ( ) ( ) (
2 1 2 1
A R A R A A R =
(C) ) ( ) ( ) (
2 1 2 1
A R A R A A R _


Teorema 2. Sean R y S relaciones de A a B. Si R(a) =S(a) para todas las a de A, entonces R =S.
LA MATRIZ DE UNA RELACIN
Es posible representar una relacin entre dos conjuntos finitos como una matriz de la siguiente
manera. Si A ={a
1
, a
2
, , a
m
}y B ={b
1
, b
2
, , b
n
}son conjuntos finitos que contienen m y n ele-
mentos respectivamente, y R es una relacin de A a B, se representa R por la matriz m x n M
R
=
[m
ij
], la cual se define por
9 e
9 e
=
) , ( 0
) , ( 1
j i
j
ij
b a
b a
m
si
si
i

La matriz M
R
se llama matriz de R. A menudo M
R
proporciona una manera fcil de verificar si R
tiene una propiedad dada.
Ejemplo 8. Sea R la relacin definida en A ={1, 2, 3}y B ={r, s}t.q. su relacin es
R ={(1,r),(2,s),(3,r)}
Entonces la matriz de R es:
(
(
(
=
0
1
0
1
0
1
R
M

A la inversa, dados los conjuntos A y B con n y m = = B A , una matriz m x n cuyas entradas son
ceros y unos, determina una relacin.
Ejemplo 9. Considere la matriz
(
(
(
=
0
0
1
1
1
0
0
1
0
1
0
1
R
M Como M es 3 x 4, entonces A ={a
1
, a
2
, a
3
}y B ={b
1
, b
2
, b
3
, b
4
}
Entonces 1 ) , ( = 9 e
ij j i
m b a . En consecuencia, R ={(a
1
,b
1
),(a
1
,b
4
),(a
2
,b
2
),(a
2
,b
3
),(a
3
,b
1
),(a
3
,b
3
)}
DGRAFOS
Si A es un conjunto finito y R es una aplicacin sobre A, tambin se puede representar R grfica-
mente como sigue. Se traza un crculo para cada elemento de A y se marca el crculo con el ele-
mento correspondiente de A. A estos crculos se los llama vrtices. Se traza a continuacin una


flecha, a la flecha se le llama lado o arco, del vrtice a
i
al vrtice a
j
si y solamente s a
i
R a
j
. La re-
presentacin grfica resultante de R se llama grfica dirigida o dgrafo de R.
Ejemplo 10. Sean
A ={1, 2, 3, 4}
B ={(1,1), (1,2), (2,1), (2,2),(2,3),(2,4),(3,4),(4,1)}
Entonces el dgrafo de R es el siguiente:

Ejemplo 11. Encuentre la relacin determinada por el siguiente dgrafo.
Un concepto importante para las relaciones es el que inspira
la forma visual de los dgrafos. Si R es una relacin sobre un
conjunto A y A ae , entonces el grado interno de a (relativo a
R) es el nmero A be t.q. 9 e ) , ( a b . El grado externo de a
es el nmero de 9 e e ) , ( b a A b t.q. .
Esto significa en trminos del dgrafo de R, que el grado in-
terno de un vrtice es el nmero de arcos que terminan en el
vrtice y el grado externo de un vrtice es el nmero de arcos que salen del vrtice.
Ejemplo 12. Considere el dgrafo del ejemplo 9. Determinar los grados internos y externos de cada
vrtice.

Vrtice Grado interno Grado externo
1 3 2
2 2 4
3 1 1
4 2 1


Ejemplo 13. Sea A ={a, b, c, d}y sea R la relacin sobre A que tiene la matriz
(
(
(
(
=
1
0
0
0
0
1
0
0
1
1
1
0
0
1
0
1
R
M
Construya el dgrafo de R, y haga una tabla de los grados internos y grados externos de todos los
vrtices.

Vrtice Grado interno Grado externo
a 2 1
b 3 1
c 1 3
d 1 2

Ejemplo 14. Sea A ={1, 4, 5}, y sea R la relacin que da el dgrafo siguiente. Encuentre M
R
y R.

R ={(1,4), (1,5), (4,1), (4,4), (5,4),(5,5)}
(
(
(
=
1
0
1
1
1
1
0
1
0
R
M


EJERCICIOS:


TRAYECTORIAS EN RELACIONES Y DGRAFOS
Supngase que R es una relacin sobre un conjunto A. Una trayectoria de longitud n en R de a a b
es una secuencia finita n.o,x
1
,x
2
,,x
n-1
,b, que comienza con a y termina con b, tal que:
o R x
1
,x
1
R x
2
,,x
n-1
R b
Debe observarse que una trayectoria de longitud n involucra n +1 elementos de A, aunque no
sean necesariamente distintos.
Ejemplo. Considere el dgrafo de la siguiente figura.
Entonces:
n
1
:1,2,5,4,3 es una trayectoria de longitud 4 del vrtice 1
al vrtice 3.
n
2
:1,2,5,1 es una trayectoria de longitud 3 del vrtice 1
al vrtice 1.
n
3
:2,2 es una trayectoria de longitud 1 del vrtice 2 al vrtice 2.
Una trayectoria que inicia y termina en el mismo vrtice se llama ciclo. En el ejemplo anterior, n
2

y n
3
son ciclos de longitud 3 y 1 respectivamente. Es claro que una trayectoria de longitud 1 se
identifica como un par ordenado (x, y) que pertenece a R.
Se define una relacin R
n
sobre como sigue: x R
n
y significa que hay una trayectoria de longitud n
de x a y en R. Tambin puede definirse una relacin R
sobre A, suponiendo que x R
y signifi-
que que hay una trayectoria en R de x a y. La longitud de esa trayectoria depender, en general,
de x y y. A la relacin R
se le llama relacin de conectividad de R.

Ejemplo: Sea A ={1, 2, 3, 4, 5, 6}. Sea R la relacin cuyo dgrafo aparece a continuacin.


1 R
2
2 puesto que 1 R 2 y 2 R 2
1 R
2
1 R
2
2 R
2
2 R
2
2 R
2
2 R
2
3 R
2
4 R
2
Ejemplo: Sean A ={a, b, c, d, e}y
R ={(a, a), (a, b), (b, c), (c, e), (c, d), (d, e)}
Calcule (a) R
2
; (b) R

El siguiente es el dgrafo de R.

(a) a R
2
a puesto que a R a y a R a
a R
2
b puesto que a R a y a R b
a R
2
c puesto que a R b y b R c
b R
2
e puesto que b R c y c R e
b R
2
d puesto que b R c y c R d
c R
2
e puesto que c R d y d R e

(b) Para calcular R
, se necesitan todos los pares ordenados de vrtices para los cuales haya
una trayectoria de cualquier longitud del primer vrtice al segundo.
R
={(a,a),(a,b),(a,c),(a,d),(a,e),(b,c),(b,d),(b,e),(c,d),(c,e),(d,e)}


EJERCICIOS:
Para los ejercicios 1 al 8 utilice el dgrafo que aparece a la derecha.

1. Haga una lista de todas las trayectorias de longitud 1.

a. Haga una lista de todas las trayectorias de longitud2,
que inicien en el vrtice 2.
b. Haga una lista de todas las trayectorias de longitud 2.

2. (a). Haga una lista de todas las trayectorias de longitud 3, que
inicien en el vrtice 3.
(b). Haga una lista de todas las trayectorias de longitud 3.

3. Encuentre un ciclo que comience en el vrtice 2.


5. Trace el dgrafo de R
2
.

6. Determine H
R
2

7. Determine R

8. Determine H
R

Para los ejercicios 9 al 19, sea R la relacin cuyo dgrafo aparece a la derecha.

9. Haga una lista de todas las trayectorias de longitud 1.

10. Haga una lista de todas las trayectorias de longitud 2 que inicien en el vrtice c.

11. Encuentre todas las trayectorias de longitud 2.

12. Haga una lista de todas las trayectorias de longitud 3 que inicien el vrtice a.

13. Determine todas las trayectorias de longitud 3.

14. Encuentre un ciclo que comience en el vrtice c.

15. Encuentre un ciclo que comience ene vrtice d.

16. Dibuje el dgrafo de R
2

17. Determine M
R
2

18. Determine H
R


19. Determine R

En los ejercicios 20 al 26, utilice el dgrafo de la figura de la derecha.

20. Determine todas las trayectorias de longitud 3.


22. Encuentre un ciclo que comience ene vrtice 7.

23. Dibuje el dgrafo de R
2

24. Determine M
R
2

25. Determine H
R

26. Determine R


REPRESENTACIN EN COMPUTADORA DE RELACIONES Y DGRAFOS

El mtodo directo para almacenar elementos de datos es colocarlos en una lista o
arreglo lineal. Esto equivale a poner elementos de datos consecutivos en lugares
de almacenamiento con numeracin consecutiva en la memoria de la computado-
ra. La siguiente figura ilustra dicho mtodo para cinco elementos.
El problema principal que se tiene con este mtodo es que no se puede insertar
nuevos datos entre los datos existentes sin tener que mover un nmero que po-
dra ser muy grande de elementos.
Un mtodo alternativo para representar esa secuencia de datos es por medio de
una lista enlazada, que se muestra esquemticamente en la siguiente
figura. Se imagina que tales celdas tienen espacio para dos elemen-
tos de informacin. El primero puede ser de datos (nmeros o sm-
bolos), y el segundo elemento es un apuntador (puntero), es decir un
nmero que dice (seala) la localizacin de la siguiente celda. En
consecuencia las celdas pueden estar dispuestas en sucesin, pero
los datos no necesariamente estn en sucesin.
En la prctica el concepto de lista enlazada por punteros, se puede
poner a funcionar utilizando dos arreglos enlazados, un arreglo de
datos A y un arreglo de apuntadores P, como se muestra a continua-
cin. Obsrvese que una vez que se ha tenido acceso a los datos de
la posicin A[i], el nmero de la posicin P[i], da o seala, el ndice de
A que contiene el siguiente elemento de datos.


Ejemplo:
Considere la relacin cuyo dgrafo aparece a continuacin

Si se desea almacenar el dgrafo en forma de lista enlazada de manera que el orden lgico coincida
con la numeracin de sus lados, se puede usar el siguiente esquema.
INICIO TAIL HEAD NEXT

El esquema anterior nos permite seguir el rastro del proceso, sin embargo el mismo presenta des-
ventajas importantes. En muchos algoritmos, es eficiente localizar un vrtice, y luego comenzar de
inmediato a investigar los lados que comienzan o terminan en ese vrtice. En general esto no es
posible con el esquema anterior, por lo que se proporciona una modificacin al mismo. Usaremos
un arreglo denominado VERT que tiene una posicin para cada vrtice en el dgrafo. Para cada
vrtice I, se deben arreglar los apuntadores de SIGUE de manera que enlacen todos los lados que
salgan de I, que inicie en el lado al que seale VERT[I]. En cada caso el ltimo de esos lados apun-
tar a cero. En este modelo Los arreglos COLA y CABEZA contienen realmente varias listas enlaza-
das de lados, una lista para cada vrtice.


VERT POS[i] TAIL HEAD NEXT
1 2 2 3 7
2 1 1 2 4
3 6 5 4 0
4 0 1 3 5
5 3 1 6 0
6 9 3 4 8
2 1 0
3 5 10
6 1 0
3 6 0


EJERCICIOS
1. Sea A ={1, 2, 3, 4}y sea R ={(1,1), (1,2), (1,3), (2,3), (2,4), (3,1), (3,4), (4,2)}una relacin
sobre A. Calcule la Matriz M
R
que de la representacin de R y los valores de los arreglos
VERT, TAIL, HEAD y NEXT que describan R como una lista enlazada. Enlazar en orden cre-
ciente.

2. Sea A ={1, 2, 3, 4}y sea R la relacin cuyo dgrafo aparece al
lado. Describa los arreglos VERT, TAIL, HEAD y NEXT que
describan R como una lista enlazada, de manera que los la-
dos que salen de cada vrtice sean alcanzados en la lista en
orden creciente.

3. Sea A ={1, 2, 3, 4, 5, 6, 7}y sea R la relacin cuyo dgrafo
aparece al lado. Describa los arreglos VERT, TAIL, HEAD
y NEXT que describan R como una lista enlazada, de ma-
nera que los lados que salen de cada vrtice sean alcan-
zados en la lista en orden decreciente.

4. Considere los siguientes arreglos
VERT =[1, 2, 3, 4]
TAIL =[1, 2, 2, 4, 4, 3, 4, 1]
HEAD =[2, 2, 3, 3, 4, 4, 1, 3]
NEXT =[8, 3, 0, 5, 7, 0, 0, 0]
Los cuales describen una relacin R en el conjunto A ={1, 2, 3, 4}. Dibuje el dgrafo de R y
la matriz M
R
.

5. Considere los siguientes arreglos
VERT =[1, 2, 3, 4, 5]
TAIL =[1, 1, 2, 3, 3, 3, 4, 5, 5]
HEAD =[2, 4, 3, 4, 1, 5, 1, 1, 2]
NEXT =[2, 0, 0, 6, 0, 5, 0, 0, 8]
Los cuales describen una relacin R en el conjunto A ={1, 2, 3, 4, 5}. Dibuje el dgrafo de R
y la matriz M
R
.

Prof. Jorge Castro Monge, M.Sc. | UNIDAD V - funciones 66

UNIDAD V - FUNCIONES
Una funcin f del conjunto X al conjunto Y es una relacin del conjunto Y. A los elementos del con-
junto X se les llamar entradas de f, y a los elementos del conjunto Y se les llamar salidas de f. La
notacin f : X Y significar que f es una funcin del conjunto X al conjunto Y. Al conjunto X se le
llamar el dominio de f , mientras que al conjunto Y se le llamar codominio de f . Para que f sea
considerada una funcin debe satisfacer dos axiomas:
1. Para cada x X e existe un y Y e tal que ( , ) : x y f e
, ) , / ( , ) x X y Y x y f e - e e
2. Para cada x X e si existen dos elementos y
1
y y
2
en Y tal que (x, y
1
) e f y (x, y
2
) e f enton-
ces y
1
=y
2
:
, ) , ) , ) , )
1 2 1 2 1 2
, , , , , x X y y Y x y f x y f y y e e e . e =
Para un x X, al nico elemento y de Y que cumple (x, y) f , se le simbolizar por f (x) y se le
llamar imagen de f en x o tambin valor de f en x.
El conjunto de todos los elementos de Y que son valores de algn elemento de X se le llamar el
rango de f:

{ ;
, ( ) y Y x X f x y e - e =
Para un y Y e puede o no existir algn elemento x X e tal que ( ) f x y = , al conjunto de todos
los posibles xs que cumplan esto se les llamar imagen inversa de y.
Considrese la funcin:

- Dominio de f ={a, b, c}
- Codominio de f ={1, 2, 3, 4}
- f(a) =1, f(b) =2, f(c) =1


- Rango de f ={1, 2}
- Imagen inversa de 1 ={a, c}
- Imagen inversa de 2 ={b}
- Imagen inversa de 3 ={}
- Pares que forman f ={(a,1), (b,2), (c,1)}
FUNCIONES ESPECIALES EN CIENCIAS DE LA COMPUTACIN
FUNCIN MDULO
Sea m un nmero entero positivo. Para cada nmero entero n el mdulo m de n es el residuo
positivo de la divisin entera de n entre m:
mod 0 y existe otro entero q tal que n m r r m n qm r = s < = +
Ejemplos:
- j 11 mod 3 2, 11 3 3 2 pues = = +
- j 21 mod 4 1, 21 5 4 1 pues = = +
- j 21 mod 4 3, -21 6 4 3 pues = = +

FUNCIN PISO
Para cada nmero real x el piso de x es el mayor entero que es menor o igual a x, corresponde
esta funcin al redondeo al nmero entero menor ms prximo: Se representa x (

Ejemplos:
- 4,1 4 = (

- 0,98 0 = (

- 8 8 = (

- 2,1 3 = (


FUNCIN TECHO
Para cada nmero real x el techo x es el menor entero que es mayor o igual a x, redondeo al n-
mero entero mayor ms prximo: Se representa x (
(

Ejemplos:
- 4,23 5 = (
(

- 0,123 1 = (
(

- 5 5 = (
(

- 1,3 1 = (
(

FUNCIONES HASH
Sirven para garantizar la integridad de los textos. El cdigo ASCII asigna un nmero a cada letra o
signo de puntuacin:

Es una clave simtrica estndar internacional. La utilizan, por ejemplo, todos los computadores.
Podemos substituir cada letra de un texto por su cdigo ASCII:

65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
A B C D E F G H I J K L M N O
97 98 99 100 101 102 103 104 105 106 107 108 109 110 111
a b c d e f g h i j k l m n o
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47
! " # $ % & ' ( ) * + , - . /
E n u n r i n c n d e
69 110 32 117 110 32 114 105 110 99 243 110 32 100 101 32
l a M a n c h a d e c u y
108 97 32 77 97 110 99 104 97 32 100 101 32 99 117 121
o n o m b r e n o q u i e
111 32 110 111 109 98 114 101 32 110 111 32 113 117 105 101


Podemos utilizar los cdigos ASCII de un texto para hacer cualquier clculo:

Aqu, cada tres caracteres, con sus cdigos ASCII, se opera (1-2)*3 . La suma de los resultados
es una funcin HASH que identifica perfectamente el texto.

Cualquier modificacin en el texto provoca un cambio en el valor de la funcin HASH.

Por ejemplo, al substituir rincn por rincon sin acento, el valor HASH ha pasado de -11.399 a
3.121.

Ejemplo:
Ana enva un mensaje a Benito. Al final del mensaje le aade el valor HASH del texto segn una
funcin en la que se han puesto previamente de acuerdo.

Benito recibe el mensaje y calcula el valor HASH. Si coincide con el que ha dicho Ana puede estar
seguro de que el mensaje no ha sido modificado.

Los textos enviados electrnicamente pueden deformarse, bien por la intervencin de terceras
personas, o bien por errores en la transmisin. Las funciones HASH sirven para garantizar la inte-
gridad de los textos.

E n u n r i n c n d e
69 110 32 117 110 32 114 105 110 99 243 110 32 100 101
l a M a n c h a d e c
32 108 97 32 77 97 110 99 104 97 32 100 101 32 99
u y o n o m b r e n o q
117 121 111 32 110 111 109 98 114 101 32 110 111 32 113
2738
8669
-11399
6831
-444 -8658 1254
-1312 224 990 -15840 -6868 -22806
-7372 -4365 1144 6500
7590 8927
E n u n r i n c o n d e
69 110 32 117 110 32 114 105 110 99 111 110 32 100 101
l a M a n c h a d e c
32 108 97 32 77 97 110 99 104 97 32 100 101 32 99
u y o n o m b r e n o q
117 121 111 32 110 111 109 98 114 101 32 110 111 32 113
2738
8669
3121
6831
-444 -8658 1254
-1312 224 990 -1320 -6868 -8286
-7372 -4365 1144 6500
7590 8927


EJERCICIOS
1. Sea f la funcin mod 10. Calcule:
a. f(417) b. f(38) c. f(253)

2. Sea f la funcin mod 7. Calcule:
a. f(81) b. f(316) c. f(1057)

3. Calcule cada uno de los siguientes:
a. 2,78 = (

b. 2,78 = (

c. 28 = (

d. 17,8 = (

e. 21,48 = (

4. Calcule cada uno de los siguientes:
a. 3,34 = (
(
b. 3,34 = (
(
c. 34 = (
(
d. 13,4 = (
(

e. 31,4 = (
(

5. Utilice la funcin de hash h, la cual toma los primeros tres dgitos del nmero de cuenta
como un nmero y los ltimos cuatro dgitos como otro nmero, los suma y luego aplica la
funcin mod 59. Determine a cul lista debe agregarse las siguientes cuentas:

a. 3759273 b. 7149021 c. 5167249 d. 6751238 e. 3344543

6. Determine en cul lista habr que buscar para encontrar la cuenta de los siguientes clien-
tes, si se defini una funcin hash tal que se toman los cuatro primeros dgitos como un
nmero y se suman al nmero formado por los ltimos tres dgitos y luego se les aplica la
funcin mod de los ltimos dos dgitos.

a. 2561384 b. 6082376 c. 4984620 d. 9127655 e. 8712120

Curso Matemáticas Discretas

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Curso Matemáticas Discretas

Caricato da

Copyright:

Formati disponibili

Prof. Jorge Castro Monge, M.Sc.

| INTRODUCCIN A LA TEORA DE CONJUNTOS 1

= = s s define la sucesin finita: 5, 10, 20, 40, 80,

sobre A, suponiendo que x R

se le llama relacin de conectividad de R.

Potrebbero piacerti anche