Está en la página 1de 48

MAESTRÍA EN INFORMÁTICA

FINESI ESTRUCTURAS DISCRETAS M. Sc. Paco Wilson Marconi Quispe
FINESI
ESTRUCTURAS DISCRETAS
M. Sc. Paco Wilson Marconi Quispe
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Que es Matemática Discreta
Es la parte de la matemática que se dedica al estudio de
los objetos discretos, en el cual, discreto significa
constituido por elementos distintos.
La matemática discreta es una rama de las matemáticas
que trata de las estructuras finitas y numerables, lo
discreto es lo finito por lo que presenta el aspecto de los
números naturales, dándole fundamentos matemáticos
para la ciencia de la computación en donde la información
en los ordenadores se manipula en forma discreta
(palabras formadas por ceros y uno).
Ejm. En matemáticas discretas son contables, como por
ejemplo, los número, naturales, enteros, grafos y
sentencias de lógica.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
¿Porque estudiar matemática
discreta?
Hay varias razones importantes para estudiar
matemática discreta donde, a través de este curso
se puedes desarrollar la madurez en matemáticas,
es decir tu habilidad para entender y crear
argumentos matemáticos.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
PREGUNTAS FRECUENTES
 ¿de cuantas formas se puede elegir una clave de
acceso a un equipo informático?
 ¿hay algún enlace entre dos ordenadores en una red?
 ¿Cuál es el camino mas cortos entre dos ciudades
usando un sistema de transporte?
 ¿Cómo se puede ordenar una lista de enteros para
que se dispongan en orden creciente?
 ¿Cómo se puede demostrar que un algoritmo ordena
correctamente una lista?
 ¿Cómo se puede diseñar un circuito para sumar dos
enteros?
 ¿Cuántas direcciones validas de internet existen?
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Aplicaciones y modelos
la matemática discreta se puede aplicar en casi
cualquier área concebible de estudio.
Como:
 La química
(optimización)
 La botánica (optimización)
 La zoología
(optimización)
 La lingüística
 La geografía (optimización)
 Las ciencias empresariales e internet. (optimización)
Estas aplicaciones son usos naturales e importantes de
la matemática discreta.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CONCLUSIÓN
El curso de matemática discreta es importante
porque enseña como trabajar con estructuras
discretas, que son las estructuras abstractas
matemáticas usadas para representar objetos
discretos y relaciones entre ellos. Estas
estructuras discretas engloban:
lógica,
conjuntos,
relaciones,
funciones,
grafos, arboles y maquinas de estados finitos.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
LÓGICA
Las reglas de la lógica le dan un significado preciso a
los enunciados matemáticos o sentencias
matemáticas. Estas reglas se usan para distinguir
entre argumentos validos y no validos.
ARGUMENTOS Y PROPOSICIONES LÓGICAS
Es importante distinguir entre argumentos que son
válidos lógicamente y los argumentos que no lo son.
Los argumentos lógicos constan de ciertas
proposiciones que no pueden subdividirse. Donde
estas proposiciones se mantienen unidas mediante
conexiones lógicas.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
PROPOSICIÓN
Una proposición es una oración declarativa o
informativa que es correcta o falsa, pero no ambas
cosas a la vez
EJEMPLO 01: Los siguientes enunciados son
Proposiciones.
1. Lima es la capital de Perú.
2. Puno es la capital de Bolivia.
3. 1+1 =2
4. 2+2=3
Las proposiciones 1y3 son correctas, mientras que
la 2 y 4 son falsas.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Carmen es prima de José. (Este enunciado puede ser,
en efecto, verdadero o falso.)
Sofía está cansada. (Como en el ejemplo anterior, este
enunciado puede ser verdadero o falso.)
Los niños necesitan jugar.
Sócrates es un hombre.
La x + 4 = 26 (Nótese que según el valor que adopte la
variable x, este enunciado puede ser verdadero o
falso).
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
EJEMPLO 02: Los siguientes enunciados no son
Proposiciones.
1.
¿Qué hora es?
2.
Lee esto con atención.
3.
X+1=2
4.
X+y=z
Las frases 1 y 2 no son proposiciones por que no
son
declarativas.
Las
frases
3
y
4
no
son
proposiciones por que no son verdaderas ni falsas
ya
que
no
se
les
han
asignado
valores
a
las
variables.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
LA NEGACIÓN
Sea p una proposición de donde el enunciado:
No se cumple
p
Es otra proposición llamada la negación de p. la
negación de p se denota mediante
Donde la proposición p se lee ( no p ) p
Ejemplo .
El dinero no es la felicidad.
Es falso que el dinero sea la felicidad.
No es el caso que el dinero es la felicidad.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CONEXIONES LÓGICAS
Conjunción.
sean p y q dos proposiciones “p y q”, denota por:
p Λ q
es la proposición que es verdadera cuando p y el
valor de q son verdaderas y falsas en cualquier otro
caso.
Ejemplo.
La persona es espíritu y cuerpo.
p
q
p Λ q
La persona es espíritu pero corporal.
La persona es tanto espíritu como cuerpo.
La persona es espíritu además de ser cuerpo.
V
V
V
La persona es espíritu y la persona es cuerpo.
V
F
F
La persona, ese espíritu, es también un cuerpo.
F
V
F
La persona es espíritu aunque es también cuerpo.
F
F
F
La persona es espíritu; sin embargo, es corporal
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Disyunción inclusiva.
Sean p y q dos proposiciones de donde la
proposición “p o q” denotada por p
v
q,
es
la
proposición que es la falsa cuando p y el valor q
son falsas y verdadera en cualquier otro caso.
Ejemplo.
p
q
p v q
Carlos es informático o matemático
V
V
V
V
F
V
Los estudiantes que hayan cursado calculo o
F
V
V
ciencias
de
la
computación
pueden
F
F
F
matricularse.
Hoy es sábado o domingo
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Disyunción Exclusiva.
Sean p y q proposiciones. El conectivo lógico o
exclusivo de p y q denotada por p q, es la
proposición
que es verdadera cuando exactamente
una de las proposiciones de p y q es verdadera y es
falsa en cualquier otro caso.
Ejemplo.
p
q
p
q
V
V
F
“Nos vamos o nos quedamos”
V
F
V
F
V
V
Como ambas cosas no pueden ser ciertas al
mismo tiempo, la proposición será siempre
verdadera
F
F
F
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Implicación material o condicional
Sean p y q proposiciones. El condicional material
p
 q es una función de verdad que toma dos valores
