PRELIMINARES

Se aborda conceptos esenciales de los capítulo 1,2 y 3 de Matemáticas discretas de

Sussane Epp 5ta edición
0. Definiciones Conjuntos

●Notación constructiva del conjunto

Sea S un conjunto y sea P(x) una propiedad que los elementos de
S pueden o no pueden satisfacer. Podemos definir un nuevo
conjunto como el conjunto de todos los elementos x en S tal
que P(x) es verdadera. Definimos este conjun- to de la siguiente
manera:
𝑥 ∈ 𝑆 𝑃(𝑥)}.

el conjunto de todas las tal que

El axioma de extensión, dice que un conjunto está completamente

determinado por los elementos que están en él —no por el orden en el que
se podrían utilizar o por el hecho de que algunos elementos podrían listarse
más de una vez

2 ∈ {1, 2, 3} 2 ⊆ {1, 2, 3} 2 ∈ {{1}, {2}}

0. Definiciones Conjuntos
●Definición Cadena
Sea n un entero positivo. Dado una conjunto finito 𝐴 , una cadena de longitud n
sobre 𝑨, es una n-tupla de elementos de A escrito sin paréntesis ni coma. Los
elementos de A son llamados los caracteres de la cadena.
LA cadena nula se define como como la “cadena” sin caracteres. La cadena nula
tiene longitud cero.
0. Definiciones Relaciones y Funciones
●Definición Relación

Sean A y B conjuntos. Una relación R de A a B es un subconjunto de A × B.

Dando un par ordenado (x, y) en A × B, x está relacionada con y por R, que se
escribe xR y, si y sólo si (x, y), está en R. El conjunto A se llama el dominio de R y
el conjunto B se llama su codominio.

La notación para una relación R se puede escribir simbólicamente de la siguiente

manera:
x R y significa que (x, y) ∈ R.
La notación x R y significa que x no se relaciona con y por R:
x 𝑅 y significa que (x, y) ∉ R.
0. Definiciones Relaciones y Funciones
●Definición Función

Una función F de un conjunto A a un conjunto B es una relación con el dominio

A y codominio B que satisface las siguientes dos propiedades:
1.Para cada elemento x en A, existe un elemento y en B tal que (x, y) ∈ 𝐹.
2.Para todos los elementos x de A y y y z en B,
si (𝑥, 𝑦) ∈ 𝐹 y (𝑥, 𝑧) ∈ 𝐹, entonces 𝑦 = 𝑧.

Dado que, para x en A, hay un único y en B que se relacionan por F, y es llamado

𝐹(x), se lee F de x
1 . Forma lógica y equivalencia lógica
El objetivo de esta asignatura es presentarle una forma matemática de
pensar que le puede servir en muchas y diversas situaciones.

Cuanto más necesite entender, más necesita un lenguaje que exprese las
ideas matemáticas en forma clara, precisa y sin ambigüedades. Para ello
nos valemos de la lógica deductiva

El concepto central de la lógica deductiva es el concepto de forma de

argumento.
• Un argumento es una secuencia de enunciados destinados a demostrar
la verdad de una frase.
• La frase al final de la secuencia se llama la conclusión y los
enunciados anteriores se llaman premisas.
• En lógica, la forma de un argumento se distingue de su contenido.
• El análisis lógico le ayudará a analizar la forma de un argumento para
determinar si la verdad de la conclusión se desprende necesariamente de
la verdad de las premisas
1 . Forma lógica y equivalencia lógica

● Definición Enunciado
Un enunciado (o proposición) es una frase que es verdadera
o falsa, pero no ambas

• Dos más dos son cuatro Enunciado Verdadero

• Dos más dos son cinco Enunciado Falso

• Él es un estudiante universitario NO es enunciado

¿Quién es él?
• x+y>5 NO es enunciado valores o rango de x e y
(cuantificadores, dominio)
1 . Forma lógica y equivalencia lógica

~ negado ∨ disyunción (o) ∧ conjunción (y)

1 2 2

~𝑝 ∨ 𝑞 = ~𝑝 ∨ 𝑞 paréntesis no necesario

𝑝 ∨ 𝑞 ∧ 𝑟 ambiguo paréntesis necesario porque

𝑝 ∨ 𝑞 ∧ 𝑟 ≠ (𝑝 ∨ 𝑞) ∧ 𝑟

𝑝 pero 𝑞 significa p ∧ 𝑞 ni 𝑝 ni 𝑞 significa ~p ∧ ~𝑞

