Matemáticas Discretas 2021-1

UNIVERSIDAD DEL MAGDALENA

PROGRAMA DE INGENIERÍA DE SISTEMAS
MATEMÁTICAS DISCRETAS
UNIDAD I: LÓGICA PROPOSICIONAL

INTRODUCCIÓN
Las implicaciones y la equivalencia lógica surgen de las tablas de verdad con respuestas tautológicas. Mientras
que el condicional y bicondicional se usan como conectivos lógicos y sus valores pueden ser verdaderos o
falsos, las tablas de verdad con valores solamente verdaderos se conocen como implicación (⇒) y equivalencia
(⇔ ). Al ser imposible que tengan otros valores de verdad, son lógicamente equivalentes y tienen el mismo
significado.

1.2. IMPLICACIÓN LÓGICA

Estudiamos ahora la implicación lógica entre dos proposiciones y su importancia para fundamentar y justificar
la validez de las demostraciones en matemáticas.

DEFINICIÒN: Se dice que la proposición 𝑃 implica lógicamente la proposición 𝑄, y se escribe 𝑃  𝑄, si 𝑄 es

verdad cuando 𝑃 es verdad. En este sentido, la proposición 𝑃 implica lógicamente la proposición 𝑄 si, y solo
si la proposición condicional 𝑃  𝑄 es una tautología.

Ejemplo: Muestre que la proposición ~ (𝑝  𝑞) implica lógicamente a ~𝑝

Solución: Tenemos que demostrar que ~ (𝑝  𝑞)  ~𝑝 es una tautología.

𝒑 𝒒 ∼𝒑 𝒑∨𝒒 ∼ (𝒑 ∨ 𝒒) ∼ (𝒑 ∨ 𝒒) ⟶ ∼ 𝒑
V V F V F V
V F F V F V
F V V V F V
F F V F V V

Luego, ~ (𝑝  𝑞)  ~𝑝 es, efectivamente, una tautología. Luego ¬ (𝑝  𝑞) ⟹ ~𝑝

1.2.1. LEYES DE LA IMPLICACIÓN

A continuación, se presenta algunas implicaciones lógicas con los nombres que usualmente:

1. Adición: 𝑃 ⇒ (𝑃 ∨ 𝑄)
2. Simplificación: (𝑃 ∧ 𝑄) ⇒ 𝑃
3. Ley del Modus Ponendo Ponens: [(𝑃 → 𝑄) ∧ 𝑃 ] ⇒ 𝑄
4. Ley del Modus Tellendo Tolens: [(𝑃 → 𝑄) ∧ ~𝑄 ] ⇒ ~𝑃
5. Leyes del Silogismo Hipotético:
a. [(𝑃 → 𝑄) ∧ (𝑄 → 𝑅) ] ⇒ (𝑃 → 𝑅) b. [(𝑃 ↔ 𝑄) ∧ (𝑄 ↔ 𝑅) ] ⇒ (𝑃 ↔ 𝑅)
6. Leyes del Silogismo Disyuntivo:
a. [~𝑃 ∧ (𝑃 ∨ 𝑄) ] ⇒ 𝑄 b. [𝑃 ∧ (~𝑃 ∨ ~ 𝑄) ] ⇒ ~𝑄
7. Ley del Dilema Constructivo: [(𝑃 → 𝑄) ∧ (𝑅 → 𝑆) ∧ (𝑃 ∨ 𝑅] ⇒ (𝑄 ∨ 𝑆)
8. Contradicción: (𝑃 → 𝐶) ⇒ ~𝑃

Mg. Álvaro Espinosa Pérez

 Matemáticas Discretas 2021-1

1.3. EQUIVALENCIA LÓGICA

En algunos casos, dos proposiciones diferentes tienen los mismos valores de verdad sin importar qué valores
de verdad tengan las proposiciones que las constituyen. Tales proposiciones se conocen como equivalentes
lógicos.

DEFINICIÓN: Las proposiciones compuestas 𝑃 y 𝑄 son lógicamente equivalentes y se escribe 𝑃 𝑄 ó 𝑃  𝑄

cuando ambas tienen los mismos valores de verdad. En este sentido, la proposición 𝑃 es lógicamente
equivalente a la proposición 𝑄 si, y sólo si la proposición bicondicional 𝑃  𝑄 es una tautología.

Ejemplo: Muestre que la proposición ~ (𝑝  𝑞) equivale lógicamente a ~𝑝  ~𝑞

Solución: Tenemos que demostrar que ~ (𝑝  𝑞)  ~𝑝  ~𝑞 es una tautología.

𝒑 𝒒 ∼𝒑 ∼𝒒 𝒑∧𝒒 ∼ (𝒑 ∧ 𝒒) ∼ 𝒑 ∨∼ 𝒒 ∼ (𝒑 ∧ 𝒒) ⟷ ∼ 𝒑 ∨∼ 𝒒
V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V

Luego, ~ (𝑝  𝑞)  ~𝑝  ~𝑞 es, efectivamente, una tautología, esto es: ∼ (𝑝  𝑞) ⇔ ∼ 𝑝  ∼ 𝑞

1.3.1. LEYES DE LA EQUIVALENCIA

Al igual que en la implicación lógica, mostraremos las equivalencias lógicas más útiles junto con los nombres
que reciben:

1. Leyes de Idempotencia:
a. 𝑃 ∨ 𝑃 ⟺ 𝑃 b. 𝑃 ∧ 𝑃 ⟺ 𝑃
2. Leyes Conmutativa:
a. 𝑃 ∨ 𝑄 ⟺ 𝑄 ∨ 𝑃 b. 𝑃 ∧ 𝑄 ⟺ 𝑄 ∧ 𝑃
3. Leyes Asociativa:
a. (𝑃 ∨ 𝑄) ∨ 𝑅 ⟺ 𝑃 ∨ (𝑄 ∨ 𝑅) b. (𝑃 ∧ 𝑄) ∧ 𝑅 ⟺ 𝑃 ∧ (𝑄 ∧ 𝑅)
4. Leyes Distributiva:
a. 𝑃 ∨ (𝑄 ∧ 𝑅) ⟺ (𝑃 ∨ 𝑄) ∧ (𝑃 ∨ 𝑅) b. 𝑃 ∧ (𝑄 ∨ 𝑅) ⟺ (𝑃 ∧ 𝑄) ∨ (𝑃 ∧ 𝑅)
5. Leyes de Identidad: Sean T: tautología y C: contradicción.
a. 𝑃 ∧ 𝑇 ⟺ 𝑃 b. 𝑃 ∨ 𝐶 ⟺ 𝑃
6. Leyes del Complemento:
a. 𝑃 ∨ ∼ 𝑃 ⟺ 𝑇 b. 𝑃 ∧ ∼ 𝑃 ⟺ 𝐶
7. Doble Negación: ∼ (∼ 𝑃) ⟺ 𝑃
8. Leyes de dominación:
a. 𝑃 ∨ 𝑇 ⟺ 𝑇 b. 𝑃 ∧ 𝐶 ⟺ 𝐶
9. Leyes de Absorción:
a. 𝑃 ∨ (𝑃 ∧ 𝑄) ⟺ 𝑃 b. 𝑃 ∧ (𝑃 ∨ 𝑄) ⟺ 𝑃
10. Ley de la Implicación: (𝑃 ⟶ 𝑄) ⟺ ∼ 𝑃 ∨ 𝑄

Mg. Álvaro Espinosa Pérez

 Matemáticas Discretas 2021-1

11. Contrarrecíproca: (𝑃 ⟶ 𝑄) ⟺ (~𝑄 ⟶ ~𝑃)

12. Leyes De Morgan:
a. ∼ (𝑃 ∨ 𝑄) ⟺ ∼ 𝑃 ∧ ∼ 𝑄 b. ∼ (𝑃 ∧ 𝑄) ⟺ ∼ 𝑃 ∨ ∼ 𝑄

Con estas leyes y propiedades nos apoyamos para obtener y justificar equivalencias. El procedimiento se
plantea de forma general: se inicia con la proposición más compleja; mediante leyes de equivalencia se
transforma sucesivamente la proposición inicial, hasta llegar a la proposición deseada.

Ejemplos:
1. Establecer la siguiente equivalencia simplificando las proposiciones del lado izquierdo.

[(𝑝 ∧ 𝑞) ⟶ 𝑝] ⟺ 𝑇
Solución:
[(𝑝 ∧ 𝑞) ⟶ 𝑝] ⟺ ∼ (𝑝 ∧ 𝑞) ∨ 𝑝 (Implicación)
⟺ (∼ 𝑝 ∨ ∼ 𝑞) ∨ 𝑝 (De Morgan)
⟺ 𝑝 ∨ (∼ 𝑝 ∨ ∼ 𝑞) (Conmutativa de)
⟺ (𝑝 ∨ ∼ 𝑝) ∨ ∼ 𝑞 (Asociativa de)
⟺𝑇 ∨∼𝑞 (Complemento)
⟺𝑇 (Dominación)

2. Muestre que; [(∼ 𝑃 ∧ ∼ 𝑄) ∧ 𝑅] ⟺ (𝑃 ⟶ 𝑄) ∧ ∼ (𝑅 ⟶ 𝑄).

Solución: (Coloque la justificación en cada paso)

(𝑃 ⟶ 𝑄) ∧ ∼ (𝑅 ⟶ 𝑄) ⟺ (∼ 𝑃 ∨ 𝑄) ∧ ∼ (∼ 𝑅 ∨ 𝑄))
⟺ (∼ 𝑃 ∨ 𝑄) ∧ [∼ (∼ 𝑅) ∧ ∼ 𝑄)]
⟺ (∼ 𝑃 ∨ 𝑄) ∧ (𝑅 ∧ ∼ 𝑄)
⟺ [∼ 𝑃 ∧ (𝑅 ∧ ∼ 𝑄)] ∨ [𝑄 ∧ (𝑅 ∧ ∼ 𝑄)]
⟺ [∼ 𝑃 ∧ (∼ 𝑄 ∧ 𝑅)] ∨ [𝑄 ∧ (∼ 𝑄 ∧ 𝑅)]
⟺ [(∼ 𝑃 ∧ ∼ 𝑄) ∧ 𝑅] ∨ [(𝑄 ∧ ∼ 𝑄) ∧ 𝑅]
⟺ [(∼ 𝑃 ∧ ∼ 𝑄) ∧ 𝑅] ∨ (𝐶 ∧ 𝑅)
⟺ [(∼ 𝑃 ∧ ∼ 𝑄) ∧ 𝑅] ∨ 𝐶
⟺ [(∼ 𝑃 ∧ ∼ 𝑄) ∧ 𝑅]

Entonces: [(∼ 𝑃 ∧ ∼ 𝑄) ∧ 𝑅] ⟺ (𝑃 ⟶ 𝑄) ∧ ∼ (𝑅 ⟶ 𝑄)

3. Demostrar que: ∼ (𝑝 ∧ 𝑞) ⟺ (𝑝 ∧ ∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧ ∼ 𝑞).

Solución:
∼ (𝑝 ∧ 𝑞) ⟺ ∼ 𝑝 ∨∼ 𝑞 {De Morgan}
⟺ (∼ 𝑝 ∧ 𝑇) ∨ (∼ 𝑞 ∧ 𝑇) {Identidad}
⟺ (∼ 𝑝 ∧ (𝑞 ∨∼ 𝑞)) ∨ (∼ 𝑞 ∧ (𝑝 ∨ ∼ 𝑝)) {Tautología}
⟺ [(∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧ ∼ 𝑞)] ∨ [(∼ 𝑞 ∧ 𝑝) ∨ (∼ 𝑞 ∧ ∼ 𝑝)] {Distributiva}
⟺ (𝑝 ∧ ∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞) ∨ (∼ 𝑝 ∧ ∼ 𝑞) {Conmutativa}
⟺ (𝑝 ∧ ∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞) {Idempotencia}

Por lo tanto: ∼ (𝑝 ∧ 𝑞) ⟺ (𝑝 ∧ ∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧ ∼ 𝑞)

Resulta interesante resaltar que hay conectivas que tienen aplicaciones útiles en el diseño de computadores;
están se conocen como: NO-Y (NAND) y NO-O (NOR). Los correspondientes conectivos lógicos de estas

Mg. Álvaro Espinosa Pérez

 Matemáticas Discretas 2021-1

puertas son | (para NAND) y ↓ (para NOR) donde | se llama trazo de Sheffer (1882-1964) y ↓ se llama flecha de
Peirce (1839-1914). Las conectivas | y ↓ se definen en términos de las conectivas ∧,∨ y ∼.

Ejemplos:
1. Para dos proposiciones cualesquiera 𝑃 y 𝑄 tenemos:
a. NO-Y: 𝑃 | 𝑄 ⟺ ∼ (𝑃 ∧ 𝑄)
b. NO-O: 𝑃 ↓ 𝑄 ⟺ ∼ (𝑃 ∨ 𝑄)

2. Para 𝑝 ↓ 𝑝 se tiene que: 𝑝 ↓ 𝑝 ⟺ ∼ (𝑝 ∨ 𝑝) ⟺ ∼ 𝑝 ∧ ∼ 𝑝 ⟺ ∼ 𝑝

3. Por el trazo de Sheffer podemos demostrar que: 𝑃 ∨ 𝑄 ⟺ (𝑃| 𝑃)| (𝑄| 𝑄))
Veamos:
𝑃 ∨ 𝑄 ⟺ ∼ (∼ (𝑃 ∨ 𝑄))
⟺ ∼ (∼ 𝑃 ∧ ∼ 𝑄)
⟺ ∼ ((𝑃| 𝑃) ∧ (𝑄| 𝑄))
⟺ (𝑃| 𝑃)|(𝑄| 𝑄)
Luego: 𝑃 ∨ 𝑄 ⟺ (𝑃| 𝑃)| (𝑄| 𝑄))

Las computadoras representan internamente la información mediante el uso de bits. Un bit tiene dos posibles
valores, llamados “cero” y “uno”, que pueden emplearse (entre otras cosas, como codificar números en base
binaria) para representar los valores de verdad “𝐹” y “𝑉 ”, respectivamente. Así, las operaciones lógicas
pueden implementarse en un computador

Comentario: Las leyes anteriores nos ayudan a negar correctamente las proposiciones compuestas, por

Ejemplos:
1. Si queremos negar la proposición:
Dos es un número primo o tres es un número impar
Lo primero que realizamos es su simbolización:

𝑝  𝑞: Dos es un número primo o tres es un número impar

Si queremos negarla tenemos que:

∼ (𝑝  𝑞 )  ∼ 𝑝  ∼ 𝑞
Luego su negación será:
∼ 𝑝  ∼ 𝑞 : Dos no es un número primo y tres no es número impar.
2. Negar la siguiente proposición:

El lenguaje C es de alto nivel y no necesita mucha memoria.

En Símbolos:
𝑝 ∧ ∼ 𝑞: El lenguaje C es de alto nivel y no necesita mucha memoria

Para negarla tenemos:

∼ (𝑝 ∧ ∼ 𝑞) ⇔ ∼ 𝑝 ∨ ∼ (∼ 𝑞)
⇔∼ 𝑝 ∨ 𝑞
Luego su negación es:

∼ 𝑝 ∨ 𝑞 : El lenguaje C no es de alto nivel o necesita mucha memoria

Mg. Álvaro Espinosa Pérez

 Matemáticas Discretas 2021-1

3. Negar la proposición:
Si estudio lógica, entenderé la forma de programar

En Símbolos:
(𝑝 → 𝑞): Si estudio lógica, entenderé la forma de programar
Su negación es:
𝑝 → 𝑞 ⇔∼𝑝 ∨ 𝑞
∼ (𝑝 → 𝑞) ⇔ ∼ (∼ 𝑝 ∨ 𝑞)
⇔ ∼ (∼ 𝑝) ∧ ∼ 𝑞
⇔ 𝑝 ∧∼𝑞
Luego su negación es:
𝑝 ∧ ∼ 𝑞 : Estudio lógico y no entenderé la forma de programar

EJERCICIOS EN CLASES:
1. Escriba o simbolice los siguientes enunciados usando correctamente los conectivos, después
niéguelas:
a. P es un cuadrado o P es un rectángulo.
b. Si estamos bajo cero, nieva.
c. Puedes acceder a internet desde el campus solo si estudias ciencias de la computación o no eres
alumno de primer semestre.
d. No puedes montar en la montaña rusa si mides menos de 1,20 m, a no ser que seas mayor de
dieciséis años
2. Establecer las siguientes equivalencias simplificando las proposiciones del lado izquierdo
a. [(𝑝  𝑞) 𝑟 ] (∼ 𝑝  ∼ 𝑞) 𝑟.
b. [(p  q)  p]  T
c. ∼ (∼ (p  q)  ∼ p)  C
d. [(𝑞  𝑝) ∧ (∼ 𝑝  𝑞) ∧ (𝑞  𝑞)]  𝑝
e. [(p  ∼p)  (∼ p  p)]  C

Mg. Álvaro Espinosa Pérez