de verdad (por lo general los valores de
proposiciones) y devuelve falso cuando el primer
valor es verdadero y el segundo falso, y verdadero en
cualquier otro caso.
En la condicional en el lenguaje ordinario tiene
términos como:
p
q
p
q
Puesto que, ya que, porque, si, cuando, etc.
V
V
V
Ejemplo.
Si llueve, entonces voy al cine.
V
F
F
Cuando llueve, voy al cine.
Si hace sol, entonces iremos a la playa.
F
V
V
F
F
V
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
1. Q si P.
2. Q siempre que P.
Todas
estas
expresiones
son
3. Q es necesario para P.
equivalente.
4. Q es implicada por P.
«Si la demanda crece, entonces las compañías se
expanden».
Esta afirmación tiene dos partes; que son
afirmaciones por derecho propio.
Son «la demanda crece» y «las compañías se
expanden».
Estas dos afirmaciones están conectadas mediante «SI
ENTONCES».
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
La construcción si entonces se usa en muchos
lenguajes de programación de forma diferente que en
lógica. La mayoría de los lenguajes de programación
contienen sentencias como:
if
p
then s
Donde p es
una
proposición y s un segmento de
programa
Ejemplo.
¿Cuál es el valor de la variable x tras la sentencia?
If
2+2=4
then
x:= x+1
Si x=0 antes de llegar a la sentencia? (el símbolo:= corresponde a la
asignación. La sentencia x:=+1 significa que a x se le asigna el valor
x+1).
Solución: Como 2+2=4 es verdadera, se ejecuta la sentencia de
asignación x;=x+1. Por tanto, x toma el valor 0+1=1 tras la sentencia.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
EQUIVALENCIA MATERIAL O BICONDICIONAL.
Sean p y q proposiciones. La bicondicional, o doble
implicación, p  q es la proposición que es verdadera
cuando p y q tienen los mismos valores de verdad y
falsa en los otros casos.
Ejemplo.
Sea p la afirmación “puedes tomar el vuelo” y
sea q la afirmación “compras un billete”,
p
q
p
q
entonces p  q es le enunciado.
V
V
V
V
F
F
“puedes tomar el vuelo si, y solo si. Compras el
billete”
F
V
F
F
F
V
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
FORMULAS Y ESQUEMAS DE FORMULAS.
Formulas. En la lógica proposicional las formulas son
los que están constituidos por variables y operadores
proposicionales donde cada uno de estos símbolos
cumplen funciones definidas.
Esquema de fórmulas. Son las interpretaciones que
se hacen a los esquemas moleculares mediante
variables metalingüísticos.
Ejemplo.
Ejemplo.

