UNIVERSIDAD NACIONAL

DE CAÑETE
Código: F-M01.01-VRA-008
Revisión: 02
Fecha de aprobación: 22/03/2022

MATEMÁTICA DISCRETA
LÓGICA PROPOSICIONAL

1
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
MATEMÁTICA DISCRETA
La Matemática Discreta es la parte de la matemática
cuyo objeto de estudio son los conjuntos discretos
(conjuntos finitos y numerables)

Ejemplo de conjuntos discretos:

● Números naturales

● Números enteros

● Números racionales

● Grafos

● Árboles

● Proposiciones lógicas

2
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
LÓGICA PROPOSICIONAL

La lógica es la ciencia formal que La lógica proposicional es una

estudia las estructuras o formas del parte de la lógica, donde las
pensamiento humano: como proposiciones pueden formarse
proposiciones, conceptos y combinando proposiciones atómicas
razonamientos, para establecer leyes utilizando conectivos lógicos y
y principios válidos para obtener cuantificadores.
criterios de verdad.

3
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
ENUNCIADO

Un enunciado es una expresión 1. La selección peruana clasificó al mundial de

verbal o escrita, oración o frase, fútbol del 2018.
alfabética y/o numérica, que sirve 2. No es cierto que 7 + 4 ≠ 8.
para afirmar algo, negar algo, 3. ¿Cómo te sientes?
formular preguntas, indicar dudas, 4. Es probable que esté en la casa.
prohibiciones, mandatos, 5. !Silencio!
recomendaciones, expresar deseo, 6. !Qué te vaya bien!

opinión, saludo, admiración, sorpresa 7. Deberías esforzarte más.

o emitir un juicio de valor. 8. !Qué sucedió!

9. La mejor guerra de todas es la que nunca se
tiene.

4
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
PROPOSICIÓN LÓGICA
Una proposición es un enunciado 1. 𝑝: La selección peruana clasificó
que tiene la capacidad de ser al mundial de fútbol del 2018.
calificado como verdadero (V) o falso
(F), sin ninguna ambigüedad. La 2. 𝑞: No es cierto que 7 + 4 ≠ 8.
calificación como verdad o falso de
3. 𝑟: Lima es la capital de Brasil.
una proposición se le llama valor de
verdad de la proposición. 4. 𝑠: El cuadrilátero es un polígono
Las proposiciones serán denotadas de cuatro lados.
generalmente con las letras 1
5. 𝑡: El número es un entero.
minúsculas 𝑝, 𝑞, 𝑟, 𝑠, 𝑡, . . . 2

5
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
CONECTORES LÓGICOS
Nombre Lenguaje natural
Los operadores lógicos, conectivos
Conjunción Y, “,”, no… obstante, además, pero, sin
lógicos o conectores lógicos son embargo, aunque, a la vez, también, incluso,
tanto… como, ni, tal como, a pesar, aun cuando,
palabras que permiten juntar o ni… ni, sino, etc.
afectar proposiciones con el fin de Disyunción O, o también, o incluso, bien, ya, entre, sea que,
ya sea, etc.
crear nuevas proposiciones con un Disyunción o... o..., bien... o bien..., ya... ya...,
mayor grado de complejidad. exclusiva
Condicional Si, si… entonces, entonces, es obvio que,
implica, por lo tanto, luego, ya que… entonces,
Los conectivos lógicos tienen su en consecuencia, puesto que, puesto que…
representación matemática que entonces, porque, solo así, cuando, siempre que,
dado que, solo si, etc.
permitirá la representación simbólica Bicondicional Si y solo si, siempre y cuando, es equivalente, es
lo mismo que, etc.
de proposiciones complejas.
Negación No, es falso que, no es cierto que, es absurdo
que, es mentira que, no es verdad que, tampoco,
etc.
6
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
CONJUNCIÓN
La conjunción de 𝑝 y 𝑞 es denotado 𝑝 ∧ 𝑞, Ejemplo:
que se lee como “𝑝 𝑦 𝑞”.
Escribir formalmente la siguiente proposición:
La proposición 𝑝 ∧ 𝑞 es verdadera cuando
𝑟: Llevó lápiz y borrador.
ambos 𝑝 y 𝑞 son verdaderos, y es falsa en
cualquier otro caso. Escribiremos las proposiciones:
𝑝 𝑞 𝑝∧𝑞 𝑝: Llevó lápiz.
𝑉 𝑉 𝑉
𝑞: Llevó borrador.
𝑉 𝐹 𝐹
Entonces
𝐹 𝑉 𝐹
𝑟 =𝑝∧𝑞
𝐹 𝐹 𝐹

