MATHUMBI

Matemáticas Discretas
Guía del Estudiante

ING. LUIS HUMBERTO ORTEGA R.

lhortega@unipanamericana.edu.co

El presente documento contiene las preparaciones de clase del docente, por lo cual se constituye en
una Guía de aprendizaje del estudiante universitario de Ingenierías y Ciencias. Se persigue aumentar
su capacidad de análisis lógico-deductivo y adquirir competencias en la comprensión y solución de
problemas cotidianos que se presentan en las empresas e instituciones. Contiene un desarrollo teórico
de los temas, con ejercicios modelo y talleres para desarrollar en clase y fuera de ella.
 1
Unidad 1. Lógica

Tabla de Contenidos

Unidad 1. Lógica .........................................................................................................................................3

1.1 Lógica proposicional .....................................................................................................................3
1.1.1 Competencias ...........................................................................................................................3
1.1.2 Generalidades ...........................................................................................................................3
1.1.3 Conectivos Lógicos ...................................................................................................................4
1.1.4 Leyes y propiedades .................................................................................................................7
1.1.5 Tablas de verdad ......................................................................................................................8
1.1.6 Tautologías, contradicciones y contingencias ............................................................................9
1.1.7 Inferencia lógica ......................................................................................................................10
1.1.8 Equivalencia Lógica ................................................................................................................17
1.1.9 Demostración formal ...............................................................................................................21
1.1.10 Cuantificadores ...................................................................................................................25
1.1.11 Inducción matemática..........................................................................................................27
1.2 Ejercicios y Talleres ....................................................................................................................28
1.3 Ejercicios y Talleres Segundo corte ............................................................................................29
Unidad 2. Algebra de Boole .......................................................................................................................32
Unidad 3. Técnicas de conteo y probabilidad .............................................................................................33
3.1 Definiciones ................................................................................................................................33
3.2 Leyes de conteo .........................................................................................................................33
3.3 Teorema de Bayes .....................................................................................................................33
Unidad 4 Distribuciones de probabilidad ....................................................................................................34
4.1 Binomial......................................................................................................................................34
4.2 Hipergeométrica .........................................................................................................................34
4.3 Poisson.......................................................................................................................................34
4.4 Normal ........................................................................................................................................34
4.5 Ejercicios y Talleres ....................................................................................................................34
Unidad 5. Teoría de Grafos .......................................................................................................................35
5.1 Definiciones y características ......................................................................................................35
5.2 Circuitos y grafos Eulerianos y de Hamilton ................................................................................35
5.3 Gráficos bipartidos y completos ..................................................................................................35
5.4 Matrices y grafos ........................................................................................................................35
5.5 Caminos cíclicos. Circuitos y grafos relacionados .......................................................................35
5.6 Ejercicios y Talleres ....................................................................................................................35
Bibliografía ................................................................................................................................................36
Referencias en la web ...............................................................................................................................36
 2
Unidad 1. Lógica
 3
Unidad 1. Lógica

Unidad 1. Lógica
1.1 Lógica proposicional

1.1.1 Competencias
El estudiante estará en capacidad de:

▪ Definir proposición simple o atómica.

▪ Verificar las propiedades del álgebra proposicional.
▪ Definir inferencia lógica con sus diferentes clases.
▪ Verificar las propiedades de las inferencias lógicas.

1.1.2 Generalidades
En esta unidad se estudian los elementos de la lógica de las proposiciones y los métodos de demostración.
Esto será muy útil para determinar si un argumento es válido, o no. Se trabaja con proposiciones que pueden
ser verdaderas o falsas. Para poder comprender el proceso de algebra proposicional que esta guía abordará,
se hace necesario que el estudiante inicialmente tenga dominio de aspectos como:

✓ ¿Qué es una proposición?

✓ ¿Cómo diferencia las propiedades en una demostración?
✓ ¿Qué entiende por inferencia lógica?
✓ ¿Cómo determina la validez de una conclusión a partir de un conjunto de premisas?

Se propone que el estudiante, para realizar una autocomprobación de su estado cognitivo para ejecutar esta
guía, debe responder las anteriores preguntas. Por tanto, lo invitamos a revisar los temas enunciados que
se estudiaron en la asignatura Lógica Matemática y Programación.