p  q p  q



p  q
p   q p  q 
Este
esquema
es
Este
esquema
es
llamado
llamado
esquema
esquema
molecular
molecular condicional.
Bicondicional.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
TRADUCCIÓN DE FRASES DEL LENGUAJE NATURAL.
Hay muchas razones para traducir frases del
lenguaje natural a expresiones con variables
proposicionales y conectivos lógicos. Todos los
lenguajes del ser humano son a menudo ambiguos.
Trasladar frases a expresiones lógicas trae consigo
evitar estas ambigüedades.
Ejemplo.
Puedes acceder a internet desde el campus solo si
estudias ciencias de la computación o no eres
alumno de primero p  q  r 
M.Sc. P. Wilson Marconi Q.
Es falso que, Luis sea futbolista y obtenga buenas notas. El gato toma leche y
Es falso que, Luis sea futbolista y obtenga buenas notas.
El gato toma leche y el perro come croquetas
Berta es atractiva o Claudia es atractiva, pero no ambas.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
La inferencia es el proceso de pasar de un conjunto
de proposiciones llamadas premisas a otra
proposición llamada conclusión el cual formalmente
se expresa como:
p
1
Si la conclusión se deduce correctamente del
conjunto de premisas la inferencia es válida;
p
pero si la conclusión no se deduce
2
correctamente
del conjunto de premisas la
p
3
inferencia no es válida, podemos determinar
los valores de una inferencia representado
simbólicamente en un sistema molecular de la
forma: 
p
n
p  p  p 
 p  C