7
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
DISYUNCIÓN
La disyunción de 𝑝 y 𝑞 es denotado 𝑝 ∨ 𝑞, Ejemplo:
que se lee como “𝑝 𝑜 𝑞”.
Escribir formalmente la siguiente proposición:
La proposición 𝑝 ∨ 𝑞 es falsa cuando ambos
𝑟: Llevó lápiz o lapicero.
𝑝 y 𝑞 son falsas, y es verdadera en cualquier
otro caso. Escribiremos las proposiciones:
𝑝 𝑞 𝑝∨𝑞 𝑝: Llevó lápiz.
𝑉 𝑉 𝑉
𝑞: Llevó lapicero.
𝑉 𝐹 𝑉
Entonces
𝐹 𝑉 𝑉
𝑟 =𝑝∨𝑞
𝐹 𝐹 𝐹

8
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
DISYUNCIÓN EXCLUSIVA
La disyunción exclusiva o disyunción Ejemplo:
fuerte de 𝑝 y 𝑞 es denotado 𝑝 ⊕ 𝑞, que se
Escribir formalmente la siguiente proposición:
lee como “o 𝑝 𝑜 𝑞”.
𝑟: O llevó lápiz o lapicero.
La proposición 𝑝 ⊕ 𝑞 es verdadera cuando
ambos 𝑝 y 𝑞 tienen valores de verdad Escribiremos las proposiciones:
diferentes, y es falsa en cualquier otro caso.
𝑝: Llevó lápiz.
𝑝 𝑞 𝑝⊕𝑞
𝑞: Llevó lapicero.
𝑉 𝑉 𝐹
𝑉 𝐹 𝑉 Entonces

𝐹 𝑉 𝑉 𝑟 =𝑝⊕𝑞
𝐹 𝐹 𝐹
9
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
CONDICIONAL
La condicional de 𝑝 y 𝑞 es denotado 𝑝 → 𝑞, Ejemplo:
que se lee como “𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞”.
Escribir formalmente la siguiente proposición:
La proposición 𝑝 → 𝑞 es falsa cuando 𝑝 es
𝑟: Estudió entonces aprobó.
verdadera y 𝑞 es falsa, en cualquier otro
caso la condicional es verdadera. Escribiremos las proposiciones:

𝑝 𝑞 𝑝→𝑞 𝑝: Estudió

𝑉 𝑉 𝑉 𝑞: Aprobó.
𝑉 𝐹 𝐹 Entonces
𝐹 𝑉 𝑉 𝑟=𝑝→𝑞
𝐹 𝐹 𝑉
10
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
BICONDICIONAL
La bicondicional de 𝑝 y 𝑞 es denotado Ejemplo:
𝑝 ↔ 𝑞, que se lee como “𝑝 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑞”.
Escribir formalmente la siguiente proposición:
La proposición 𝑝 ↔ 𝑞 es verdadera 𝑟: Fueron al cine si y solo si no llovió.
cuando 𝑝 y 𝑞 tiene el mismo valor, en
cualquier otro caso la condicional es falsa. Escribiremos las proposiciones:

𝑝 𝑞 𝑝↔𝑞 𝑝: Fueron al cine.

𝑉 𝑉 𝑉 𝑞: No llovió.
𝑉 𝐹 𝐹 Entonces
𝐹 𝑉 𝐹 𝑟=𝑝↔𝑞
𝐹 𝐹 𝑉
11
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
NEGACIÓN
La negación de 𝑝 es denotado ∼ 𝑝, que se Ejemplo:
lee como “𝑛𝑜 𝑝”.
Escribir formalmente la siguiente proposición:
La proposición ∼ 𝑝 es verdadera cuando 𝑝
𝑞: No es cierto que llovió.
es falsa y viceversa.
Escribiremos la proposición:

𝑝: Llovió.
𝑝 ∼𝑝
Entonces
𝑉 𝐹
𝐹 𝑉 𝑞 =∼ 𝑝

12
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
TABLA DE VERDAD

Una tabla de verdad es 𝑝 𝑞 𝑟 [(𝑝 ∧ ∼ 𝑞) → ∼ 𝑝] ↔ ∼ 𝑟

representación gráfica que muestra 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹
los valores de verdad de una 𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉
proposición compuesta para cada 𝑉 𝐹 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝑉 𝐹
combinación de verdad que se 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉
puede asignar a las proposiciones, 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹
unidas mediante conectores, que la 𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉
conforman.
𝐹 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹
𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉

13
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA
Una proposición se clasifica como: 𝑝 𝑞 (𝑝 ∧ 𝑞) → 𝑞 𝑝 𝑞 (𝑝 ∧ 𝑞) ∧ ∼ 𝑝
● Tautología: cuando el resultado de su 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹
tabla de verdad es siempre verdad. 𝑉 𝐹 𝐹 𝑉 𝐹 𝑉 𝐹 𝐹 𝐹 𝐹
● Contradicción: cuando el resultado de 𝐹 𝑉 𝐹 𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉
su tabla de verdad es siempre falsedad.
𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉
● Contingencia: cuando el resultado de su
tabla mezcla verdades con falsedades. 𝑝 𝑞 (𝑝 ∧ 𝑞) ↔ 𝑞
Definición: Definiremos dos proposición 𝑉 𝑉 𝑉 𝑉 𝑉
constantes 𝑉 𝐹 𝐹 𝑉 𝐹
𝑽: Proposición tautológica o verdadera 𝐹 𝑉 𝐹 𝐹 𝑉
𝑭: Proposición contradictoria o falsa 𝐹 𝐹 𝐹 𝑉 𝐹
14
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
PROPOSICIONES EQUIVALENTES
𝑝 𝑞 𝑟 [(𝑝 ∧ 𝑞) ∧ 𝑟] ↔ [𝑝 ∧ (𝑞 ∧ 𝑟)]
Dos proposiciones 𝑝 y 𝑞 son
lógicamente equivalentes o, 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
simplemente, equivalentes, si la 𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹
proposición 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹
𝑝↔𝑞 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹
𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉
es una tautología.
𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹
Denotaremos esta situación como 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹
𝑝≡𝑞 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹

15
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
LEYES LÓGICAS

Leyes de identidad Leyes de asociación

𝑝∧𝑉 ≡𝑝
𝑝 ∧ 𝑞 ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)
𝑝∨𝐹 ≡𝑝
𝑝∨𝑞 ∨𝑟 ≡𝑝∨ 𝑞∨𝑟
Leyes de dominación
Leyes de distribución
𝑝∧𝐹 ≡𝐹
𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟
𝑝∨𝑉 ≡𝑉
𝑝∨ 𝑞∧𝑟 ≡ 𝑝∨𝑞 ∧ 𝑝∨𝑟
Leyes de idempotencia
Leyes conmutativas
𝑝∧𝑝≡𝑝
𝑝∧𝑞 ≡𝑞∧𝑝
𝑝∨𝑝≡𝑝
𝑝∨𝑞 ≡𝑞∨𝑝
Doble negación
𝑝↔𝑞≡𝑞↔𝑝
∼ ∼𝑝 ≡𝑝
16
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
LEYES LÓGICAS

Leyes de De Morgan Ley de absorción

∼ 𝑝 ∧ 𝑞 ≡∼ 𝑝 ∨∼ 𝑞 𝑝∧ 𝑝∨𝑞 ≡𝑝
∼ 𝑝 ∨ 𝑞 ≡∼ 𝑝 ∧∼ 𝑞 𝑝∨ 𝑝∧𝑞 ≡𝑝
Ley de la condicional Tercio excluido
𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞 𝑝 ∨∼ 𝑝 ≡ 𝑉
Ley del bicondicional Contradicción
𝑝↔𝑞≡ 𝑝→𝑞 ∧ 𝑞→𝑝 𝑝 ∧∼ 𝑝 ≡ 𝐹
Negación del bicondicional Ley del contrarrecíproco
∼ 𝑝↔𝑞 ≡𝑝⊕𝑞 𝑝→𝑞≡ ∼𝑞 → ∼𝑝
∼ 𝑝↔𝑞 ≡ ∼𝑝 ↔𝑞 Reducción al absurdo
∼ 𝑝↔𝑞 ≡𝑝↔ ∼𝑞 𝑝 → 𝑞 ≡ 𝑝 ∧∼ 𝑞 → 𝐹
17
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
REDUCCIÓN DE PROPOSICIONES

Pruebe la siguiente equivalencia lógica usando leyes lógicas

𝑝 → 𝑞 ∨ 𝑟 ≡ 𝑝 ∧∼ 𝑞 → 𝑟
Solución:

𝑝 → (𝑞 ∨ 𝑟) ≡ ∼ 𝑝 ∨ 𝑞 ∨ 𝑟 Condicional
≡ ∼𝑝∨𝑞 ∨𝑟 Asociativa de ∨
≡ ∼ 𝑝 ∨∼ ∼ 𝑞 ∨ 𝑟 Doble negación
≡ ∼ 𝑝 ∧∼ 𝑞 ∨ 𝑟 De Morgan
≡ 𝑝 ∧∼ 𝑞 → 𝑟 Condicional

Por tanto, la equivalencia queda probada.

18
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
 UNIVERSIDAD NACIONAL
DE CAÑETE
REFERENCIAS BIBLIOGRÁFICAS Código: F-M01.01-VRA-008
Revisión: 02
Fecha de aprobación: 22/03/2022

● Rosen Kenneth (2004). Matemática discreta y sus aplicaciones (Quinta

Edición). España: McGraw-Hill/Interamericana de España, S. A. U.

● Veerarajan, T (2008). Matemáticas discretas con teoría de gráficas y

combinatoria. México: McGraw-Hill/Interamericana.

● Zevallos. (2007). Estructuras Discretas en Computación. Universidad de Lima.

19
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados