GUIA DE ESTUDIO PARA

MATEMTICAS DISCRETAS

CONTENIDO
UNIDAD I. LGICA Y CLCULO
PROPOSICIONAL
UNIDAD II. RELACIONES Y FUNCIONES
UNIDAD III. TEORIA DE GRAFOS
UNIDAD IV. RBOLES

1. Lgica y
Clculo
Proposicional

Lgica (concepto)
La Lgica es la Ciencia que expone
las leyes, modos y formas de
raciocinio.Aporte de la Lgica a la Matemtica
De acuerdo al concepto anterior,
podemos
asegurar
que
la
simbologa que usa la lgica, ayuda
a la Matemtica en todos sus
razonamientos.-

PROPOSICIN
Una proposicin es toda oracin de la cual se puede
decir que es verdadera o falsa.
Por ejemplo:

Hoy es lunes
F

Toda proposicin se la representa con letras minsculas

y preferentemente las ltimas del abecedario, o sea:
p, q, r, s, t, u

LOS CONECTIVOS LOGICOS

Los conectivos lgicos son smbolos que sirven para formar
proposiciones con otras proposiciones. Estos son:

-: NO
: Y

: O EN SENTIDO INCLUYENTE

ENTONCES O IMPLICA
: SI Y SOLO SI
: O EN SENTIDO EXCLUYENTE
:

PROPOSICIONES SIMPLES Y COMPUESTAS

Una proposicin se dice que es simple o atmica, si

no est afectada por conectivos lgicos. Caso
contrario, se dice que la proposicin es compuesta o
molecular.
SIMPLE: p
PROPOSICIO
N
COMPUESTA: p q

TABLA DE VALORES DE VERDAD

Una tabla de valores de verdad de una proposicin, es una
tabla que se arma con los posibles valores de verdad de las
proposiciones simples que la componen, con la finalidad de
obtener el valor de verdad de la proposicin dada.-

Cantidad de valores de verdad debe llevar una

tabla
2
n proposiones

n valores A'n proposiciones 2

O sea que, si el nmero de proposiciones simples

que componen una proposicin es 5, los valores de
verdad sern:

n valores 2 5 32

OPERACIONES PROPOSICIONALES
La Negacin
La negacin de la proposicin p es ~p, cuya tabla
de valores de verdad es la siguiente:
p
~p
V
F
F

Como conclusin podemos decir que la negacin es

verdadera si la proposicin simple es falsa y
viceversa.

La disyuncin o suma lgica

La disyuncin de las proposiciones p y q es la
proposicin pvq, donde p y q se llaman disyuntivos,
cuya tabla de valores de verdad es la siguiente:

p
q
q
V V

p
V

V F

p: estudio
q: veo TV
p v q: estudio o veo TV

Como conclusin podemos decir que la disyuncin es

verdadera si al menos uno de los disyuntivos tambin
lo es.-

La conjuncin o producto lgico

La conjuncin de las proposiciones p y q es la proposicin pq,
donde p y q se llaman conjuntivos, cuya tabla de valores de
verdad es la siguiente:

p
q
q
V V

p
V

V F

p: estudio
q: veo TV
p q: estudio y veo TV

Como conclusin podemos decir que la conjuncin

verdadera si ambos conjuntivos tambin lo son.-

es

El condicional o la implicacin
El condicional de las proposiciones p y q es la proposicin pq,
donde p se llama antecedente y q consecuente, cuya tabla de
valores de verdad es la siguiente:

p
q
q
V V

p
V

p: apruebo
q: te presto el libro
p q: apruebo, entonces
te presto el libro

Como conclusin podemos decir que el condicional es falso si

el antecedente es verdadero y el consecuente es falso (2 lnea
de la tabla).-

Condiciones necesarias y suficientes

p
q
q
V V

p
V

V F

p condicin SUFICIENTE
para q (q si p)
q condicin NECESARIA
para p (p slo si q)

El bicondicional o la doble implicacin

El bicondicional de las proposiciones p y q es la proposicin
pq, cuya tabla de valores de verdad es la siguiente:

p
q
q
V V

p
V

V F

p: apruebo
q: te presto el libro
p q: solamente si
apruebo, te presto el libro

Como conclusin podemos decir que el bicondicional es

verdadero si los valores de verdad de las proposiciones simples
que la componen son iguales.-

La diferencia simtrica
La diferencia simtrica de las proposiciones p y q es la
proposicin p v q, cuya tabla de valores de verdad es la
siguiente:

p
q
q
V V

p
F

V F

p: estudio
q: veo TV
p v q: estudio o bien veo TV

Como conclusin podemos decir que la diferencia simtrica es

verdadera si los valores de verdad de las proposiciones simples
que la componen son distintos.-

Tautologa
Definicin
Se dice que una proposicin es una tautologa, si es verdadera
independientemente de los valores de verdad de las
proposiciones simples que la componen.-

Por
ejemplo:

p q (pq) [(pq)
(q p)]
V
V V
V V V
V
V
F

F
V

F
1

V
1

F
3

F
2

Contradiccin
Definicin
Una proposicin es una contradiccin, si es falsa
independientemente de los valores de verdad de las
proposiciones simples que la componen

Por
ejemplo:

p q (p q) - [(p q)
(q p)]
F F V
V
V
V V V
V

F V F

F V V

F F

Contingencia
Definicin
Una proposicin es una contingencia si no es ni verdadera ni
falsa independientemente de los valores de verdad de las
proposiciones simples que la componen

Por
ejemplo:
p q (p q) v [(p q)
(q p)]
V V V
V V
V
V

LEYES LOGICAS
Una ley lgica es una proposicin verdadera.1) Involucin
La negacin de la negacin de una proposicin, es
equivalente a la misma proposicin

p
-(-p)
p
V V F V
F F V V
2 1

2) Idempotencia de la
conjuncin
La conjuncin de una misma proposicin es equivalente a la
misma proposicin.-

V
F

(p

p)

3) Idempotencia de la
disyuncin
La disyuncin de una misma proposicin es equivalente a la
misma proposicin.-

V
F

(p

p)

4) Conmutatividad de la
conjuncin
La conjuncin es conmutativa

p q
(p q)
(q p)
V
V
V V
F
V
V F

V
F

5) Conmutatividad de la
disyuncin
La disyuncin es conmutativa

p q
(p q)
(q p)
V
V
V V
V
V
V F

V
V

6) Asociatividad de la
conjuncin

La conjuncin es asociativa

p q r
(p q) r p
(q r)
V
V V V
V
V V V
V

V F

V F

V F

V F

V V

V F

V F

V F

V F

V F

7) Asociatividad de la
disyuncin

La disyuncin es asociativa

p q r
(p q) r p
r)V
V
V(q V
V
V V V
V

V F

V V V

V V V

V V V

V V

V V V

V F

V V V

V V V

V F

8) Ley de De Morgan (de la conjuncin)

La negacin de una conjuncin es equivalente a la

disyuncin de las negaciones.-

p q
-(p q)
-p -q
V F F F
V V F V
V F

V F V V

V V F

V V V F

V F

V V V V

1 3 2

V F

9) Ley de De Morgan (de la disyuncin)

La negacin de una disyuncin es equivalente a la

conjuncin de las negaciones.-

p q
-(p q)
-p -q
FVF F
V FV V
V FF V

FVF V

F FV V

VVF F

F V
F F

VVV V

1 3 2

10) Distributividad de la conjuncin con respecto a la

disyuncin
La conjuncin es distributiva con respecto a la disyuncin

p
q
r
r) (q r)
V V V
V V F
V F

V F

V V

V F

(p q) r (p
V

V
V
V
V
V
V
V
V

11) Distributividad de la disyuncin con respecto a la

conjuncin
La disyuncin es distributiva con respecto a la conjuncin

p
q
r
(p q) r (p
r) (q r)
V
V V V
V V V V
V
V V F

V V

V F

V V

V F

V V

V V

V F

V V

10) Las implicaciones asociadas

-p -q Contraria

Contrarias

pq

-p -q

q p Recproca
-q -p Contra - recproca

Recprocas
Co
s
a
nt
oc
ra
r
- r cp
ecre
- p
a
ro
r
t
ca
n
o
s
C

Recprocas

qp

Contrarias

p q Directa

-q -p

Propiedad
Las implicaciones contrarrecprocas son equivalentes.
O sea que:

p q
pq
-q -p
V
V V
V F V F
V F

V V F F

V F V V

V V V V

1 3 2

11) Negacin de una implicacin

La siguiente proposicin es una tautologa, o sea:

Ahora
:
Pero:

(p q) -(p

p
q
-q)
V V

VV F

V F

VF V V

F V

VV F

F F

VV F

3 2

-(pq) -[-(p
-q)
-(pq) -[-(p
-q)
Ahora (pq) -(p

p -q
-(-p
q)
-p

12) La doble implicacin y la implicacin

La doble implicacin es equivalente a la conjuncin de la

implicacin y su recproca.

p q (p q) [(pq)
(qp)
V
V V
V
V V
V
V
V F
F
F F
V
F

13) La diferencia simtrica y la doble implicacin

La diferencia simtrica es equivalente a la negacin de la doble
implicacin.

(p q) - (p

p q
q)
V V

V F

V F

V V

V V

V F

RAZONAMIENTO DEDUCTIVO

pi , q
pi
q

Premisa
s
Conclusin

Un razonamiento es deductivo s y slo s, las premisas son

la evidencia de la verdad de la conclusin.-

(p1 p2 p3 p4 p5 p6 p7 p8 ...
pn) q

V V

F F

V V

V F

(p1 p2 p3 p4 p5 p6 p7 p8 ... pn)

q
VERDADERAS

Un razonamiento deductivo se dice

que es VALIDO, si no es posible que
de premisas VERDADERAS se
obtenga una conclusin FALSA

V
E
R
D
A
D
E
R
A

V
E
R
D
A
D
E
R
A

Por
ejemplo

p
1

pq

-r -q

-(-p -t)

t s

p
4:
::
::

-r
V

Reglas de
inferencias
Llamamos reglas de inferencias a todo esquema vlido de
razonamiento.
Algunas de ellas son:

Ley de Modus
Ponens
p (pq) q
p
p
q
q

p q p (pq)
q
V V V
V
V
V F

F V

F F

Ley de Modus
Tolens
-q (pq) -p

-q
p
q
-p

p q -q (pq)
-p
V V F F V V F
V F V F

V F

F V F F

V V

F F V V

V V

Ley del silogismo hipottico

(pq) (qr) (pr)

p q r
(pq) (q r)
(p r)
V
V V V
V
V V V
p
q

V F

qr

pr

V V

V F

Ley del silogismo

disyuntivo
-q (pq) p

-q
pq
p

p q -q (p q)
p
V V F F V V
V F V V

F V F F

F F V F

Por ejemplo:
1
)

pq

1)

-r -q

2) q r de 2 ICR

pq

2
) -(-p -t) 3) p t de 3 LDM e
INV
t
s
3
4) t s
)
-r
4
)

5)

-r

1) pr de 1)2)
LSH
2) p t
3) ts
4)

-r
s

5 1) -p de 1)4)
) LMT
2) p t
3) ts

1) t de 1)2) LSD

t(V)

2) t s

s(V)

s (V)

LA FUNCION PROPOSICIONAL

Una funcin proposicional en una variable x es toda oracin

en la que figura la variable como sujeto u objeto directo, la
cual se convierte en proposicin para cada especificacin
de x.-

Por
ejemplo:
P(x):
impar
P(-4): -4 es impar
(F)

es

P(5): 5 es impar
(V)

P(x,y):x es divisor de
y
P(-2,6):-2 es divisor de 6 (V)
P(10,2):10 es divisor de 2 (F)

UNIVERSAL: x:P(x)
CUANTIFICADORES

EXISTENCIAL: x/P(x)

NEGACION DE UN CUANTIFICADOR UNIVERSAL

Todos los nmeros enteros son
impares

x:x es impar
Negando
el
queda:-x:x

x:P(x)

cuatificador

es

-x:P(x)

impar
No
Todos los nmeros enteros son
impares nmeros enteros que no son
Existen
impares

x/x no es impar

x/-P(x)

-x:P(x)x/-P(x)

NEGACION DE UN CUANTIFICADOR EXISTENCIAL

Existen nmeros enteros que son
impares

x/x es impar
Negando el cuatificador
queda:-x/x es

x/P(x)

-x/P(x)

impar
No
existen los nmeros enteros que son
impares
Todos los nmeros enteros no son
impares

x:x no es impar

x:-P(x)

-x/P(x)x:-P(x)

La negacin de un cuantificador, es equivalente al otro

cuantificador con la negacin de la funcin proposicional

Por ejemplo:
Cualquiera que sea entero, existe otro que sumado a l
de cero
P(x,y):
x,y/x+y=
x+y=0
0
Su negacin es:
-x,y/x+y=0 x/-(y/x+y=0) x/y:x+y0
-x,y/x+y=0 x/y:x+y0

RAZONAMIENTO INDUCTIVO
Un razonamiento inductivo es aquel que partiendo de casos
particulares, podemos generalizar, y demostrar de esta
forma una propiedad.-

Por ejemplo, demostrar la propiedad conmutativa de

la adicin en los nmeros naturales
1+5 =
5+1 = 10+7
7+10
100+32=32+10
0

Si a y b
a+b=b+a

Un teorema es un esquema vlido de

razonamiento donde el conjunto de
premisas se denomina HIPTESES y la
TESIS interiores
En todo tringulo, la suma conclusin
de los ngulos
TEOREMA

es igual a dos rectos.

abc

H) Sea
T)

a b c 2R

D)
A ac Cortadas ab cb
por

c c'
a a'

a' b c' 2 R

a b c 2R

REDUCCION AL ABSURDO
En todo tringulo, la suma de los ngulos interiores
es igual a dos rectos.
b

abc

H) Sea
T)
D)

a b c 2R

H T -T

-H

a b c 2R

c c'

a a'

a' b c' 2 R
A ac Cortadas ab cb
por

ABSURDO!

a b c a b c 180 0

2. Teora de
Conjuntos

DEFINICION DE CONJUNTO
Conjunto es una coleccin de objetos o entidades
distinguibles y bien definidas. Los objetos (nmeros, letras,
puntos, etc.) que constituyen un conjunto se les llama
miembros o elementos del conjunto

Teora de
Conjuntos

Normalmente se utilizan letras maysculas A, B, X, Y . Para

denotar Conjuntos
Y para denotar a los elementos se utilizan letras minsculas
a,b,c,, nmeros, smbolos o variables.

DEFINICIONES DE CONJUNTO

EXPLICITAMENTE
Un Conjunto
puede ser
definido:

IMPLICITAMENTE

DEFINICION DE CONJUNTO EXPLCITAMENTE

EXPLICITAMENTE escribiendo cada uno de los elementos

que componen el conjunto dentro de llaves o separados por
una coma
1.- Sea A el conjunto de las vocales

A= { a, e, i, o, u }
2.- Sea B el conjunto de las vocales
B= { lunes , martes, mircoles, jueves, viernes}

DEFINICION DE CONJUNTO IMPLICITA

IMPLICITAMENTE escribiendo dentro de las llaves las caractersticas
de los elementos que pertenecen al conjunto , como sigue
Sea A es el conjunto de las vocales
Se escribe

A= {x/x es una vocal}

Y se lee

El conjunto de todas las x tales que x es una vocal

Sea D el conjunto de los nmeros pares

Se escribe

D= {x/x es un numero natural par }

Y se lee
El conjunto de todas las x tales que x es un
numero natural par

RELACIN DE PERTENENCIA
Un elemento pertenece a un conjunto si forma parte de su lista de
elementos.
Se representa de la siguiente manera
Elemento

conjunto .. Se lee elemento pertenece a conjunto

Elemento

conjunto . Se lee elemento NO pertenece a conjunto

Ejemplos:

a A Se lee a Pertenece al conjunto A

w A Se lee w No pertenece al conjunto A
3 D Se lee 3 No pertenece al conjunto D

CONJUNTO BIEN DEFINIDO

Podemos decir que un conjunto esta bien definido si podemos
afirmar de manera inequvoca si un elemento pertenece a l o no
1.

Sea T el conjunto de las personas simpticas

Este conjunto no esta bien definido ya que la idea de ser simptico es
subjetiva, No hay un criterio definido para decir que una persona es
simptica o no

2.

Un conjunto es FINITO cuando podemos listar todos sus elementos

3.

Un conjunto es INFINITO si no podemos listar todos sus elementos

Ejemplo:

S= {x/x N, x >= 10}

Se lee x tal que x pertenece a los nmeros naturales y x es
mayor o igual a 10

Relaciones Entre
Conjuntos

RELACIONES DE IGUALDAD DE CONJUNTO

Relaciones
Entre Conjuntos

Igualdad de Conjuntos
Sub Conjuntos
Conjuntos Especiales
Conjunto Vacio
Conjunto Universal
Conjuntos de Pares

Relaciones Entre
Conjuntos

IGUALDAD DE CONJUNTOS
Decimos que dos conjuntos A y B son iguales (A = B ) si
todos los elementos de A pertenecen a B

A= { x, y }

B= { y, x }

Esto es:
A=B,

x A, implica que x B y
Que y B, implica que y A.
entonces

Relaciones Entre
Conjuntos

IGUALDAD DE CONJUNTOS
Ejemplo de Igualdad de Conjuntos

Si

M= { 1, 3, 5, 7, 9 }

L= {x/x es impar ^ 1 x 9 }

Esto significa que

Relaciones Entre
Conjuntos

A
B

B
A

SUBCONJUNTO

Si cada elemento de un conjunto A es tambin elemento de un

conjunto B,

entonces A se llama Subconjunto de B

Tambin decimos que A, esta contenido en B
O que B, esta contenido en A

A no es un subconjunto de B,
es decir si por lo menos un elemento de A no pertenece a B

SUBCONJUNTO

Relaciones Entre
Conjuntos

Ejemplo:
Considere los siguientes conjuntos:
A={ 1, 3, 4, 5, 8, 9 } B={ 1, 2, 3, 5, 7 }

C={ 1, 5 }

Podemos decir que:

A y C

B,

Ya que 1 y 5 los, elementos de C, tambin son elementos de A y B

Ya que

algunos de sus elementos como el 2 y 7 no pertenecen a A

o se que no todos lo elementos de B son elementos de A

SUBCONJUNTO

Relaciones Entre
Conjuntos

Ejemplo:
Considere los siguientes conjuntos:

B={ x/x es un ave} H={ y/y es una paloma}

Podemos decir que:

H es un subconjunto de B

SUBCONJUNTO

Relaciones Entre
Conjuntos

Ejemplo:
Considere el siguiente conjunto:

A={ x/x N es par} y B={ y/y N y es mltiplo de 2}

Podemos decir que

A = B

B = A

Relaciones Entre
Conjuntos

CONJUNTO VACIO (Conjuntos Especiales)

Un conjunto VACIO es el que carece de elementos, se simboliza { }
o por .
Ejemplo de conjunto Vacio:
El conjunto cuyos miembros son los hombres
que viven actualmente con mas 500 aos de
edad.

Relaciones Entre
Conjuntos

CONJUNTO VACIO (Conjuntos Especiales)

Un conjunto VACIO es el que carece de elementos, se simboliza { }
o por .
Ejemplo de conjunto Vacio:
El conjunto cuyos miembros son los hombres
que viven actualmente con mas 500 aos de
edad.

Relaciones Entre
Conjuntos

CONJUNTO UNIVERSAL (Conjuntos Especiales)

Cuando se habla o se piensa acerca de los

conjuntos es conveniente saber que los
miembros de un conjunto dado pertenece a
alguna poblacin determinada.

Relaciones Entre
Conjuntos

CONJUNTO UNIVERSAL (Conjuntos Especiales)

Ejemplo
Si se habla de un conjunto de nmeros es til establecer una
poblacin general de nmeros denominado CONJUNTO
UNIVERSO o CONJUNTO REFERENCIA
Cuyos elementos son los posibles candidatos para formar los
conjuntos que intervienen en una discusin determinada.
El conjunto Universal se denomina :

Relaciones Entre
Conjuntos

CONJUNTO UNIVERSAL (Conjuntos Especiales)

Ejemplo

Si U=N, el conjunto de los nmeros naturales

A = { 1, 2, 3, 4, 5 }
B={ x/x es un numero primo }
C = { x/x es un numero natural par }
A, B y C son subconjuntos propios de U

Los nmeros primos menores que cien son los siguientes:

2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73
,79,83,89y97

Relaciones Entre
Conjuntos

CONJUNTO PARTES (Conjuntos Especiales)

Dado un conjunto A, el conjunto de partes de A, denominado por P(A),
Es el conjunto cuyos elementos son todos los subconjuntos de A
En la lista de subconjuntos de A hay que tener en cuenta dos
subconjuntos especiales el mismo A, ya que A
A, y el conjunto
vacio

Relaciones Entre
Conjuntos

CONJUNTO PARTES (Conjuntos Especiales)

Ejemplo
Si A = { a, b, c } entonces

P(A)={ {a}, {b}, {c}, { a, b }, { a, c }, { b, c }, { a, b, c, }, {} }

Los elementos del Conjunto P(A) son a su vez conjunto
Un conjunto cuyos miembros son conjuntos se llama Familia de
Conjuntos
P(A) es un ejemplo de una familia de conjuntos
NOTA: Si un conjunto M tienes n elementos P(M) constara de 2n
elementos

2n = 23 = 2 x 2 x 2 = 8

Relaciones Entre
Conjuntos

DIAGRAMA DE VENN (Euler)

Los Diagramas de Venn e Euler son una manera esquemtica de
representar los conjuntos y los conceptos de la teora de conjuntos.
Constituyen un auxiliar didctico valioso para visualizar las relaciones
de: Pertenencia, Inclusin y las Operaciones con conjuntos.
El Rectngulo representa conjunto
Universal

U
A

Los crculos se han utilizado para

representar a cada uno de los
conjuntos.

Relaciones Entre
Conjuntos

DIAGRAMA DE VENN (Euler)

Si A={ 1, 2, 3,}

B= { 1 }

C={ 8,9 }

D={ 8}

A
B

Operaciones con
Conjuntos

OPERACIONES CON CONJUNTOS

Unin
Interseccin
Operaciones con
Conjuntos

Diferencia
Diferencia Simtrica
Complemento

Operaciones con
Conjuntos

UNION DE CONJUNTOS

La unin de dos conjuntos A y B, denominada por A U B que se lee A

unin B, es el nuevo Conjunto formado por los elementos que
pertenecen a A o B o a ambos conjuntos
A U B ={ x/x A V x B}

U
A

En el diagrama de Venn, la regin

sombreada
corresponde
al
conjunto A U B

Operaciones con
Conjuntos

UNION DE CONJUNTOS

Ejemplo

Si A={ a, b, c, d }

B= { c, d, e, f }

Entonces:

A U B ={ a, b, c, d, e, f}
U
A

Operaciones con
Conjuntos

INTERSECCION DE CONJUNTOS

La interseccin de dos conjuntos A y B, denotada A B, que se lee A

interseccin B.
Es el nuevo conjunto formado por los elementos que pertenecen a A y
a B, es decir, por los elementos comunes a ambos conjuntos

A B ={ X/X A x B }
U
A

En este diagrama de
Venn la regin
sombreada corresponde
al conjunto A B

Operaciones con
Conjuntos

INTERSECCION DE CONJUNTOS
Si A={ a, b, c, d }

B= { c, d, e, f }

A B = { c, d }
Observe que los elementos c y d pertenecen
simultneamente a los conjuntos A y B
A U B Tambin se llama suma lgica de los conjuntos A y B
A B Se denomina tambin el producto lgico de los conjuntos Ay B

Dos conjuntos que no tienen

nada en comn se llaman
DISYUNTOS

Operaciones con
Conjuntos

INTERSECCION DE CONJUNTOS
Si
A={ a, b, c, d }

Si
A={ a, b, c, d }

B= { c, d }

B= { m, p, q }

A B = { c, d }
U

AB=
U

A B =B porque B

A B = , A y B son disyuntos

Operaciones con
Conjuntos

DIFERENCIA DE CONJUNTOS

La Diferencia de dos conjuntos A y B, denotada A B, que se lee A

menos B, es el conjunto formado por los elementos que pertenecen a
A y que no pertenecen a B

Simblicamente:

A - B ={ X/X A x B }
U

A
B

Operaciones con
Conjuntos

DIFERENCIA DE CONJUNTOS

Simblicamente:

A - B ={ X/X A x B }
U

A
B

Operaciones con
Conjuntos

DIFERENCIA DE CONJUNTOS

Ejemplo 1:

Si A={ a, b, c }

B= { c, d}

A-B={ a, b }

B= { 4, 5 }

A-B={ 3, 6}

Ejemplo 2:

Si A={ 3, 4, 5, 6 }

Ejemplo 3:

Si A={ 1, 2, 3 }

B= { 6, 7 } A-B={1, 2, 3 }

Operaciones con
Conjuntos

DIFERENCIA SIMTRICA DE CONJUNTOS

La Diferencia Simtrica de dos conjuntos A y B, denotada A

B, que
se lee A diferencia B, es el conjunto formado por los elementos que
pertenecen a A o a B pero no pertenecen simultneamente a ambos
conjuntos
Simblicamente:

B ={ X/X A V x B x A B}

Operaciones con
Conjuntos

DIFERENCIA SIMTRICA DE CONJUNTOS

La Diferencia Simtrica de dos conjuntos A y B, denotada A

B, que
se lee A diferencia B, es el conjunto formado por los elementos que
pertenecen a A o a B pero no pertenecen simultneamente a ambos
conjuntos
Simblicamente:

B ={ X/X A V x B x A B}

A diferencia simtrica de B es igual a

x Tal que x pertenece a A o x pertenece a B, y x pertenece
a A interseccin B

Operaciones con
Conjuntos

DIFERENCIA SIMETRICA DE CONJUNTOS

Simblicamente:

A - B ={ X/X A x B }

En el siguiente grafico se muestra A

UA

Observe que las regiones a la izquierda

y a la derecha corresponden a los
conjuntos A-B y B-A

A={ 1, 2, 3, 4 } B= { 4, 5 }

Por eso tambin

B={ A B } U { B- A }

B={ A U B } - { B A }
A

B = { 1, 2, 3, 5 }

Operaciones con
Conjuntos

COMPLEMENTEOS DE UN CONJUNTOS

El complemento de un conjunto A con respecto al conjunto U, denota

A, es el conjunto de elementos de U que no pertenecen a A
Simblicamente:

A= U A

A={ X/X A U x A }
Ejemplo:
Sea U = N (el conjunto de los nmeros naturales)
A = { X/X es un numero natural par}
A = { X/X es un numero natural impar}=U -A

CONJUNTOS NUMERICOS
Nmeros Naturales

Conjuntos
Numricos

Es la coleccin de Objetos matemticos representados por los

smbolos 1, 2, 3, 4, ., etc. Llamados nmeros para contar.

N= {1, 2, 3, 4, .}

Nmeros Enteros

Los nmeros enteros abarca los nmeros negativos incluyendo en

cero y los nmeros positivos. Y se representa

Z= {-3, -2, -1, 0, 1, 2, 3, 4, .}

CONJUNTOS NUMERICOS
Nmeros Racionales

Conjuntos
Numricos

Es el conjunto de los nmeros de la forma

donde p y q son
enteros, con q 0, se representa mediante el smbolo.

p
Q= { q,q Z q 0}

Nmeros Irracionales

Es el conjunto de los nmeros que no pueden ser expresados

como el cociente de dos nmeros enteros

Entre los mas conocidos esta el

CONJUNTOS NUMERICOS

Nmeros Reales

Conjuntos
Numricos

Es el conjunto formado por todos los nmeros racionales e

irracionales

R = Q U Q

Nmeros Complejos

Es la coleccin de nmeros de la forma a + bi, donde a y b son

nmeros reales, e i es la unidad imaginaria que cumple con la
propiedad.

i =-1
2

Relaciones Entre
Conjuntos

SIMBOLOGIA
IGUAL

UNION

ELEMENTO PERTENECE

ELEMENTO NO PERTENECE

INTERSECCION
DIFERENCIA

___

ES SUBCONJUNTO

DIFERENCIA SIMETRICA

NO ES SUBCONJUNTO

COMPLEMENTO DE UN CONJUNTO

CONJUNTO VACIO

{}o

CONJUNTO UNIVERSAL
CONJUNTO DE PARTES

CONJUNTOS NUMERICOS
NATURALES
N
ENTEROS

P{A }

RACIONALES
IRRACIONALES
REALES
COMPLEJOS

Z
Q
Q
r
C

3. Teora de Grafos

GR AF O :
Un grafo es un conjunto, no vaco, de objetos
llamados vrtices (o nodos) y una seleccin
de pares de vrtices, llamados aristas que
pueden ser orientados o no.

INTRODUCCIN

La teora de grafos tiene su origen

en el problema de los siete puentes de
Knigsberg resuelto por Leonhard
Euler.

Mapa de Knigsberg en la poca de

Leonhard Euler, que muestra dnde se
encontraban los siete puentes (en verde
claro) y las ramas del ro (en celeste).

Ms tarde, otros problemas influyeron en

el desarrollo de la teora de grafos como:
El estudio de las redes elctricas.
La enumeracin de ismeros de
hidrocarburos.
Etc.

Dibujar un grafo para resolver un problema es

un reflejo muy comn, que no precisa
conocimientos matemticos. Un grafo se
parece a la figura siguiente, y consta de
vrtices y de aristas que renen algunos de
ellos.

En la teora de los grafos, slo se queda lo esencial del

dibujo: la forma de las aristas no son relevantes, slo
importan sus extremidades (o cabos); la posicin de los
vrtices tampoco, y se puede variar para obtener un grafo
ms claro, y hasta sus nombres se pueden cambiar. Estos
cambios se llaman:

ISOMORFISMOS

Conceptos bsicos
de grafos
Un conjunto de vrtices
V

Grafo:

y de aristas
E
de forma tal que cada arista
se asocia a un par de
vrtices.

Una arista e en un grafo asociada a vrtices a y

b, se dice, que es incidente en a y b y
viceversa, que a y b son incidentes en e.
Y por lo tanto que a y b son vrtices
adyacentes en e.
Si G es un grafo con vrtices V y aristas E,
entonces

G = (V, E).

2
a

h
f

V = {1, 2, 3, 4, 5} Vrtices
E = {a, b, c, d, e, f, g, h, i } Aristas
G = { (1, 2), (3, 2), (4, 5), (5, 3), (1, 4), (2, 4), (2, 5), (1, 3), (5, 1)}
Grafo

).
Lazo: Es una arista incidente en un slo vrtice.
ejemplo: a6 = (v5, v5).

Aristas paralelas. Cuando dos o ms aristas estn

asociadas con el mismo par de vrtices. Ejemplo: las
aristas a2 y a3 estn asociadas al mismo par de vrtices.
Es decir: a2 = (V1, V3) y a3 = (V1, V3).

Vrtice aislado: El vrtice que no es incidente en

alguna arista

Grado o valencia de un vrtice v:

Es el nmero de aristas incidentes en v.

V1

V2

V3

V4

V5

Sub grafos: Parte de un grafo.

LASIFICACIN DE GRAFO

Grafo dirigido. Llamado tambin dgrafo tienen un conjunto de vrtices

V (nodos) y un conjunto de aristas E (arcos o lados), tal que cada arista
se asocia a un par ordenado de vrtices. Ejemplo:

Grafo no dirigido. Tienen un conjunto de aristas E (arcos o

lados), tal que cada arista se asocia a un par no ordenado de
vrtices. De modo que para cualquier par de nodos existe al menos
un camino que los une

Grafo pesado, ponderado etiquetado

Un grafo es pesado cuando sus aristas contienen datos
(etiquetas). Una etiqueta puede ser un nombre, costo un valor
de cualquier tipo de dato. Tambin a este grafo se le denomina
red de actividades, y el nmero asociado al arco se le denomina
factor de peso.
10

F
1

14

B
8

E
6
G

15

Si A, B, C, D, E , F, G, H (los vrtices ) fueran ciudades,

entonces los nmeros seran ponderaciones que
podran indicar los kilmetros que existen de una
ciudad a otra o tal vez lo que cuesta un pasaje de una
ciudad a otra. Por ejemplo de la ciudad A a la ciudad H
hay 10 kilmetros de distancia.

Grafo simple: Es un grafo que no tiene

lazos ni aristas paralelas.

Grafos Isomorfos: Dos grafos son isomorfos

cuando existe una correspondencia biunvoca
(uno a uno), entre sus vrtices de tal forma
que dos de estos quedan unidos por una arista
en comn.

Grafo nulo: Se dice que un grafo es nulo

cuando los vrtices que lo componen no estn
conectados, esto es, que son vrtices aislados.

Grafo regular. Aquel con el mismo grado en todos

los vrtices. Si ese grado es k lo llamaremos
k-regular.

Un grafo G es bipartito si puede expresarse como

(es decir, sus vrtices son la unin de dos grupos de

vrtices), bajo las siguientes condiciones:
V1 y V2 son disjuntos y no vacos.
Cada arista de A une un vrtice de V1 con uno de V2.
No existen aristas uniendo dos elementos de V1;
anlogamente para V2.

Grafos Platnicos: Son los Grafos formados por

los vrtices y aristas de slidos regulares
(Slidos Platnicos), como el tetraedro, el cubo,
el octaedro, el dodecaedro, el icosaedro, etc..

Grafos conexos. Un grafo se puede definir como

conexo si cualquier vrtice V pertenece al
conjunto de vrtices y es alcanzable por algn
otro.

Longitud
Camino: Es
deuncamino:
conjunto
Esde
el vrtices
nmero ydearistas
arcos o
aristas
que parten
en ese
de un
camino.
vrtice y llevan a otro vrtice
A

Aqu tenemos que un camino que va de:

La
longitud
de este
seria 2
A
a E seria
(a, d,camino
e)

Ciclo
Camino
simple:
simple:
Es un
Es camino
cuando simple
todos sus
de longitud
vrtices,por
loexcepto
menos de
taluno
vezque
el primero
empiezay yeltermina
ltimo, en
sonel
mismo
distintos.
vrtice.
A

Un ejemplo de esto seria el camino de A a B=

(a,d,e,f,c,b)

Camino Euleriano
Llamaremos camino euleriano a un camino que contiene a
todas las aristas del grafo, apareciendo cada una
exactamente una vez.
Teorema
Sea G un grafo conexo
G es euleriano Todos los vrtices de G tienen grado
par.

Grafo cclico: Se dice que un grafo es

cclico cuando contiene por lo menos un
ciclo.
Un ciclo hamiltoniano tiene adems que recorrer
todos los vrtices exactamente una vez (excepto el
vrtice del que parte y al cual llega).

Ciclo Hamiltoniano
Ciclo Euleriano

Grafo acclico: Se dice que un grafo es acclico

cuando no contiene ciclos.

Grado de salida. El grado de salida de un nodo v de un grafo g,

es el nmero de arcos o aristas que empiezan en v.
Grado de entrada. El grado de entrada de un nodo v de un grafo
g, es el nmero de aristas que terminan en v.

4. rboles

rboles
Existen diferentes tipos de rboles:

rboles
rboles
rboles
rboles

en general
binarios (AVL, Rojo-Negro, AA)
balanceados
multi-caminos (B, B+, B*)

En general un rbol es un conjunto de vrtices y aristas

que satisfacen ciertos requisitos.
Un vrtice es un objeto simple, tambin denominado nodo, que
contiene informacin.
Una arista (o arco) es una conexin entre dos vrtices
Un camino (o ruta) en un rbol es una lista de vrtices distintos, en
los que cada uno de ellos se encuentran conectados sucesivamente
por aristas en el rbol.

La propiedad definitoria de un rbol es que existe

solamente un camino o ruta conectando un par de nodos.
Si hay ms de un camino entre dos nodos, o si no hay un
camino entre un par de nodos, entonces lo que tenemos es

rboles: Terminologa

Un nodo por lo tanto, es la unidad sobre la que se

construye el rbol, y puede tener cero o ms nodos hijos
conectados a l (por medio de aristas) esta propiedad se le
denomina grado.

Se dice que un nodo a es padre de un nodo b (o b es hijo

de a) si existe un enlace desde a hasta b.

Un rbol solo puede tener un nico nodo sin padres, al

cual se le denomina raz. En un rbol con raz, cualquier
nodo es la raz de un subrbol, el cual consiste de s mismo
y de los nodos descendientes de l

Un nodo que no tiene hijos se le denomina hoja o

terminal.

El resto de los nodos se les conoce como rama, ya que

rboles

En computacin, usualmente se usa el trmino rbol para

referirse a un rbol con raz. Mientras que se asume el
trmino rbol libre para referirse a la estructura ms
general.

Las aristas en un rbol no tienen direccin, usualmente se

menciona que se encuentran apuntando hacia la raz o
fuera de ella. Y usualmente se coloca a la raz en la cima
del rbol.

Un rbol ordenado es un rbol con raz en el cual el

orden de los nodos descendientes (hijos) sigue un patrn
determinado

Si cada nodo debe tener un nmero determinado de hijos

en un orden especfico, entonces tenemos un rbol de Maristas. El rbol de M-aristas ms simple es el rbol

rboles: Definicin
General

Caso base: Un rbol con un solo nodo, el cual es a la vez la

raz del rbol y una hoja.

Un rbol a partir de un nodo raz R y k rboles A1, A2, A3,

, Ak con races n1, n2, n3, , nk respectivamente, y N1, N2,
N3,, Nk nodos cada uno.

El rbol resultante de N = 1 + N1 + N2 + N3 ++Nk nodos

tiene como raz al nodo R, por lo que los nodos n1, n2, n3,
, nk son los hijos de R.

A cada uno de los rboles Ai se les denota como subrboles

de la raz.

Un recorrido es una sucesin de nodos del rbol de tal

forma que entre cada dos nodos consecutivos de la

rboles: Definicin
General

Existen dos recorridos tpicos para listar los nodos de un

rbol: en profundidad y en anchura.

En profundidad (depth-first) listamos los nodos

expandiendo primero el hijo actual de cada nodo hasta
llegar a una hoja, al llegar a una hoja regresamos al nodo
anterior probando el siguiente hijo, y as sucesivamente.

En anchura (breadth-first), antes de recorrer los nodos

del nivel d+1 (profundidad de d+1 aristas desde la raz), se
listan todos los nodos del nivel d.

rboles Binarios

Un rbol binario es un conjunto finito de elementos que

est vaco o dividido en tres subconjuntos:
1. El primer subconjunto contiene un elemento nico, la raz del rbol,
2. Un subrbol binario izquierdo que puede o no estar vaco
3. Un subrbol binario derecho equivalente al izquierdo

En otras palabras, un rbol binario es un nodo externo, o

un nodo interno conectado a un par de rboles binarios, los
sub rboles izquierdo y derecho.
raz

ancestro
izq
der
descendiente
hoja

hermanos

rboles Binarios

Nivel de un rbol binario: La raz del rbol tiene el nivel 0, y

el nivel de cualquier otro nodo en el rbol es uno ms el
nivel Nivel
de su=padre.
0
Nivel = 1
Nivel = 2

Profundidad

Nivel = 3

rbol binario completo: Es un

rbol binario que tiene todos
1
sus nodos completos en cada
Nivel = 1
nodos 2
subrbol a una profundidad
Nivel = 2 d.
4
d
Si un rbol binario contiene
2l nodos por nivel, por lo tanto la
m nodos en el nivel l,
Cantidad de nodos en un rbol de
Profundidad d es igual a la suma de entonces contiene un
Los nodos por nivel:
mximo de 2m nodos en el
N = 20 + 21 + + 2d = d 2j = 2d+1 - 1 nivel l+1.
Nivel = 0

j=0

rboles Binarios:
Operaciones
Entre las aplicaciones ms comunes tenemos:
Dado un apuntador p a un nodo en un rbol binario

Null

info(p) : Retorna el contenido de

nodo, en este ejemplo es a
p

father(p) : Retorna un
apuntador al padre del nodo
a

left(p) : Retorna un apuntador

al hijo izquierdo del nodo b
d

c
e

right(p) : Retorna un apuntad

al hijo derecho del nodo

isLeft(d) = true
isLeft(e) = falseisRight(g) = true
brother(p) : Retorna un apuntador al hermano del nodo.

Note que si no existe un nodo que satisfaga cualquiera de las funciones anterio
retorna un nulo (null) entonces.

Las funciones lgicas isLeft(p) y isRight(p) retornan true si p se encuentra e

lado izquierdo o derecho de algn otro nodo respectivamente, false sino es el

rboles Binarios:
Operaciones

Las funciones isLeft(p), isRight(p), y

brother(p), se implementan usando la
funcionalidad de left(p), right(p), y
father(p). Ejemplo:
Bool isLeft(p)
q = father(p)
if(q == null)
return false;
if(left(q) == p)
return true;
return false;

isLeft(a) ?
a
c isLeft(c) ?

isLeft(b) ? b
d

Implementa isRight(p)!

rboles Binarios:
Operaciones

brother(p)
father
a
if(father(p) == null)
b
return null;
d
e
f
if(isLeft(p))
return right(father(p))
return left(father(p))

cbrother(c) ?
g

Operaciones adicionales:
-makeTree(p) : Crea un rbol binario con un nodo nico (raz)
- setLeft(p, x) : Establece un nodo x como hijo izquierdo de otro nodo p,
siempre y cuando p no tenga un hijo del lado izquierdo ya establecido.
- setRight(p, x) : Similar a la funcin anterior.

rboles Binarios: Aplicacin de Ejemplo

Los rboles binarios son tiles cuando se toman decisiones en

dos sentidos en cada punto del proceso.
Ejemplo: Encontrar todos los duplicados en una lista de nmeros:
{15,4,8, 7, 4, 3, 19, 5, 7, 9, 16, 5,17}
Algoritmo: Primer elemento es la raz, subsecuentes elementos
se colocan a la izquierda si son menores o a la derecha si son
mayores. Si son duplicados no se insertan pero se reportan.

1
5

1
5

1
5

1
5

1
5

rboles Binarios: Aplicacin de Ejemplo

{15,4,8, 7, 4, 3, 19, 5, 7, 9, 16, 5,17}
1
5
1
9

1
5

1
5
1
9

1
9

1
6

1
7

rboles Binarios: Aplicacin de Ejemplo