La lógica es una ciencia del pensamiento racional que etimológicamente se definía como un tratado o
discurso, cuyo propósito determinar la veracidad de un concepto. En la edad antigua los griegos llamaban
a Aristóteles el padre de la lógica por su forma de validar el pensamiento, creando la lógica proposicional.
Sin embargo, en el siglo XIX George Boole matemático inglés publica “El análisis matemático de la lógica”
y en 1854 publica su obra “Las leyes del pensamiento” introduciendo el álgebra que lleva su nombre.
Augusto D`Morgan matemático hindú llamado como uno de los creadores de la inducción matemática
escribió sobre operadores lógicos equivalentes de unión, intersección y negación siendo profesor en la
University College de Londres.

La lógica se clasifica en tradicional y formal; la lógica tradicional obedece a un pensamiento cotidiano de

sentido común, en tanto la lógica formal es una ciencia que utiliza unos métodos para validar un argumento
a partir de un pensamiento riguroso. Para el desarrollo de este pensamiento se utilizan las proposiciones,
que son oraciones con sentido lógico de la que se puede determinar su veracidad o falsedad, utilizando un
lenguaje simbólico por medio del alfabeto, como, por ejemplo: a, b, c, d, e…, z. Su contenido se puede
sintetizar en los siguientes temas:

➢ Lenguaje formal de la lógica proposicional

➢ Fórmulas bien construidas
➢ Del lenguaje natural al lenguaje formal
➢ Tablas de verdad
 4
Unidad 1. Lógica

1.1.3 Conectivos Lógicos

La lógica proposicional es un sistema formal, compuesto por enunciados o proposiciones simples que se
conectan formando proposiciones más complejas, a las cuales se les asigna un valor de verdad.

▪ “Una proposición es una afirmación que puede ser verdadera o falsa1. Una proposición es
atómica si es imposible descomponerla en proposiciones más simples. Para combinar
proposiciones y formar nuevas proposiciones más complejas usamos los llamados
conectivos lógicos.
▪ Las proposiciones atómicas son representadas por variables proposicionales que
generalmente son letras p, q, r, s, t, etc.
▪ Para trabajar con proposiciones, las representamos por fórmulas, llamadas apropiadamente
fórmulas proposicionales. En estricto rigor, una fórmula proposicional es simplemente una
secuencia de símbolos, a la cual se asocia una proposición” 2.
Ejemplos:

𝑝: ¨ 𝑇𝑜𝑑𝑜 𝑡𝑟𝑖á𝑛𝑔𝑢𝑙𝑜 𝑒𝑞𝑢𝑖𝑙á𝑡𝑒𝑟𝑜 𝑒𝑠 𝑒𝑞𝑢𝑖á𝑛𝑔𝑢𝑙𝑜”.

𝑞: ¨6 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 18¨

𝑟: ¨2 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑝𝑟𝑖𝑚𝑜 ¨

𝑠: ¨ 𝐿𝑢𝑖𝑠 𝑒𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒 𝑑𝑒 𝑙𝑎 𝑓𝑎𝑐𝑢𝑙𝑡𝑎𝑑 𝑑𝑒 𝐼𝑛𝑔𝑒𝑛𝑖𝑒𝑟í𝑎 ¨

Las proposiciones simples, no utilizan conectivos lógicos. Las proposiciones compuestas corresponden a la
unión de dos o más proposiciones simples, por medio de conectivos lógicos.

Ejemplo:

𝑝: “Efraín estudia ingeniería en Unipanamericana”

𝑞: “Magdalena perdió cálculo diferencial¨

Negación: (~𝑝) Operador: Not (no).

Es aquella que afirma que la proposición original no es verdadera. También suele ser expresada
como (¬𝑝) 𝑜 𝑝′ . El operador lógico “not” tiene por objeto negar la proposición

Por ejemplo, si

"p" es: 𝑃𝑎𝑠é 𝑙𝑎 𝑝𝑟𝑢𝑒𝑏𝑎 𝑑𝑒 𝐿ó𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎,

Entonces, "~p" será: 𝑁𝑜 𝑝𝑎𝑠é 𝑙𝑎 𝑝𝑟𝑢𝑒𝑏𝑎 𝑑𝑒 𝐿ó𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎

En Tablas se expresa

𝒑 ~𝒑 𝒑 ~𝒑
𝑽 𝐹 1 0
𝑭 𝑉 0 1

1
Apuntes de clase – Matemática Discreta; Luis Dissett. Universidad Católica de Chile. Segundo Semestre 2004.
2
Idem
 5
Unidad 1. Lógica

Conjunción: (𝑝 ∧ 𝑞)-Operador: and (y)

La conjunción entre dos proposiciones es aquella que afirma que ambas proposiciones son verdaderas. Se
utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado
verdadero. Toma el nombre de multiplicación lógica.

Por ejemplo, consideremos en lenguaje común la siguiente expresión: “Me gusta la carne de cerdo y de
pollo”

"p" es: 𝑀𝑒 𝑔𝑢𝑠𝑡𝑎 𝑙𝑎 𝑐𝑎𝑟𝑛𝑒 𝑑𝑒 𝑐𝑒𝑟𝑑𝑜

"q" es: 𝑀𝑒 𝑔𝑢𝑠𝑡𝑎 𝑙𝑎 𝑐𝑎𝑟𝑛𝑒 𝑑𝑒 𝑝𝑜𝑙𝑙𝑜
En Tablas se expresa

𝒑 𝒒 𝒑∧𝒒 𝒑 𝒒 𝒑∧𝒒
𝑽 𝑉 𝑉 1 1 1
𝑽 𝐹 𝐹 1 0 0
𝑭 𝑉 𝐹 0 1 0
𝑭 𝐹 𝐹 0 0 0

Si me gusta la carne de cerdo y pollo y ambas están buenas, significa que el plato mixto me sabe a rico,
pero si una de las dos está fea, me sabe a feo, peor aún si las dos saben a feo el resultado es “refeo”.

Disyunción: (𝑝 ∨ 𝑞) -Operador: or (o)

La disyunción entre dos proposiciones es la que afirma que al menos una de las dos proposiciones es
verdadera. Se obtiene intercalando “o” entre las dos proposiciones originales. Se está ante la disyuntiva de
escoger entre las dos. Con este operador se obtiene un resultado verdadero, cuando alguna de las
proposiciones es verdadera. Se le conoce con el nombre de la suma lógica.

Considerando el mismo ejemplo de las carnes, la tabla de la disyunción se presenta de la siguiente manera

𝒑 𝒒 𝒑∨𝒒 𝒑 𝒒 𝒑∨𝒒
𝑽 𝑉 𝑉 1 1 1
𝑽 𝐹 𝑉 1 0 1
𝑭 𝑉 𝑉 0 1 1
𝑭 𝐹 𝐹 0 0 0

Mi decisión es escoger la que esté buena de las dos, pero si ambas saben feo no tengo alternativa.

Disyunción Exclusiva (𝑝⨁𝑞 ) = (𝑝  𝑞) − Operador or exclusivo: (xor)

En esta proposición compuesta, cuando las dos proposiciones simples asumen un mismo valor de verdad
la disyunción exclusiva será falsa y si son diferentes entonces es verdadera. Junto con los estudiantes
buscar ejemplos.
 6
Unidad 1. Lógica

𝒑 𝒒 𝒑⨁𝒒 𝒑 𝒒 𝒑⊕𝒒
𝑽 𝑉 𝐹 1 1 0
𝑽 𝐹 𝑉 1 0 1
𝑭 𝑉 𝑉 0 1 1
𝑭 𝐹 𝐹 0 0 0

Como se observa en la tabla, se obtiene un resultado verdadero sólo cuando una de las proposiciones es
verdadera, pero no si ambas lo son. El “xor” usando los operadores lógicos: (∧, ∨, ∼) se puede expresar
como una equivalencia lógica (utilizando los símbolos : ≡ 𝑜 𝑡𝑎𝑚𝑏𝑖é𝑛 ⟺, 𝑒𝑛 𝑙𝑢𝑔𝑎𝑟 𝑑𝑒𝑙 𝑡𝑟𝑎𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙 = ), en la
siguiente proposición compuesta:

𝑝⨁𝑞 ≡∼ 𝑝 ∧ 𝑞 ∨ 𝑝 ∧∼ 𝑞

La cual puede ser demostrada mediante una tabla de verdad. De otra parte, con la ayuda de estos
operadores podemos formar otros operadores compuestos: 3

✓ Nand: Compuesto de Not y And

✓ Nor: Combinación de Not y Or
✓ Xnor: Combinación Xor y Not

Condicional (𝑝 ⇒ 𝑞 )
Se lee: “Si p entonces q”

La proposición condicional entre dos proposiciones, llamadas la primera como el antecedente y la segunda
el consecuente, es un enunciado del cual se afirma que si el antecedente es verdadero entonces el
consecuente también lo es. Para este caso, se establece entre las dos proposiciones una condición.

Supongamos a manera de ejemplo que le hago la siguiente promesa a mi amada novia “Si me gano el baloto
nos casamos y comparto todo. Hagamos la representación virtual de la tabla

𝒑 𝒒 𝒑⇒𝒒 𝒑 𝒒 𝒑⇒𝒒
𝑽 𝑉 𝑉 1 1 1
𝑽 𝐹 𝐹 1 0 0
𝑭 𝑉 𝑉 0 1 1
𝑭 𝐹 𝑉 0 0 1

Bicondicional (𝑝 ⇔ 𝑞)
Se lee: “p si y sólo si q”, o también si p entonces q, y q entonces p, es equivalente a p si y solo si q.

La proposición bicondicional compuesta entre dos proposiciones es la que afirma que, o ambas son
verdaderas, o ambas son falsas. La representación lógica se identifica en la tabla siguiente

3
Se tratarán con mayor precisión en el tema de Algebra booleana
 7
Unidad 1. Lógica

𝒑 𝒒 𝒑⇔𝒒 𝒑 𝒒 𝒑⇔𝒒
𝑽 𝑉 𝑉 1 1 1
𝑽 𝐹 𝐹 1 0 0
𝑭 𝑉 𝐹 0 1 0
𝑭 𝐹 𝑉 0 0 1

Ejemplos:

Dentro del género musical prefiero los tangos, aunque también soy amante del vallenato.

Representar con notación lógica en forma de proposición bicondicional. Tenga presente que después de un
punto y seguido que significa que ahí existe un operador lógico “Y”

“Es excelente estudiante, si y sólo si, atiende las explicaciones de Humbi”

“Si no pago el celular, entonces me suspenden el servicio. Y si pago, entonces me quedo sin billete o le
disparo a un parce. Si me quedo sin billete y le disparo a un parce, entonces no podré pagar la tarjeta de
crédito, si y solo si soy una persona desorganizada. (Parece que existen seis proposiciones)

▪ Identificarlas
▪ Enunciar el enunciado en forma lógica

Ejemplos de conectivos lógicos, expresiones comunes y formales

𝑎 𝛬 𝑏 ∶ ¨ 𝐻𝑢𝑚𝑏𝑖 𝑒𝑠 𝑢𝑛 𝑔𝑟𝑎𝑛 𝑖𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜 𝑦 𝐽𝑢𝑙𝑖𝑜 𝑒𝑠 𝑚𝑎𝑒𝑠𝑡𝑟𝑜 𝑑𝑒 𝑀𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎𝑠”

𝑥 ∨ 𝑧 ∶ ¨ 𝐸𝑛 𝐶𝑜𝑡𝑎 𝑛𝑎𝑐𝑖ó 𝑢𝑛 ℎ𝑒𝑟𝑚𝑜𝑠𝑜 𝑛𝑖ñ𝑜 𝒐 𝐵𝑜𝑔𝑜𝑡á 𝑒𝑠𝑡á 𝑒𝑛 𝑐𝑟𝑖𝑠𝑖𝑠 𝑔𝑢𝑏𝑒𝑟𝑛𝑎𝑚𝑒𝑛𝑡𝑎𝑙”

𝑞 ⇒ 𝑝: “𝑆𝑖 𝑒𝑙 𝑡𝑟𝑖á𝑛𝑔𝑢𝑙𝑜 𝐴𝐵𝐶 𝑒𝑠 𝑒𝑞𝑢𝑖𝑙á𝑡𝑒𝑟𝑜 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑠 𝑒𝑞𝑢𝑖á𝑛𝑔𝑢𝑙𝑜

𝑟 ⇔ 𝑡 ∶ “ 𝐿𝑎 𝑈𝐶𝐶 𝑝𝑟𝑜𝑑𝑢𝑐𝑖𝑟á 𝑙𝑜𝑠 𝑚𝑒𝑗𝑜𝑟𝑒𝑠 𝑖𝑛𝑔𝑒𝑛𝑖𝑒𝑟𝑜𝑠 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑙𝑜𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑡𝑜𝑚𝑒𝑛 𝑐𝑜𝑛𝑐𝑖𝑒𝑛𝑐𝑖𝑎

1.1.4 Leyes y propiedades

▪ La negación de la negación de una proposición es equivalente a la proposición original, en
símbolos escribimos
~(~𝑝) ≡ 𝑝
▪ Leyes de Morgan de la distribución de la negación con respecto a la disyunción y a la conjunción:
~(𝑝 ∨ 𝑞) ≡ (~𝑝 ∧ ~𝑞)
~(𝑝 ∧ 𝑞) ≡ (~𝑝 ∨ ~𝑞)

En palabras la negación de la disyunción es la conjunción de las negaciones y la negación de la conjunción

es la disyunción de las negaciones.

▪ Leyes distributivas de la conjunción respecto a la disyunción y de la disyunción con respecto a la

conjunción

𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
 8
Unidad 1. Lógica

Sean 𝑝, 𝑞, 𝑟 proposiciones simples, entonces se pueden enunciar las siguientes propiedades y leyes:

▪ Idempotencia:
𝑝 ∨ 𝑝 ⇔ 𝑝; 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛
𝑞 ∧ 𝑞 ⇔ 𝑞; 𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛
▪ Asociativas
(𝑝 ∨ 𝑞) ∨ 𝑟 ⇔ 𝑝 ∨ (𝑞 ∨ 𝑟)
(𝑝 ∧ 𝑞) ∧ 𝑟 ⇔ 𝑝 ∧ (𝑞 ∧ 𝑟)
▪ Conmutativas
𝑝∨𝑞 ⇔ 𝑞∨𝑝
𝑝∧𝑞 ⇔ 𝑞∧𝑝
▪ Identidad
𝑝 ∨ 0 ⇔ 𝑝; 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛
𝑞 ∧ 1 ⇔ 𝑞; 𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛
▪ Complemento
𝑝 ∨∼ 𝑝 ⇔ 1; 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛
𝑞 ∧∼ 𝑞 ⇔ 0; 𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛

1.1.5 Tablas de verdad

Definición: Una tabla de verdad es un esquema que se forma con proposiciones compuestas, para
determinar su valor de verdad. En la construcción de tablas de verdad de acuerdo con el número de
proposiciones simples, cada una de ellas asume un número determinado de valores de verdad, por medio
de la expresión 2N con N el número de proposiciones simples. Así, una tabla de verdad está conformada por
filas y columnas. El número de columnas depende del número de proposiciones simples o compuestas que
integran la proposición.

Si se tiene una variable proposicional, entonces el número de valores de verdad corresponde a dos:

2¹=2

Cuando son dos proposiciones simples, cada una de ellas asume cuatro valores de verdad

Para tres proposiciones simples, cada una está formada por ocho valores de verdad. Por otro lado, al evaluar
la tabla se debe aplicar el siguiente orden jerárquico:

Jerarquía Operador
1a ( )
2a ∼
3a ∧
4a ∨
5a ⟶ ; ⟷
 9
Unidad 1. Lógica

Cuando figuran varios signos de agrupación se evalúa el que se encuentre más adentro y de izquierda
derecha, es decir, si se encuentran dos paréntesis de tal manera que no está uno dentro del otro, se realiza
primero el que se encuentra más a la izquierda. Similar procedimiento se debe hacer para evaluar
expresiones con los operadores condicional y bicondicional, no obstante tener la misma jerarquía.

Ejemplos:

Construya las siguientes tablas de verdad, determinando si es una tautología

▪ [ 𝑝 ∧ (𝑞 ∨ 𝑟 ) ] ↔ [ 𝑞 ∧ ( 𝑝 ∨ 𝑟)
▪ ( 𝑝 ∨ 𝑞 ) ↔ ∼ (𝑝 ∧ 𝑞)
▪ [(𝑝 ⟶ 𝑞) ∨ (∼ 𝑞 ∧ 𝑟)] ⟷ (𝑟 ⟶ 𝑞)

1.1.6 Tautologías, contradicciones y contingencias

Si en una tabla de verdad los valores obtenidos son todos verdaderos, entonces se dice que es una
tautología. Pero si los valores correspondientes son todos falsos, entonces se dice que es una
contradicción. Caso contrario si los valores correspondientes son verdaderos y falsos alternados, entonces
se dice que la tabla corresponde a una contingencia.

Las tautologías son muy importantes en lógica matemática, ya que, al ser verdaderas para todos los valores
de verdad, se constituyen en leyes que se pueden utilizar para realizar demostraciones de teoremas o para
inferir resultados de proposiciones desconocidas.

Se dice que una proposición es una contradicción o absurdo si al evaluar el resultado es falso para todos
los valores de verdad. La contradicción más conocida es

(𝑝 ∧∼ 𝑝)
 10
Unidad 1. Lógica

Tabla de tautologías comunes

NOTA: La proposición p escrita: 𝒑′ es equivalente a ∼ 𝒑

1.1.7 Inferencia lógica

Cuando dos o más proposiciones se asociación para para obtener una tercera que es válida estamos
desarrollando un proceso de inferencia lógica en una demostración.

Una inferencia lógica es un proceso de razonamiento demostrativo a partir de unas proposiciones

(premisas) para la obtención de una conclusión.

“Los argumentos basados en tautologías representan métodos 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 los nombrados argumentos y a la forma que
se relacionan se les llama reglas de inferencia, y éstas permiten relacionar dos o más proposiciones
para obtener una tercera que es válida en una demostración.”4

Propiedades y enunciados

▪ La negación de la negación de una proposición es equivalente a la proposición original, en

símbolos escribimos
~(~𝑝) ≡ 𝑝
▪ Leyes de Morgan de la distribución de la negación con respecto a la disyunción y a la conjunción:
~(𝑝 ∨ 𝑞) ≡ (~𝑝 ∧ ~𝑞)

~(𝑝 ∧ 𝑞) ≡ (~𝑝 ∨ ~𝑞)

En palabras la negación de la disyunción es la conjunción de las negaciones y la negación de la

conjunción es la disyunción de las negaciones.

4 Texto Matemáticas para la computación pag. 162

 11
Unidad 1. Lógica

▪ Leyes distributivas de la conjunción respecto a la disyunción y de la disyunción con respecto a la

conjunción

𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)

Sean p, q, r proposiciones simples, entonces se pueden enunciar las siguientes propiedades y leyes:

▪ Idempotencia:
𝑝 ∨ 𝑝 ⇔ 𝑝; 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛
𝑞 ∧ 𝑞 ⇔ 𝑞; 𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛
▪ Asociativas
(𝑝 ∨ 𝑞) ∨ 𝑟 ⇔ 𝑝 ∨ (𝑞 ∨ 𝑟)
(𝑝 ∧ 𝑞) ∧ 𝑟 ⇔ 𝑝 ∧ (𝑞 ∧ 𝑟)
▪ Conmutativas
𝑝∨𝑞 ⇔ 𝑞∨𝑝
𝑝∧𝑞 ⇔ 𝑞∧𝑝
▪ Identidad
𝑝 ∨ 0 ⇔ 𝑝; 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛
𝑞 ∧ 1 ⇔ 𝑞; 𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛
▪ Complemento
𝑝 ∨∼ 𝑝 ⇔ 1; 𝐷𝑖𝑠𝑦𝑢𝑛𝑐𝑖ó𝑛
𝑞 ∧∼ 𝑞 ⇔ 0; 𝐶𝑜𝑛𝑗𝑢𝑛𝑐𝑖ó𝑛

Entre las aplicaciones de las propiedades se incluye la simplificación de expresiones lógicas en programas
de computación y el diseño de circuitos digitales, de ahí la importancia de este espacio académico. Las
leyes de De Morgan son un ejemplo de un concepto más general de dualidad matemática.

Ejemplo. Aplicando las propiedades del algebra de proposiciones demostrar el siguiente enunciado
complejo:
(𝑝 ∨ 𝑞) ∧ (𝑝 ∨∼ 𝑞) ∨ 𝑞 ⇔ 𝑝 ∨ 𝑞
Partimos en forma inversa de la distributiva
𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
(𝑝 ∨ 𝑞) ∧ (𝑝 ∨∼ 𝑞) ≡ 𝑝 ∨ (𝑞 ∧∼ 𝑞) Distributiva
Pero (𝑞 ∧∼ 𝑞) equivale a 0, por la propiedad del complemento y de la identidad
𝑝 ∨ (𝑞 ∧∼ 𝑞) ∨ 𝑞 ≡ 𝑝 ∨ (0) ∨ 𝑞 ≡ 𝑝 ∨ 𝑞

▪ MODUS PONENDO PONENS (MPP) Esta regla establece que, si una implicación es verdadera y
su antecedente es verdadero, entonces su consecuente también es verdadero.

Ejemplo. Si dos rectas son paralelas entonces sus pendientes son iguales
 12
Unidad 1. Lógica

p: Dos rectas son paralelas

q: Las pendientes son iguales

𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1: 𝑝 → 𝑞

𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2: 𝑝

𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛: 𝑞

▪ MODUS TOLLENDO TOLLENS (MTT)

Si una implicación es verdadera y su consecuente es falso, entonces su antecedente es falso.

Premisa 1: p → q

Premisa 2: ~q

Conclusión: ~p

Ejemplo:

𝑝 → 𝑞: 𝑆𝑖 ∆ 𝐴𝐵𝐶 𝑒𝑠 𝑒𝑞𝑢𝑖𝑙á𝑡𝑒𝑟𝑜, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑒𝑙 ∆ 𝐴𝐵𝐶 𝑒𝑠 𝑒𝑞𝑢𝑖á𝑛𝑔𝑢𝑙𝑜

~𝑞 ∶ 𝐸𝑙 ∆ 𝐴𝐵𝐶 𝑛𝑜 𝑒𝑠 𝑒𝑞𝑢𝑖á𝑛𝑔𝑢𝑙𝑜

~𝑝 ∶ 𝐸𝑙 ∆ 𝐴𝐵𝐶 𝑛𝑜 𝑒𝑠 𝑒𝑞𝑢𝑖𝑙á𝑡𝑒𝑟𝑜

▪ MODUS TOLLENDO PONENS (MTP)

Si una disyunción es verdadera y una de las proposiciones simples es falsa, entonces necesariamente la
otra proposición simple es verdadera.

Premisa 1: p v q

Premisa 2: ~p

Conclusión: q

Ejemplo:

𝑝 𝑣 𝑞 ∶ 2 𝑒𝑠 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑝𝑟𝑖𝑚𝑜 𝑜 2 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 9

~𝑞 ∶ 2 𝑛𝑜 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 9

𝑝 ∶ 2 𝑒𝑠 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑝𝑟𝑖𝑚𝑜

▪ SILOGISMO HIPOTÈTICO (SH)

Dadas las proposiciones simples p, q y r se tiene que:
Premisa 1: p → q

Premisa 2: q → r
 13
Unidad 1. Lógica

Conclusión: p → r

Ejemplo:

𝑝 → 𝑞: 𝑆𝑖 3 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 9, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 3 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 6

𝑞 → 𝑟: 𝑆𝑖 3 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 6, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 3 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 12

𝑝 → 𝑟: 𝑆𝑖 3 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 9, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 3 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 12

El símbolo ∴ significa: “por lo tanto, de donde”

𝑝→𝑞
𝑞→𝑟
__________
∴𝑝→𝑟

Ejemplo: Justifique cada uno de los pasos necesarios para mostrar que el siguiente argumento es válido

P 1: p → q

P 2: ~q

P 3: ~r

Conclusión: ~( 𝑝 ∨ 𝑟 )

Desarrollo:

1. 𝑝 → 𝑞 Premisa 1
2. ~𝑞 Premisa 2
3. ~𝑝 MTT en pasos 1 y 2
4. ~𝑟 Premisa 3
5. ~𝑝 ∧ ~𝑟 Regla de la adjunción conjuntiva en pasos 3 y 4
6. ~( 𝑝 ∨ 𝑟 ) Ley D`Morgan en paso 5
Ejemplo:

• Si es un gato, entonces come carne

• Si come carne, entonces es felino
De donde, Si es un gato, entonces es felino
En forma proposicional lo podemos expresar

𝑝: 𝑒𝑠 𝑢𝑛 𝑔𝑎𝑡𝑜
𝑞: 𝑐𝑜𝑚𝑒 𝑐𝑎𝑟𝑛𝑒
𝑟: 𝑒𝑠 𝑓𝑒𝑙𝑖𝑛𝑜

En este ejemplo se aplica la regla de inferencia “silogismo hipotético”.

 14
Unidad 1. Lógica

Ejemplo: Bajan los salarios. Si bajan los salarios entonces, la vagancia aumenta. Y se aplica lo que se
conoce con el nombre de “Modus ponens”
𝑝
𝑝→𝑞
__________
∴𝑞

En las reglas de inferencia se parte de proposiciones verdaderas, como un supuesto o hipótesis, para
obtener con ellas y la inferencia lógica la conclusión.

Que se consideran válidos y sus conclusiones deberán considerarse también como verdaderas, porque
integrándolas forman un argumento válido y por supuesto verdadero

Ejemplo. Considerar el siguiente argumento

((𝑝 → ~𝑠) ∨ 𝑞) → (~𝑞 ∧ 𝑠)
(~𝑞 ∧ 𝑠) → (~𝑠 ∨ 𝑝)