a≤𝑥 a≤𝑥≤b
a<𝑥𝑜𝑥=𝑎 a≤𝑥𝑦x≤𝑏
1 . Forma lógica y equivalencia lógica

● Definición Forma proposicional

Una forma de enunciado (o forma proposicional) es una expresión
formada por enunciados variables (tales como p, q y r) y conectores
lógicos (por ejemplo, ~, ∨ y ∧) que se convierten en un enunciado
cuando los enunciados reales sustituyen a los enunciados variables que
lo componen. La tabla de verdad para un enunciado dado presenta
los valores de verdad que corresponden a todas las posibles
combinaciones de los valores de verdad de sus enunciados variables
que lo componen.
“p o q pero no ambos”
“p o q y no ambos p y q”, que se traduce en símbolos como (p∨q) ∧ ~(p ∧ q). Esto a veces se
abrevia como p XOR q. O-exclusivo (XOR)
p q p∨ q p∧q ~ (𝒑 ∧ 𝒒) 𝒑 ∨ 𝒒 ∧ ~ (𝒑 ∧ 𝒒)
V V V V F F
V F V F V V
F V V F V V
F F F F V F
1 . Forma lógica y equivalencia lógica

● Definición Equivalencia Lógica

Dos formas de enunciado se llaman lógicamente equivalentes si y sólo

si, tienen los mismos valores de verdad para cada posible sustitución
de enunciados por sus enunciados de variables. La equivalencia lógica
de las formas de enunciado P y Q se denota escribiendo P ≡ Q.
Dos enunciados se llaman lógicamente equivalentes si y sólo si,
tienen formas lógicamente equivalentes cuando componentes idénticos
de enunciados variables se utilizan para reemplazar los enunciados
compuestos idénticos.

1) Los perros ladran y los gatos p q p ∨q q ∧p

maúllan y V V V V
V F F F
2) Los gatos maúllan y los perros
F V F F
ladran F F F F
1 . Forma lógica y equivalencia lógica
Teorema Equivalencias lógicas
En cualquier enunciado variable dado p, q y r, con una tautología t y una contradicción c, son válidas
las siguientes equivalencias lógicas.
1 . Forma lógica y equivalencia lógica

a. Si todos los programas de

computadora contienen errores,
entonces este programa contiene un
error.
Este programa no contiene un error.
Por tanto, no es el caso de que todos
los programas de computadora
tengan errores.

b.Si , entonces .
2 no es impar.
Por tanto, no es el caso de que
todos los números primos sean
impares.
2 . Enunciados condicionales

Supongamos que va a una entrevista de trabajo en un almacén y el

dueño le hace la siguiente promesa:
Si se presenta a trabajar el lunes por la mañana, entonces
conseguirá el trabajo.
¿Bajo qué circunstancias se justifica diciendo que el dueño habló
falsamente?
la única combinación de circunstancias en las que llamarían un
enunciado condicional falso se produce cuando la hipótesis es
verdadera y la conclusión es falsa.

p q p→ q
V V V
V F F
F V V
F F V
2 . Enunciados condicionales

● Definición Contrapositivo, converso e inverso

Suponga un enunciado condicional dado de la forma “Si p entonces q”
(𝑝 → 𝑞).
1.El contrapositivo es “si ~q entonces ~p” (~𝑞 → ~𝑝)
𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
p sólo si q significa “si no q entonces no p”, o, equivalentemente, “si p,
entonces q”.
Los dos siguientes NO son lógicamente equivalentes a 𝑝 → 𝑞
2. El converso es “si q entonces p” (𝑞 → 𝑝).
3. El contrario es “si ~p entonces ~q” (~𝑝 → ~𝑞).
2 . Enunciados condicionales

● Definición Bicondicional

Dados los enunciados de variables p y q, el bicondicional de p y q es “p

si y sólo si q” y se denota por p ↔ q. Es verdadero, si tanto p como q
tienen los mismos valores de verdad y es falso si p y q tienen valores de
verdad opuestos. Las palabras si y sólo si a veces se abrevian como iff.
𝑝 ↔ 𝑞 ≡ 𝑝 → 𝑞 ∧ (𝑞 → 𝑝)

p q p →q q→p p↔q 𝑝 → 𝑞 ∧ (𝑞 → 𝑝)
V V V V V V
V F F V F F
F V V F F F
F F V V V V
2 . Enunciados condicionales

● Definición condición necesaria y suficiente