Pseudocdigo:
int numbers[13] = {15,4,8, 7, 4, 3, 19, 5,
7, 9, 16, 5,17};
tree = makeTree(numbers[0]);
for(int i=1;i<length(numbers);i++){
p = q = tree;
while(numbers[i] !=info(p) && q!
=NULL){
p = q;
if(numbers[i]<info(p))
q = left(p);
else
q = right(p);
}
if(numbers[i] == info(p))
cout<<Numero repetido;
else if(numbers[i] < info(p))
setleft(p,numbers[i]);
else
setright(p, numbers[i]);

1
5
1
9

1
6

1
7

Ejemplo 2: Expresiones

La raz del rbol binario contiene un operador que se

aplicar a la evaluacin de las expresiones
representadas por sus subrboles izquierdo y derecho.
Los operandos son nicamente hojas en el rbol
+
$
A

*
+

A+B*C

*
B
+

(A+B*C)$((A+B)*C)
A

(A+B)*C

Representacin bsica de un rbol binario

struct tnode
int info;
struct tnode
struct tnode
struct tnode
};

{
* father; //No necesario
* left;
Inf
* right;
o

typedef struct tnode * TNODEPTR;

TNODEPTR createNode() {
TNODEPTR p = (TNODEPTR)
malloc(sizeof(struct tnode));
return p;
}
void freeNode(TNODEPTR P) {
free( p);
}

R
p

Representacin bsica de un rbol binario

TNODEPTR makeTree(int x) {
TNODEPTR root = createNode();
root->info = x;
root->father = NULL;
root->left = NULL;
X
root->right = NULL;
return root;
}
TNODEPTR father(TNODEPTR pNode) {
return pNode->father;
}
TNODEPTR leftChild(TNODEPTR pNode)
{
return pNode->left;
}
TNODEPTR rightChild(TNODEPTR pNode)
{
return pNode->right;
}

NULL NULL NULL

Representacin bsica de un rbol binario

void setLeftChild(TNODEPTR pNode, int x) {
if (pNode == NULL)
cout << "Error, padre es nulo!" << endl;
else if (leftChild(pNode) != NULL)
cout << "Error, hijo izquierdo presente!; else {
pNode ->left = makeTree(x);
pNode ->left ->father = pNode;
}
}
pNode

pNode
Y N N N

X N N N

pNode
N N

N N

makeTree(x);
X N N N

X N

pNode->left=
pNode ->left ->father = pNode;

void setRightChild(TNODEPTR pNode, int x){} //Es similar

Representacin bsica de un rbol binario

bool isLeft(TNODEPTR pNode) {
if (pNode == NULL)
return false;
else if (father(pNode) == NULL)
return false;
else
return (leftChild(father(pNode)) == pNode);
}
bool isRight(TNODEPTR pNode) {
if (pNode == NULL)
return false;
else if (father(pNode) == NULL)
return false;
return (rightChild(father(pNode)) == pNode);
}

Representacin bsica de un rbol binario

TNODEPTR sibling(TNODEPTR pNode) {
if (pNode == NULL)
return NULL;
if (father(pNode) == NULL)
return NULL;
if (isLeft(pNode))
return rightChild(father(pNode));
else
return leftChild(father(pNode));
}
father
a
csibling(c) ?

b
d

rbol binario de bsqueda u

ordenado
El ejemplo anterior introdujo el rbol binario de
bsqueda o rbol binario ordenado
Este tipo de rbol tiene todos sus nodos en
orden, para cada nodo X:
Todos los elementos de su rbol izquierdo son menores
o iguales a X,
Mientras los nodos en su rbol derecho son mayores a
X.

En promedio, un rbol binario ordenado puede

localizar un nodo en un rbol de N nodos en
tiempo log(N).

Bsqueda en un rbol binario ordenado

//Dado un rbol binario, retorna
4
//verdadero si el dato buscado se
//encuentra en el rbol, o falso si no
bool find(TNODEPTR pNode, int data){
//Caso base:arbol vacio
3
8
if(pNode==NULL){
return false;
} else{
7
//Dato es encontrado
if(pNode->info==data){
return true;
5
}else{
if(data<pNode->info){
//Recursa a la izq si es menor
return find(pNode->left,data);
} else{
//Recursa a la derecha si es mayor
return find(pNode->right,data);
}
}
}
}

1
5
1
9

1
6

1
7

Insercin en un rbol binario ordenado

1
5
1
9

//Dado un rbol binario, inserta un

//nuevo nodo en el lugar correcto del arbol.
TNODEPTR insert(TNODEPTR pNode, int data){
3
8
//1: Si el arbol esta vacio retorna
//un nodo unico
if(pNode==NULL){
1
7
return makeTree(data);
} else{
//Recursa hacia abajo del arbol
//Para encontrar el lugar correcto
5
if(data<=pNode->info){
pNode->left = insert(pNode->left, data);
}else{
pNode->right = insert(pNode->right, data);
}
//Retorna el nodo original sin cambiar
return(pNode);
}
}

1
6

1
7

Recorrido de rboles
binarios
Recorrer un rbol binario significa visitar la raz y recorrer
sus subrboles izquierdo y derecho de forma recursiva.
Orden previo:
1. Visitar la raz
2. Recorrer el subrbol izquierdo en orden previo
3. Recorrer el subrbol derecho en orden previo
A

2
3

void recorridoPreorden(TNODEPTR pNode){

if(pNode!=NULL){
cout<<"Node: "<<pNode->info;
recorridoPreorden(pNode->left);
recorridoPreorden(pNode->right);
}
}

ABDGCEHIF

Recorrido de rboles
binarios
Orden Simtrico/Inorden:
1. Recorrer el subrbol izquierdo en orden simtrico
2. Recorrer la raz
3. Recorrer el subrbol derecho en orden simtrico

3
1

void recorridoInorden(TNODEPTR pNode){

if(pNode!=NULL){
recorridoPreorden(pNode->left);
cout<<"Node: "<<pNode->info;
recorridoPreorden(pNode->right);
}
}

DGBAHEICF

Recorrido de rboles
binarios

Orden Posterior:
1. Recorrer el subrbol izquierdo en orden posterior
2. Recorrer el subrbol derecho en orden posterior
3. Recorrer la raz

3
2

void recorridoPostorden(TNODEPTR pNode){

if(pNode!=NULL){
recorridoPreorden(pNode->left);
recorridoPreorden(pNode->right);
cout<<"Node: "<<pNode->info;
}
}

GDBHIEFCA