∴ ((𝑝 → ~𝑠) ∨ 𝑞) → (~𝑠 ∨ 𝑝)

VER RECORTES
 15
Unidad 1. Lógica
 16
Unidad 1. Lógica

5
Capítulo 1 pags. 46-49 y 66-69 libro RICHARD JOHNSONBAUGH. Matemáticas Discretas
 17
Unidad 1. Lógica

1.1.8 Equivalencia Lógica

 18
Unidad 1. Lógica
 19
Unidad 1. Lógica
 20
Unidad 1. Lógica
 21
Unidad 1. Lógica

1.1.9 Demostración formal

Los argumentos lógicos son razonamientos resultantes del enunciado de un problema que es posible
representar, usando notación científica, como una proposición condicional integrada por varias
proposiciones simples, siempre y cuando se identifique cada una de ellas junto con sus conectivos lógicos
que unan dichas proposiciones. En general a la hipótesis o condicional que resulta del planteamiento de un
problema se le llama argumento y tiene la forma:

𝑃⟹𝑄

En donde P y Q son proposiciones compuestas. Donde P es la hipótesis y Q la conclusión

Los nombrados argumentos o teoremas representados con notación lógica y producto de un razonamiento,
se pueden demostrar usando el denominado Método directo
 22
Unidad 1. Lógica