Si r y s son enunciados:
r es una condición suficiente para s significa “si r entonces s”.
(𝑟 → 𝑠)
r es una condición necesaria para s significa “si no r entonces no s”.
(~𝑟 → ~𝑠 ≡ 𝑠 → 𝑟)
r es una condición necesaria y suficiente para s significa “r si y sólo si,
s”. (𝑟 ↔ 𝑠)
3. Argumentos válidos y no válidos

● Definición Argumento, argumento válido

Un argumento es una secuencia de enunciados y una forma de
argumento es una secuencia de formas de enunciado. El enunciado
final o forma de enunciado se llama la conclusión.
Todos los anteriores enunciados en un argumento y todas las formas de
enunciado en una forma de argumento, se llaman premisas (o
suposiciones o hipótesis). El símbolo ∴, que se lee “por tanto”, se
coloca normalmente justo antes de la conclusión.
Decir que una forma de argumento es válida significa que no importan
qué argumentos particulares sean sustituidos por los enunciados
variables en sus premisas, si las premisas resultantes son todas
verdaderas, entonces la conclusión también es verdadera.
Decir que un argumento es válido significa que su forma es válida.
3. Argumentos válidos y no válidos

Prueba de la validez de una forma de argumento

1.Identifique las premisas y la conclusión de la forma de argumento.
2.Construya una tabla de verdad que muestre los valores de verdad
de todas las premisas y la conclusión.
3.Un renglón de la tabla de verdad en el que todas las premisas son
verdaderas se llama un renglón crítico. Si hay un renglón crítico en
el que la conclusión es falsa, entonces es posible que un argumento
de la forma dada tenga premisas verdaderas y una conclusión falsa,
por lo que la forma del argumento es no válida. Si la conclusión en
cada renglón crítico es verdadera, entonces la forma del argumento
es válida.
3. Argumentos válidos y no válidos (Falacias)

Resumen de reglas de inferencia

4. Predicados y enunciados cuantificados

● Definición Predicado

Un predicado es una frase que contiene un número finito de

variables y se convierte en un enunciado cuando se sustituyen
valores específicos en lugar de las variables. El dominio de
una variable de predicado es el conjunto de todos los valores
que se pueden sustituir en lugar de la variable.
Sea P(x) el predicado “x 2 > x” con dominio el conjunto R de
todos los números reales. Escriba P(2), P(1/2 ) y P (-1/2 )
4. Predicados y enunciados cuantificados

● Definición Conjunto de Verdad

Si P(x) es un predicado y x tiene dominio D, el conjunto de verdad

de P(x) es el conjunto de todos los elementos de D que hacen a P(x)
verdadero cuando se sustituyen por x. El conjunto de verdad de P(x)
se denota por
{x ∈ D | P(x)}.

Sea Q(n) el predicado “n es un factor de 8”. Determine el conjunto de verdad de

Q(n) si
+
a.el dominio de n es el conjunto Z de todos los enteros positivos.
b.el dominio de n es el conjunto Z de todos los enteros.
4. Predicados y enunciados cuantificados

● Definición enunciado universal

Sea Q(x) un predicado y D el dominio de x. Un enunciado universal es
un enunciado de la forma “∀ 𝑥 ∈ 𝐷, 𝑄(𝑥)”. Se define como verdadero,
si y sólo si, Q(x) es verdadera para toda x en D. Se define como falso si
y sólo si Q(x) es falso para al menos un x en D. Un valor para x, para el
cual Q(x) es falso se llama un contraejemplo del enunciado universal.
∀ cuantificador “para todo” (en latex \forall)

∀ los seres humanos x, x es mortal.

∀ 𝑥 ∈ 𝐻 , x es mortal. H es el conjunto de los seres humanos
4. Predicados y enunciados cuantificados

● Definición enunciado existencial

Sea Q(x) un predicado y D el dominio de x. Un enunciado existencial
es un enunciado de la forma “ ∃ 𝑥 ∈ 𝐷 tal que 𝑄(𝑥) ” (“ ∃ 𝑥 ∈
𝐷 | 𝑄(𝑥)”. ). Que se define como verdadero, si y sólo si Q(x) es
verdadero para al menos una x en D. Es falso, si y sólo si, Q(x) es falso
para toda x en D.
∃ cuantificador “Existe” (en latex \exists)

∃ una persona p tal que p es un estudiante en Matemáticas 140

4. Predicados y enunciados cuantificados

● Definición enunciado Universal condicional

