U1S1 - Lógica Proposicional

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
DE CAÑETE
MATEMÁTICA DISCRETA Revisión: 02
La Matemática Discreta es la parte de la

Reales (ℝ)
matemática cuyo objeto de estudio son los conjuntos
discretos (conjuntos finitos y numerables)
Ejemplo de conjuntos discretos:
● Números naturales
● Números enteros Irracionales (𝕀)
● Números racionales
● Grafos
● Árboles
● Proposiciones lógicas
2
DE CAÑETE
LÓGICA PROPOSICIONAL Revisión: 02
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
utilizando conectivos lógicos y
razonamientos, para establecer leyes
cuantificadores.
y principios válidos para obtener
criterios de verdad. 𝑝
𝑝 → 𝑞
_____________
∴𝑞
3
DE CAÑETE
ENUNCIADO Revisión: 02
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
DE CAÑETE
PROPOSICIÓN LÓGICA Revisión: 02
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
DE CAÑETE
CONECTORES LÓGICOS Revisión: 02
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
DE CAÑETE
CONJUNCIÓN Revisión: 02
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
DE CAÑETE
DISYUNCIÓN Revisión: 02
La disyunción de 𝑝 y 𝑞 es denotado 𝑝 ∨ 𝑞, Ejemplo:

que se lee como “𝑝 𝑜 𝑞”.
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
DE CAÑETE
DISYUNCIÓN EXCLUSIVA Revisión: 02
La disyunción exclusiva o disyunción Ejemplo:

fuerte de 𝑝 y 𝑞 es denotado 𝑝 ⊕ 𝑞, que se
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
DE CAÑETE
CONDICIONAL Revisión: 02
La condicional de 𝑝 y 𝑞 es denotado 𝑝 → 𝑞, Ejemplo:

que se lee como “𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞”.
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
DE CAÑETE
BICONDICIONAL Revisión: 02
La bicondicional de 𝑝 y 𝑞 es denotado Ejemplo:

𝑝 ↔ 𝑞, que se lee como “𝑝 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑞”.
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
DE CAÑETE
NEGACIÓN Revisión: 02
La negación de 𝑝 es denotado ∼ 𝑝, que se Ejemplo:

lee como “𝑛𝑜 𝑝”.
La proposición ∼ 𝑝 es verdadera cuando 𝑝
𝑞: No es cierto que llovió.
es falsa y viceversa.
Escribiremos la proposición:
𝑝: Llovió.
𝑝 ∼𝑝
Entonces
𝑉 𝐹
𝐹 𝑉 𝑞 =∼ 𝑝
12
DE CAÑETE
TABLA DE VERDAD Revisión: 02
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
DE CAÑETE
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA Revisión: 02
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
DE CAÑETE
PROPOSICIONES EQUIVALENTES Revisión: 02
Dos proposiciones 𝑝 y 𝑞 son 𝑝 𝑞 𝑟 [(𝑝 ∧ 𝑞) ∧ 𝑟] ↔ [𝑝 ∧ (𝑞 ∧ 𝑟)]

lógicamente equivalentes o, 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
simplemente, equivalentes, si la 𝑉 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹
proposición 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹
𝑝↔𝑞 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹
𝐹 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝑉
es una tautología.
𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹
Denotaremos esta situación como 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹
𝑝≡𝑞 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹
15
DE CAÑETE
LEYES LÓGICAS Revisión: 02
Leyes de identidad Leyes de asociación

𝑝∧𝑉 ≡𝑝
𝑝 ∧ 𝑞 ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)
𝑝∨𝐹 ≡𝑝
𝑝∨𝑞 ∨𝑟 ≡𝑝∨ 𝑞∨𝑟
Leyes de dominación
Leyes de distribución
𝑝∧𝐹 ≡𝐹
𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟
𝑝∨𝑉 ≡𝑉
𝑝∨ 𝑞∧𝑟 ≡ 𝑝∨𝑞 ∧ 𝑝∨𝑟
Leyes de idempotencia
Leyes conmutativas
𝑝∧𝑝≡𝑝
𝑝∧𝑞 ≡𝑞∧𝑝
𝑝∨𝑝≡𝑝
𝑝∨𝑞 ≡𝑞∨𝑝
Doble negación
𝑝↔𝑞≡𝑞↔𝑝
∼ ∼𝑝 ≡𝑝
16
DE CAÑETE
LEYES LÓGICAS Revisión: 02
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
DE CAÑETE
REDUCCIÓN DE PROPOSICIONES Revisión: 02
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
DE CAÑETE
REFERENCIAS BIBLIOGRÁFICAS Código: F-M01.01-VRA-008
Revisión: 02
● Epp, Susanna (2012). Matemáticas discretas con aplicaciones (Cuarta Edición). México:
Cengage Learning Editores, S. A. de C.V.
● Grimaldi, P. Ralph (1998). Matemáticas discretas y combinatoria: una introducción con

aplicaciones (Tercera Edición). México: Addison-Wesley Longman Pearson Education.
● Johnsonbaugh, Richard (2005). Matemáticas discretas (Sexta Edición). México: Prentice-Hall

Hispanoamericana, S. A.
● Rosen Kenneth (2004). Matemática discreta y sus aplicaciones (Quinta Edición). España:
McGraw-Hill/Interamericana de España, S. A. U.
● Seymour, Lipschutz - Marc, Lipson (2004). 2000 problemas resueltos de Matemática discreta
(Primera Edición). España: McGraw-Hill/Interamericana.
19

U1S1 - Lógica Proposicional

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

U1S1 - Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL

La Matemática Discreta es la parte de la

Ejemplo de conjuntos discretos:

● Números enteros Irracionales (𝕀)

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

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

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

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

Una proposición es un enunciado 1. 𝑝: La selección peruana clasificó

Nombre Lenguaje natural

La conjunción de 𝑝 y 𝑞 es denotado 𝑝 ∧ 𝑞, Ejemplo:

La disyunción de 𝑝 y 𝑞 es denotado 𝑝 ∨ 𝑞, Ejemplo:

La disyunción exclusiva o disyunción Ejemplo:

La condicional de 𝑝 y 𝑞 es denotado 𝑝 → 𝑞, Ejemplo:

La bicondicional de 𝑝 y 𝑞 es denotado Ejemplo:

𝑝 𝑞 𝑝↔𝑞 𝑝: Fueron al cine.

La negación de 𝑝 es denotado ∼ 𝑝, que se Ejemplo:

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

Una proposición se clasifica como: 𝑝 𝑞 (𝑝 ∧ 𝑞) → 𝑞 𝑝 𝑞 (𝑝 ∧ 𝑞) ∧ ∼ 𝑝

Dos proposiciones 𝑝 y 𝑞 son 𝑝 𝑞 𝑟 [(𝑝 ∧ 𝑞) ∧ 𝑟] ↔ [𝑝 ∧ (𝑞 ∧ 𝑟)]

Leyes de identidad Leyes de asociación

Leyes de De Morgan Ley de absorción

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

Por tanto, la equivalencia queda probada.

● Grimaldi, P. Ralph (1998). Matemáticas discretas y combinatoria: una introducción con

● Johnsonbaugh, Richard (2005). Matemáticas discretas (Sexta Edición). México: Prentice-Hall

También podría gustarte