C
1
2
3
n
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
Ejemplo.
Vicente viajará al norte del país o se quedará en la capital. Por lo
tanto, Si Vicente viaja al norte del país entonces no se quedará en la
capital.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
Ejemplo.
Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan
ganó el concurso de poesía. Luego Juan obtendrá una beca.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
Ejemplo.
si un Informático decía la verdad, entonces Sócrates corrompió a la
juventud y si el tribunal lo condeno equivocadamente, entonces el
Informático no es el culpable. Pero, Sócrates no corrompía a la
juventud o el Informático es el culpable. Por lo tanto, el Informático
decía la verdad o el tribunal no condeno a Sócrates equivocadamente
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
MÉTODO ABREVIADO
Es un procedimiento que evita estar construyendo la tabla de valores
de verdad para determinar la validez de la inferencia.
Este método consiste en suponer la conjunción de premisas
verdaderas y la conclusión falsa, única posibilidad que invalidad la
implicación.
La prueba de este método consiste en aplicar las siguientes reglas de
operación:
• Asignar el valor de verdad a cada una de las premisas y de falsedad a la
conclusión.
• Deducir el valor de cada una de las variables proposicionales en función de
las reglas ventativas.
• Si cada una de las variables cumplen una sola función ventativa, se abra
demostrado que la premisa es verdadera y la conclusión falsa, por lo tanto la
inferencia será inválida.
• Basta que una variable tenga los valores de verdad y falsedad a la vez para
demostrar que es imposible que la premisa o la conjunción de premisas sea
verdadero y la conclusión falsa, por lo tanto la inferencia será válida.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
Ejemplo.
Vicente viajará al norte del país o se quedará en la capital. Por lo
tanto, Si Vicente viaja al norte del país entonces no se quedará en la
capital.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
INFERENCIAS LÓGICAS
Ejemplo.
Si Juan gana el concurso de poesía entonces obtendrá una beca. Juan
ganó el concurso de poesía. Luego Juan obtendrá una beca.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
BÚSQUEDAS BOOLEANAS
Los conectivos lógicos tienen un amplio campo de
aplicación en las búsquedas en grandes colecciones
de información como, por ejemplo, los índices de
páginas web.
Como estas búsquedas emplean técnicas de lógica
proposicional. Se denominan búsquedas booleanas.
En las búsquedas booleanas se usa de conexión AND
para emparejar datos almacenados que contengan
los dos términos de búsqueda, la conexión OR se usa
para emparejar uno o ambos términos de la
búsqueda y la conexión NOT (a veces escrita AND
NOT) se usa para excluir un término particular de
búsqueda.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Ejemplo.
Búsquedas de paginas web. La mayoría de los
programas de búsqueda en la web emplean
técnicas de búsqueda booleana. Las cuales nos
puedan ayudar a encontrar páginas web sobre
temas particulares. Por ejemplo. Usando una
búsqueda booleana para encontrar páginas web
sobre una universidad en el Perú, Podemos buscar
páginas que concuerden con Perú AND
Universidad. El resultado de esta búsqueda incluirá
todas las paginas que contengan las dos palabras
(Perú AND Universidad).
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
LÓGICA Y OPERACIONES CON BITS
Los ordenadores representan la información usando
bits donde un bit tiene dos valores posibles: 0 (cero)
y 1 (uno).
Las operaciones con bits en el ordenador,
corresponden a los conectivos lógicos. Remplazando
el valor verdadero por 1 y el valor falso por 0.
Para realizar operaciones con bits se utiliza:
OR: Representa a
V
AND: Representa a
Λ
XOR: Representa a
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Cadena de Bits.
una cadena de bits es una sucesión de cero o más bits. La longitud
de esta cadena es el número de bits de la cadena.
Ejemplo.
aplica las operaciones bits OR, AND Y XOR a las cadenas
01 1011 0110 y 11 0001 1101.
Solución:
01
1011 0110
11
0001 1101
11 1011 1111
operación OR
01
0001 0100
operación AND
10
1010 1011
operación XOR
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
PROBLEMAS VARIOS
Pag.14
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
EQUIVALENCIAS PROPOSICIONALES.
Una formula que es siempre verdadera, no importa
los valores de verdad de las proposiciones que la
componen se denomina tautología. Una formula que
es siempre falsa se denomina contradicción.
Finalmente, una proposición que no es una
tautología ni una contradicción se le denomina
contingencia.
Dos fórmulas son equivalentes si y solo si es una
tautología.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Ejemplo.
Verificar si las proposiciones
( p  (
p  q ))
y
p  q
son lógicamente equivalentes por tabla de
valores.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
EQUIVALENCIAS LÓGICAS
Normas formales:
T  P  P
T  T  T
C  P  C
C C   C P   C P
T  C  T
Donde:
T: tautología.
C: contradicción.
P: proposición.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
EQUIVALENCIAS LÓGICAS
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
EQUIVALENCIAS LÓGICAS
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
EQUIVALENCIAS LÓGICAS
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
Ejemplo.
Demuestra que:
( p  q )  ( p  q )
Es una tautología usando propiedades.
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
PROBLEMAS VARIOS
Pag. 24
Problemas:
06; 08; 12; 15; 21; 25; 45
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CIRCUITOS LÓGICOS
El valor de verdad de una proposición puede asociarse al pase
de corriente en un circuito eléctrico controlado por un interruptor.
En efecto, para representar un interruptor mediante una
proposición p, se tiene:
Circuito abierto
Circuito cerrado
Es decir, si el interruptor está cerrado (pasa corriente)
V(p) = V=1
Si el interruptor está abierto (no pasa corriente)
V(p) = F=0
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CIRCUITOS LÓGICOS
Serie.
p
q
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CIRCUITOS LÓGICOS
p
Paralelo.
q
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CIRCUITOS LÓGICOS
Ejemplo.
Disertar circuitos lógicos de las siguientes proposiciones:
a)
(p  q)  r
b) p  q
c) p
q
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CIRCUITOS LÓGICOS
Ejemplo.
Determinar la menor expresión que representa el circuito.
p
q
p
q
p
M.Sc. P. Wilson Marconi Q.
E S T R U C T U R A S D I S C
E S T R U C T U R A S
D I S C R E TA S
CIRCUITOS LÓGICOS
Problemas varios.
Determinar la menor expresión que representa el circuito.
p
q
p
q
p
q
q
q
q
q
r
r
q
p
p
q
p
p
q
p
p
r
q
q
q
p p
p
q
q
q
p
q
p
p
q
q
p
q
p
q
q
M.Sc. P. Wilson Marconi Q.