∀𝑥, 𝑠𝑖 𝑃(𝑥), 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑄(𝑥).

∀𝑥 ∈ 𝐷 𝑠𝑖 𝑃(𝑥), 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑄(𝑥).
∀𝑥 ∈ 𝐷 𝑠𝑖 𝑃 𝑥 → 𝑄(𝑥).

∀ 𝑥 ∈ 𝑹, 𝑠𝑖 𝑥 > 2 → 𝑥2 > 4.

No hay camiones de bomberos de color verde.

4. Predicados y enunciados cuantificados

● Teorema Negación de un enunciado universal

La negación de un enunciado de la forma
∀𝑥 ∈ 𝐷, 𝑄(𝑥)
es lógicamente equivalente a un enunciado de la forma:
∃𝑥 ∈ 𝐷 𝑡𝑎𝑙 𝑞𝑢𝑒 ~𝑄(𝑥).
Simbólicamente, ~ ∀𝑥 ∈ 𝐷, 𝑄 𝑥 ≡ ∃𝑥 ∈ 𝐷 𝑡𝑎𝑙 𝑞𝑢𝑒 ~𝑄(𝑥).

La negación de un enunciado universal (“todos son”) es

lógicamente equivalente a un enunciado existencial (“algunos
no son” o “hay al menos uno que no es”).
“Algunos copos de nieve son iguales”
“Los copos de nieve no son iguales” o
“Todos los copos de nieve son diferentes”.
4. Predicados y enunciados cuantificados

● Teorema Negación de un enunciado existencial

La negación de un enunciado de la forma ∃𝑥 𝑒𝑛 𝐷 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑄(𝑥) es
lógicamente equivalente a un enunciado de la forma
∀𝑥 ∈ 𝐷, ~𝑄(𝑥).
Simbólicamente, ~(∃𝑥 𝑒𝑛 𝐷 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑄(𝑥)) ≡ ∀𝑥 ∈ 𝐷, ~𝑄(𝑥).
La negación de un enunciado existencial (“algunos están”) es
lógicamente equivalente a un enunciado universal (“ninguno
está” o “no todos están”).

∃ un triángulo T tal que la suma de los ángulos de T es igual a 200°

4. Predicados y enunciados cuantificados

● Teorema Negación de un enunciado condicional universal

~ ∀𝑥, 𝑠𝑖 𝑃 𝑥 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑄 𝑥 ≡ ∃𝑥 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑃(𝑥) 𝑦 ~𝑄(𝑥).

Verdad vacía
Todas las bolas en el recipiente son de color azul.

a)

Todas las bolas en el recipiente son de color azul.

El enunciado es falso si y sólo si, su negación es
verdadera.

b)
4. Predicados y enunciados cuantificados –múltiples-

●Definición Enunciado Universal Existencial

∀𝑥 ∈ 𝐷, ∃𝑦 ∈ 𝐸 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑃(𝑥, 𝑦)

Si desea establecer la verdad de este tipo de enunciado, usted permitirá que

se elija cualquier elemento x elemento de D (el que se desee) y después debe
encontrar un elemento y en E que “funcione” para un x dado. El y puede ser
diferente para cada x
4. Predicados y enunciados cuantificados –múltiples-

●Definición Enunciado Existencial Universal

∃𝑥 ∈ 𝐷 𝑡𝑎𝑙 𝑞𝑢𝑒 ∀𝑦 ∈ 𝐸, 𝑃(𝑥, 𝑦)

Su trabajo es encontrar un x dado en D que va a “funcionar” no importa

cuál y en E podrían elegir para retarlo.
4. Predicados y enunciados cuantificados –múltiples-

Hay un triángulo x tal que para

todos los círculos y, x está a la
derecha de y.

Elija x Entonces, compruebe que x está a la

dado, y derecha de y.
doi a sí
b sí
c sí
Lenguaje de grafos

Se aborda la sección 4 del capítulo 1 Matemáticas discretas de Sussane Epp 5ta

edición
5. Lenguaje de los grafos
Imagine una organización que quiere establecer equipos de tres para trabajar
en algunos proyectos. El director pidió a los miembros proporcionar los
nombres de sus anteriores socios. Esta información se muestra a continuación
tanto en una tabla como en un diagrama.

Nombre Socios anteriores

Ana Dan, Flo
Bev Cai, Flo, Hal
Cai Bev, Flo
Dan Ana, Ed
Ed Dan, Hal
Flo Cai, Bev, Ana
Gia Hal
Hal Gia, Ed, Bev, Ira
Ira Hal
5. Lenguaje de los grafos
Imagine una organización que quiere establecer equipos de tres para trabajar
en algunos proyectos. El director pidió a los miembros proporcionar los
nombres de sus anteriores socios. Esta información se muestra a continuación
tanto en una tabla como en un diagrama.

Nombre Socios anteriores

Ana Dan, Flo
Bev Cai, Flo, Hal
Cai Bev, Flo
Dan Ana, Ed
Ed Dan, Hal
Flo Cai, Bev, Ana
Gia Hal
Hal Gia, Ed, Bev, Ira
Ira Hal
5. Lenguaje de los grafos
●Definición Grafo

Un grafo G consiste de dos conjuntos finitos: un conjunto no vacío V(G) de vértices y un

conjunto de aristas E(G), donde cada arista está asociada a un conjunto compuesto por uno o dos
vértices llamados puntos extremos. La correspondencia de aristas a puntos finales se llama la
función de arista a punto extremo.
Una arista con un sólo punto extremo se llama un bucle y dos o más aristas distintas con el
mismo conjunto de puntos extremos se dicen que son paralelas.
Se dice que una arista conecta sus puntos finales; dos vértices que se conectan por una arista
se denominan adyacentes; y un vértice que es un punto final de un bucle se dice que es
adyacente a sí mismo.
Se dice que una arista incide sobre cada uno de sus puntos extremos y dos aristas que inciden
en el mismo punto se llaman adyacentes. Un vértice en el que no incide arista alguna se llama
aislado.
5. Lenguaje de los grafos

Un grafo consiste de un conjunto de vértices y un conjunto de aristas que

conectan varios pares de vértices. Las aristas pueden ser rectas o curvas y deben
conectar ya sea un vértice con otro vértice o consigo misma
5. Lenguaje de los grafos
Considere los dos dibujos que se muestran. Etiquete los vértices y las aristas de tal
manera que ambos dibujos representen la misma gráfica.
5. Lenguaje de grafos

●Definición Grafo dirigido

Un grafo dirigido o digráfo, consiste en dos conjuntos finitos: un conjunto no

vacío V(G) de vértices y un conjunto de aristas dirigidas (flechas) D(G), donde
cada uno está asociado con un par ordenado de vértices llamado sus puntos
extremos. Si la arista e está asociada con el par de vértices (𝑣, 𝑤), entonces se
dice que e es la arista (dirigida) desde 𝑣 a 𝑤.
5. Lenguaje de los grafos
Ejemplo de grafo. Solucionar un problema
Dos vegetarianos y dos caníbales están en la orilla izquierda del río. Hay un barco
que puede contener un máximo de dos personas. El objetivo es encontrar una forma
de transportar a todos los vegetarianos y caníbales a la orilla derecha del río.
En ningún momento puede el número de caníbales en cualquier orilla superar al
número de vegetarianos.
5. Lenguaje de los grafos
●Definición Grado de un vértice
Sea G un grafo y 𝑣 un vértice de G. El grado de v, que se denota por deg(v), es
igual al número de aristas que inciden en 𝑣, con una arista que es un bucle
contado dos veces; El grado total de G es la suma de los grados de todos los
vértices de G.
5. Lenguaje de los grafos
¿Cuál es el mínimo número de colores que se necesitan para que en
siguiente mapa dos países limítrofes no estén pintados del color?
5. Lenguaje de los grafos
¿Cuál es el mínimo número de colores que se necesitan para que en
siguiente mapa dos países limítrofes no estén pintados del color?
5. Lenguaje de los grafos
¿Cuál es el mínimo número de colores que se necesitan para que en
siguiente mapa dos países limítrofes no estén pintados del color?

• Un país es un
vértice
• Una frontera es
una arista

Es una biyección
5. Lenguaje de los grafos
¿Cuál es el mínimo número de colores que se necesitan para que en
siguiente mapa dos países limítrofes no estén pintados del color?

Comience por los

países (vértices)
con mayor
cantidad de
vecinos y no
adyacentes
5. Lenguaje de los grafos
¿Cuál es el mínimo número de colores que se necesitan para que en
siguiente mapa dos países limítrofes no estén pintados del color?

Borre los ya pintados y repita el proceso

4. Lenguaje de los grafos
¿Cuál es el mínimo número de colores que se necesitan para que en
siguiente mapa dos países limítrofes no estén pintados del color?