Como se observa P puede estar integrada por varias hipótesis, cada una de ellas separada por un punto-
seguido y para completar el teorema es necesaria su conclusión Q. En el siguiente cuadro se realiza una
descripción del procedimiento:
 23
Unidad 1. Lógica

Se puede observar que el procedimiento para demostrar un teorema no es único, depende de la intuición,
ingenio, inteligencia y pileza que demuestre cada estudiante.
 24
Unidad 1. Lógica
 25
Unidad 1. Lógica

1.1.10 Cuantificadores
Una proposición abierta (que no tiene valor de verdad) se convierte en una proposición cerrada (que tiene
un valor de verdad) cuando usamos un cuantificador.

CUANTIFICADOR UNIVERSAL: se refiere a todos los elementos del conjunto universal, se denota con el
siguiente símbolo:

∀𝑥 ∈ 𝕌

Y se lee de las siguientes maneras:

“Para todo x que pertenece a 𝕌”.
“Para todo elemento x de 𝕌”.
“Para todo x de 𝕌”.
“Cada elemento x de 𝕌 verifica”.
“Todo elemento de 𝕌”.
“Cualquier elemento de 𝕌 cumple…”.

Ejemplo:

Proposiciones abiertas:

1) 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜.
2) 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑜 𝑖𝑚𝑝𝑎𝑟.
3) 𝑥 ≥ 1
Proposiciones cerradas:

1. ℕ 𝑒𝑠 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑙𝑜𝑠 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠: 1,2,3, …

2. ∀𝑥 ∈ ℕ, 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜.
3. ∀𝑥 ∈ ℕ, 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑜 𝑖𝑚𝑝𝑎𝑟.
4. ∀𝑥 ∈ ℕ, 𝑥 ≥ 1

CUANTIFICADOR EXISTENCIAL: se refiere a por lo menos un elemento del conjunto universal, se denota
con el siguiente símbolo:
 26
Unidad 1. Lógica

∃𝑥 ∈ 𝕌

Y se lee de las siguientes maneras:

“Existe al menos un x de 𝕌”.
“Para algún elemento x de 𝕌”.
“Algún elemento x de 𝕌 cumple…”.
“Hay un elemento x de 𝕌”.
“Algún elemento x de 𝕌 verifica…”.

Ejemplo

Proposiciones abiertas:

1. 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑅𝑜𝑚𝑎.

2. 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑜𝑛𝑠𝑜𝑛𝑎𝑛𝑡𝑒 𝑑𝑒 𝑙𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛.
3. 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙 𝑎𝑛𝑡𝑒𝑟𝑖𝑜𝑟 𝑎 𝑚 𝑒𝑛 𝑒𝑙 𝑜𝑟𝑑𝑒𝑛 𝑎𝑙𝑓𝑎𝑏é𝑡𝑖𝑐𝑜.
Proposiciones cerradas:

1. 𝕌 = {𝑎, 𝑏, 𝑐, 𝑚, 𝑟, 𝑖, 𝑜, 𝑝, 𝑞, 𝑢}
2. ∃𝑥 ∈ 𝕌, 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑅𝑜𝑚𝑎.
3. ∃𝑥 ∈ 𝕌, 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑜𝑛𝑠𝑜𝑛𝑎𝑛𝑡𝑒 𝑑𝑒 𝑙𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑡𝑒𝑙𝑒𝑣𝑖𝑠𝑖ó𝑛.
4. ∃𝑥 ∈ 𝕌, 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙 𝑎𝑛𝑡𝑒𝑟𝑖𝑜𝑟 𝑎 𝑚 𝑒𝑛 𝑒𝑙 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜.

NEGACIÓN DE UN CUANTIFICADOR

Si una proposición dada es verdadera, su negación necesariamente debe ser falsa.

Ejemplos: Sea

𝑝: 𝒕𝒐𝒅𝒐𝒔 𝑙𝑜𝑠 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙𝑒𝑠 𝑠𝑜𝑛 𝑒𝑛𝑡𝑒𝑟𝑜𝑠. F

~𝑝: 𝑬𝒙𝒊𝒔𝒕𝒆 𝑎𝑙 𝑚𝑒𝑛𝑜𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙 𝑞𝑢𝑒 𝒏𝒐 𝑒𝑠 𝑒𝑛𝑡𝑒𝑟𝑜. V

𝑞: 𝑨𝒍𝒈𝒖𝒏 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 𝑠𝑖𝑒𝑡𝑒. V

~𝑞: 𝑵𝒊𝒏𝒈ú𝒏 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 𝑠𝑖𝑒𝑡𝑒. F

Observamos que cuando la proposición se enuncia con el cuantificador universal se niega con el existencial,
y cuando se afirma con el existencial se niega con el universal. Para este último se utiliza la expresión
“ningún” en lugar de “todos no” ya que esta última no tiene significado preciso.
 27
Unidad 1. Lógica

1.1.11 Inducción matemática

 28
Unidad 1. Lógica

1.2 Ejercicios y Talleres

A. Si p es verdadero (1), q es verdadero (1) y r es falso (0), determinar el valor de verdad de las
siguientes proposiciones:

1. ∼ (𝑝 ∨ 𝑟) ∧ (𝑝 → 𝑞 )
2. (𝑝 ∨ 𝑞 ) ∧ (𝑝 ∨∼ 𝑞 ) ∨ 𝑞 ⟷ (𝑝 ∨ 𝑞 )
3. [𝑝 ∧ (𝑞 ∨ 𝑟)] ⟷ [𝑞 ∧ (𝑝 ∨ 𝑟)]
4. (𝑝 ∨ 𝑞 ) ∧ (𝑝 ∨∼ 𝑞 ) ⟷ (∼ 𝑝 ∧∼ 𝑞 )
5. [(𝑝 ⟶ 𝑞 ) ∧ (𝑝 ⟶ 𝑟)] ⟷ [𝑝 ∧∼ (𝑞 ∨ 𝑟)]
6. (∼ 𝑝 ∧∼ 𝑟) ⟷ [𝑝 ∧∼ (𝑞 ∨ 𝑟)]
7. [𝑞 ∧ (𝑝 ∨ 𝑟)] ⟷ [(𝑞 ∧ 𝑝) ∨ (𝑞 ∧ 𝑟)]

B. Para los siguientes enunciados, elaborar las tablas de verdad, estableciendo para cada caso, si son
tautologías, contradicciones o contingencias

a) (𝑝 ∧ (𝑝 ⟶ 𝑟)) ∨ (𝑞 ⟷ 𝑡)
b) 𝑝 ⟶ (𝑞 ⟶ (𝑝 ∧ 𝑞 ))
c) (𝑝 ⟶ (𝑞 ∨ 𝑟)) ⟷ ((𝑝 ∧∼ 𝑞 ) ⟶ 𝑟)
d) [ 𝑞 ∧ ( 𝑝 ∨ 𝑟 ) ] ↔ [ ( 𝑞 ∧ 𝑝) ∨ ( 𝑞 ∧ 𝑟 ) ]
 29
Unidad 1. Lógica

1.3 Ejercicios y Talleres Segundo corte

A. Representar en forma de teorema cada uno de los siguientes enunciados, haciendo uso de notación
lógica
1. Si se ha realizado un buen diseño de la base de datos y se hace una buena programación,
entonces se accesa rápidamente la información. Si no se hace buena programación, entonces
toma mucho tiempo corregir el programa. Por lo tanto, si no se accesa rápidamente la
informaciòn y toma poco tiempo corregir el programa, entonces no se ha realizado un buen
diseño de la base de datos.

2. Està en la selección si y sòlo si es un buen jugador y es menor de 27 años o pertenece a

Santafecito. Si està en la selección y no es buen jugador o no pertenece a Santafecito, entonces
pertenece a los Chirozos de Millos. Por lo tanto, si es de los Chirozos, entonces es buen jugador.

3. Si estudia ingeniería de software o sistemas, entonces es estudiante de Unipanamericana. Es

estudiante de Unipanamericanasi y sòlo si es buen estudiante. Por consiguiente, si no estudia
sistemas o Software y no es estudiante de Unipanamericana, entonces no es buen estudiante.

B. Demostrar que las siguientes proposiciones son lógicamente equivalentes, utilizando tautologías u
otras proposiciones ya demostradas.

C. Demostrar mediante una tabla de verdad que las siguientes proposiciones enunciadas en las tablas
resumen son tautologías.
1. [(𝑝 ⟶ 𝑞 ) ∧ (𝑞 → 𝑟)] ⇒ (𝑝 ⟶ 𝑟)
2. (𝑝 → 𝑞 ) ⇒ [(𝑞 → 𝑟) → (𝑝 → 𝑟)]

D. Demostrar los teoremas, haciendo uso del método directo.

1. [𝑝 → (𝑞 ∧ 𝑟)][(𝑞 ∨ 𝑠) → 𝑡] ∧ (𝑝 ∨ 𝑠) ⇒ (𝑟 ∨ 𝑡)
2. [𝑞 → (𝑝 ∧ 𝑠)] ∧ [~𝑠 → 𝑟] ⇒ [(~𝑠 ∧ ~𝑝 ∨ ~𝑠) → (𝑟 ∨ ~𝑞)]

E. Demostrar por inducción matemática que los enunciados de cada uno de los siguientes incisos son
verdaderos.
𝑛(3𝑛+1)
1. 2 + 5 + 8 + ⋯ + (3𝑛 − 1) =
2
𝑛(2𝑛+5)(𝑛−1)
2. 0 + 3 + 8 + ⋯ + (𝑛2 − 1) =
6

F. Negar las siguientes proposiciones y halla su valor de verdad.

1. Existe un número natural tal que "𝑥 + 1 = −2" .
__________________________________________________________

2. Existe un estudiante de este salón que nació en Roma.

__________________________________________________________
 30
Unidad 1. Lógica

3. Todos los paralelogramos son cuadriláteros.

__________________________________________________________
4. Todos los pastusos son colombianos.
__________________________________________________________

5. Existe un número primo par.

__________________________________________________________

6. Existe una ave que no vuele.

__________________________________________________________

7. Para todo R se cumple se da que (𝑥 + 1)2 = 𝑥 2 + 2𝑥 + 1

__________________________________________________________
8. Todos las aves vuelan.
__________________________________________________________

9. Algunos peces son mamíferos.

__________________________________________________________

10. Ningún costeño es hincha del JUNIOR.

G. Determine el valor de verdad de cada uno de los enunciados

1. 𝑆𝑒𝑎 A = {1,2,3,4,5} ; 𝑆𝑒𝑎 P(𝑥): 𝑥 + 3 = 10 𝑆𝑒𝑎 H(𝑥): 𝑥 + 3 < 10

∃𝑥 ∈ 𝐴 | 𝑃(𝑥) _____ ∀𝑥 ∈ 𝐴 | 𝐻(𝑥) _______
2. 𝑆𝑒𝑎 M(𝑥): 𝑥 2 − 3 < 23 ; 𝑅(𝑥): √𝑥 ∈ ℕ

∃𝑥 ∈ 𝐴 , ~𝑀(𝑥) _____ ∀𝑥 ∈ 𝐴 | ~ 𝑅(𝑥)_______

H.
 31
Unidad 1. Lógica
 32
Unidad 2. Algebra de Boole

Unidad 2. Algebra de Boole

 33
Unidad 3. Técnicas de conteo y probabilidad

Unidad 3. Técnicas de conteo y probabilidad

3.1 Definiciones

3.2 Leyes de conteo

3.3 Teorema de Bayes

 34
Unidad 4 Distribuciones de probabilidad

Unidad 4 Distribuciones de probabilidad

4.1 Binomial

4.2 Hipergeométrica

4.3 Poisson

4.4 Normal

4.5 Ejercicios y Talleres

 35
Unidad 5. Teoría de Grafos

Unidad 5. Teoría de Grafos

5.1 Definiciones y características

5.2 Circuitos y grafos Eulerianos y de Hamilton

5.3 Gráficos bipartidos y completos

5.4 Matrices y grafos

5.5 Caminos cíclicos. Circuitos y grafos relacionados

5.6 Ejercicios y Talleres

 36
Bibliografía

Bibliografía
JOSE A. JIMENEZ. Matemáticas para la computación, 2ª edición, Alfaomega Grupo Editor, México 2014.

RICHARD JOHNSONBAUGH. Matemáticas Discretas (4a edición), Pearson, México 1999.

LUIS DISSETT. Apuntes de Clase Matemática Discreta, Segundo Semestre, 2004, Pontificia
Universidad Católica de Chile.

ALESSANDRA GALLINARI. Lógica Matemática, apuntes. Escuela superior de Ciencias Experimentales

y Tecnología, Madrid, 2005-2006

Referencias en la web

✓ http://huitoto.udea.edu.co/SistemasDiscretos/contenido/capitulo_03.html
✓ http://es.wikipedia.org/wiki/Lógica_proposicional
✓ http://caminantes.metropoliglobal.com/web/matematicas.htm
✓ http://almez.pntic.mec.es/~agos0000/hisramas.html
✓ http://www.matematicas.profes.net/archivo2.asp?id_contenido=6987
✓ http://www.um.es/docencia/pherrero/mathis/indice.htm
✓ http://www.lhs.edu.pe/recursos/matematica/2009/10mo/LOGICA_CUANTIFICACIONAL.pdf