Introducción a la Lógica

Proposicional
Ciclo 2024_1 – Semana_01
Introducción
¿Qué es la Matemática Discreta?
Las matemáticas se pueden dividir aproximadamente en matemáticas discretas (MD) y
matemáticas continuas (MC).
Analogía:
MD es similar a un reloj digital, solo se muestra el tiempo discreto (donde no hay fracción de
segundo).

MC es similar a un reloj analógico que muestra una hora continua.

Introducción
¿Qué es la Matemática Discreta? (MD)
MD trata con números enteros, acertijos, redacción de pruebas e inducción.
MC trata con números reales para modelar fenómenos del mundo real junto con nociones como
continuidad, derivadas, límites, ecuaciones diferenciales, etc.
MC es mayor que MD.
MD apareció en la era de las computadoras y ha sido muy útil en aplicaciones como
programación de aerolíneas, comunicación, sistemas criptográficos, codificación de películas y
canciones, bases de datos, seguridad, redes informáticas, etc.
Introducción
¿Para qué es útil?

Almacenar y manipular en forma discreta:

○ Palabras formadas por “ceros” y “unos”
○ Contar objetos (unidades de memoria, unidades de tiempo)
○ Estudiar relaciones entre conjuntos finitos (búsquedas en bases de datos)
○ Analizar procesos que incluyan un número finito de pasos (algoritmos)
CONTENIDO

❑ Proposición
❑ Conectivos lógicos
❑ Proposición simple y compuesta
❑ Función proposicional. Fórmula lógica. Tabla de verdad
❑ Fórmulas tautológicas, contradictorias y contingentes
❑ Fórmulas lógicamente equivalentes
Proposición

Definición:

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

❑ Una proposición se denota mediante letras minúsculas del alfabeto español.

Generalmente se usan las letras del alfabeto español medio superior: p, q, r . . .
❑ Si la expresión no es un enunciado, es decir si no se afirma ni se niega algo, entonces
no es una proposición.
Proposición
Ejemplo:
▪ p: Lima es la capital del Perú.
V(p) = V
▪ q: 5 + 2 = 8
V(q) = F
V(p): se lee “valor de
▪ r: ¿Cómo estás?
verdad de la proposición p”
(Una pregunta no es una proposición)
▪ s: x + 5 = 3
(ya que “x” no esta especificado, ni verdadero ni falso)
▪ t: Hoy está lloviendo.
(puede ser verdadero o falso)
Proposición
ENUNCIADOS COMPUESTOS
Los enunciados proposicionales más complejos se pueden construir a partir de enunciados
elementales usando conectivos lógicos.

Ejemplo:
p: Llueve fuera
q: Veremos una película

Una nueva proposición (combinada):

Si llueve fuera, entonces veremos una película
Conectivos lógicos

Los conectivos lógicos son palabras del lenguaje español que se utilizan para crear nuevas
proposiciones a partir de proposiciones dadas. Los conectivos lógicos usuales se presentan
en la siguiente tabla:

Nombre del conectivo Palabras que la definen Representación

simbólica
Negación No es cierto que . . . ~...
Conjunción ...y... ... Λ...
Disyunción incluyente ...o... ......
Condicional Si . . . entonces . . . ...→...
Bicondicional . . . si y sólo si . . . ......
Conectivos lógicos

OBSERVACIÓN:
Los conectivos lógicos también tienen otras palabras que las definen. Por ejemplo:

● Negación: ni, nunca, jamás . . .

● Conjunción: pero, sin embargo, más, además . . .

● Condicional: por consiguiente, de manera que, luego, es una condición suficiente . .

● Bicondicional: cuando y solo cuando, es una condición necesaria y suficiente . . .

Proposiciones simples y compuestas

● Una proposición es simple si no contiene ningún conectivo lógico.

● Una proposición es compuesta si contiene, al menos, un conectivo lógico.

Ejemplo 1:

Escriba cada una de las siguientes frases simbólicamente, donde:

p: Hace calor,
q: Hay sol

a) No hace calor, pero hay sol. b) No hace calor ni hay sol

Ejemplo 2:

Supongamos que “x” es un número real particular y sean las proposiciones:

𝒑: 0 < 𝑥 𝒒: 𝑥 < 3 𝒓: 𝑥 = 3
Escriba las siguientes desigualdades simbólicamente:

a) 𝑥 ≤ 3. b) 0<𝑥<3 c) 0<𝑥≤3
Ejercicio 1:

Formalice los siguientes enunciados:

a) No es cierto que no me guste bailar.
Solución:

b) Si los gatos de mi hermana no sueltan tanto pelo, me gustaría acariciarlos.

Solución:
Ejercicio 1:

Formalice los siguientes enunciados:

c) Prefiero ir de vacaciones o quedarme en casa si tengo tiempo para ello y no tengo que
ir a trabajar
Solución:
Ejercicio 2:
Simboliza las siguientes proposiciones, si 𝒑: 𝒗𝒊 𝒍𝒂 𝒑𝒆𝒍í𝒄𝒖𝒍𝒂, 𝒒: 𝒍𝒆í 𝒍𝒂 𝒏𝒐𝒗𝒆𝒍𝒂:

a) No vi la película, pero leí la novela

b) Ni vi la película ni leí la novela

c) No es cierto que vi la película y leí la novela.

d) Vi la película aunque no leí la novela.

Ejercicio 3:

Dadas las proposiciones: 𝒑: 𝑬𝒅𝒈𝒂𝒓 𝒆𝒔 𝒑𝒓𝒐𝒇𝒆𝒔𝒐𝒓, 𝒒: 𝑴𝒂𝒕í𝒂𝒔 𝒆𝒔 𝒊𝒏𝒈𝒆𝒏𝒊𝒆𝒓𝒐, 𝒓: 𝑫𝒂𝒗𝒊𝒅 𝒆𝒔 𝒎é𝒅𝒊𝒄𝒐.

Hallar la expresión simbólica del enunciado:
“Si David es médico, entonces no es cierto que Edgar sea profesor o Matías sea ingeniero”
Ejercicio 4:
Enlaza cada proposición con su formalización:

𝑝: 𝐿𝑙𝑢𝑒𝑣𝑒, 𝑞: 𝐻𝑎𝑐𝑒 𝑠𝑜𝑙, 𝑟: 𝐿𝑎𝑠 𝑏𝑟𝑢𝑗𝑎𝑠 𝑠𝑒 𝑝𝑒𝑖𝑛𝑎𝑛

1 Llueve y hace sol ∼ [(𝑝 ∧ 𝑞) → 𝑟]
2 No es cierto que, si llueve y hace sol entonces las brujas se peinan. 𝑟 ↔ (𝑝 ∧ 𝑞)
3 La brujas se peinan únicamente si llueve y hace sol ~𝑟 → (~𝑝 ∨∼ 𝑞)
4 Cuando las brujas no se peinan, no llueve o no hace sol. 𝑝∧𝑞
5 Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan. (𝑝 ∧ ~𝑟) ∨ (𝑞 ∧∼ 𝑟)
Función proposicional

Una función proposicional es una expresión que afirma o niega algo y cuyo valor de verdad
depende de los valores que pueden tomar las variables contenidas en la expresión.

OBSERVACIONES
● Las funciones proposicionales se denotan en forma parecida a las proposiciones: se
utilizan letras del alfabeto español pero acompañados de paréntesis entre los cuales
se colocan las variables que contienen las funciones proposicionales.

● Las funciones proposicionales pueden combinarse usando conectivos lógicos para

crear nuevas funciones proposicionales.
Fórmulas lógicas

Una fórmula lógica se denota mediante una letra mayúscula del alfabeto español
y se definen en forma recurrente mediante las siguientes reglas:

a. Una variable proposicional es una fórmula lógica.

b. Si A es una fórmula lógica entonces ~A también es una fórmula lógica.
c. Si A y B son fórmulas lógicas entonces A  B; A  B; A → B; A  B también
son fórmulas lógicas.
d. Una combinación de variables proposicionales y de conectivos lógicos es una
fórmula lógica si y sólo si se sigue de un número finito de aplicaciones de las
reglas anteriores.
Tablas de verdad

Son tablas de doble entrada que se utilizan para asignarle un valor de verdad a
una fórmula lógica conforme a una adecuada combinación de valores de verdad
asociadas a las variables proposicionales. Generalmente se identifica la tabla de
verdad con los valores de verdad que aparecen en su columna principal.

El número de filas de una tabla de verdad se obtiene mediante la fórmula 𝟐𝒏 ,

siendo “n” el número de variables proposicionales diferentes, contenidos en la
fórmula lógica.
Tablas de verdad

Las tablas de verdad de los conectivos lógicos usuales se presentan a

continuación:

p q ~𝒑 𝒑∧𝒒 𝒑∨𝒒 𝒑→𝒒 𝒑↔𝒒

V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V
Tablas de verdad

Tabla de verdad para disyunción exclusiva p ⊕ 𝑞 𝑜 𝑝 𝑋𝑂𝑅 𝑞

𝑝 ⊕ 𝑞 = 𝑝 ∨ 𝑞 ∧ ∼ (𝑝 ∧ 𝑞)

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
Ejemplo 1:

Construya la tabla de verdad para la siguiente fórmula lógica: 𝑝 ∧ 𝑞 ∨ ∼ 𝑟

Solución:
Existen 3 variables proposicionales: p, q, r; por tanto la tabla tiene 23 = 8 filas
p q r 𝒑∧𝒒 ∨ ∼𝒓
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
(1) (3) (2)
Ejemplo 2:

Construya la tabla de verdad para la siguiente fórmula lógica: 𝒑 ⟷ ~𝒒 ∨ (𝒑 ∨ ~𝒒)

Solución:
Existen 2 variables proposicionales: p, q; por tanto la tabla tiene 22 = 4 filas

𝒑 𝒒 𝒑 ↔ ~𝒒 ∨ 𝒑∨∼𝒒
V V
V F
F V
F F
(1) (3) (2)
 Ejercicio 1:

Construya la tabla de verdad para el siguiente fórmula lógica: 𝒑 → ~𝒒 ∨ ∼ 𝒓

Solución:

𝒑 𝒒 𝒓 𝑝 →∼ 𝑞 ∨ ∼𝑟
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
 Ejercicio 2:

Construya la tabla de verdad para el siguiente fórmula lógica: ∼ 𝒒 ⟷ 𝒓 ∧ (𝒑 ∨ ∼ 𝒓)

Solución:
Fórmulas tautológicas/Contradicción/Contingencia

● Una fórmula lógica es una tautología si y solo si su tabla de verdad en la columna

principal solamente contiene valores de verdad verdaderos, sin importar los valores de
verdad asignadas a las variables proposicionales.

● En cambio, una fórmula lógica es una falsedad (o contradicción) si solamente

contiene valores de verdad falsos en su columna principal.

● Si la fórmula lógica no es tautología ni contradicción es una contingencia.

Ejemplo 1

Determinar si la siguiente fórmula lógica es una tautología, contradicción o contingencia.

∼ 𝑝 ∧ 𝑞 → ∼ 𝑟 ↔ [𝑟 ∧∼ 𝑝 ∨∼ 𝑞 ]
𝒑 𝒒 𝒓 ∼𝑝∧𝑞 → ∼𝑟 ↔ 𝑟 ∧∼ 𝑝 ∨∼ 𝑞 𝑝 ∨∼ 𝑞
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Es una contradicción
Ejemplo 2:

Determinar si la siguiente fórmula lógica es una tautología, contradicción o contingencia.

𝑝 ∨ (𝑞 →∼ 𝑟) ∧ [(∼ 𝑝 ∨ 𝑟) ↔ ~𝑞]
𝒑 𝒒 𝒓 𝑞 → ~𝑟 𝑝 ∨ (𝑞 →∼ 𝑟) ∧ ∼𝑝∨𝑟 (∼ 𝑝 ∨ 𝑟) ↔ ~𝑞
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Es una contingencia
Ejemplo 3:
Se tiene las siguientes frases:
𝑝: 𝐽𝑢𝑎𝑛 𝑒𝑠 𝑓𝑒𝑙𝑖𝑧 𝑞: 𝐴𝑛𝑎 𝑒𝑠 𝑓𝑒𝑙𝑖𝑧

a) Escriba la fórmula lógica del siguiente enunciado

“Si no es cierto que Juan y Ana sean felices, entonces o Juan no es feliz o Ana no es feliz”.

Solución:

b) ¿Es una tautología?

Solución:
Fórmulas lógicamente equivalentes

● Dos fórmulas lógicas A y B son lógicamente equivalentes si al combinarlas mediante

una bicondicional se obtiene una fórmula tautológica.
● Se denota por 𝐴 ≡ 𝐵, que se lee: la fórmula A es lógicamente equivalente con la
fórmula B.
● En el caso que no se obtenga una tautología se escribirá𝐴 ≢ 𝐵, que se lee: la fórmula
A no es equivalente con la fórmula B.
● En el caso que las fórmulas lógicas tengan las mismas variables serán lógicamente
equivalentes si tienen las mismas tablas de verdad.
Ejemplo 1:
Consideremos la expresión: 𝑨: 𝑝 ∨ (∼ 𝑝 ∧ 𝑞) 𝐵: 𝑝 ∨ 𝑞
¿Son lógicamente equivalentes A y B?

Solución:
Resumimos en una tabla de verdad:

p q ∼𝒑 ∼𝒑∧𝒒 𝒑 ∨ (∼ 𝒑 ∧ 𝒒) 𝒑 ∨ (∼ 𝒑 ∧ 𝒒) ↔ 𝒑∨𝒒
V V
V F
F V
F F
(1) (2) (3)
TAUTOLOGÍA
Ejemplo 2:
Demuestre que las siguientes fórmulas lógicas son equivalentes:
𝑝∧𝑟 ∨𝑞, 𝑝∨𝑞 ∧ 𝑟∨𝑞
Solución:
p q r 𝑝∧𝑟 ∨𝑞 ⟺ 𝑝∨𝑞 ∧ 𝑟∨𝑞
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
(1) (2) (3)
TAUTOLOGÍA
Ejemplo 3:
Demuestre que las siguientes fórmulas lógicas son equivalentes:
𝑝 ∧ 𝑟, 𝑝→𝑟
Solución:
p r 𝑝∧𝑟 ⟺ 𝑝→𝑟
V V
V F
F V
F F
(1) (2) (3)

CONTINGENCIA
 LEYES LÓGICAS
(Equivalencias lógicas notables)

Sean las variables proposicionales p, q, r una tautología T y una contradicción C, las

siguientes equivalencias lógicas se mantienen.

1. Conmutatividad 𝑝∧𝑞 ≡𝑞 ∧𝑝 𝑝∨𝑞 ≡𝑞 ∨𝑝

2. Asociatividad (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟) (𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
3. Distributiva 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟) 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ 𝑝 ∨ 𝑞 ∧ (𝑝 ∨ 𝑟)
4. Identidad 𝑝∧𝑇 ≡𝑝 𝑝∨𝐶 ≡𝑝
5. Negación 𝑝 ∨∼ 𝑝 ≡ 𝑇 𝑝 ∧∼ 𝑝 ≡ 𝐶
6. Doble Negación ∼ (∼ 𝑝) ≡ 𝑝
7. Idempotencia 𝑝∧𝑝≡𝑝 𝑝∨𝑝≡𝑝
8. Límite Universal 𝑝∨𝑇 ≡𝑇 𝑝∧𝐶 ≡𝐶
9. De Morgan ∼ (𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞 ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞
10. Absorción 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
11. Def. implicación 𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
12. Def. co-implicación 𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
¿Cómo escribir proposiciones equivalentes?

Para escribir proposiciones equivalentes en lenguaje español se puede proceder del

siguiente modo:

1. Se escribe la fórmula lógica que le corresponde a la proposición compuesta.

2. Se determinan fórmulas lógicas equivalentes a las obtenidas (usar las leyes lógicas)
3. Se traslada al lenguaje español cada una de las fórmulas equivalentes (un lenguaje
español entendible).
¿Cómo escribir proposiciones equivalentes?

Al momento de escribir la fórmula lógica que le corresponda a una proposición compuesta

se deben tomar en cuenta las siguientes indicaciones:

❑ En cada proposición compuesta se comienza por asignar la letra p a la primera

proposición simple que aparezca, luego la q y así sucesivamente. En caso que la
proposición simple esté negada se la simboliza de manera afirmativa.
❑ Si la proposición compuesta tiene más de tres proposiciones simples, el conectivo
principal estará señalado por los signos de puntuación que deben aparecer.
❑ La frase “no es cierto que” afecta a todas las proposiciones que se encuentran
después de ella hasta el primer signo de puntuación que aparezca.
Ejemplo 1:

Para cada una de las siguientes proposiciones escriba en lenguaje español al

menos dos proposiciones equivalentes.

a) Si Ana es alumna de Psicología en la Universidad de Lima, entonces no

estudia Cálculo I y no estudia Física I.

Solución:

Variables proposicionales
p:
q:
r:
Ejemplo 1:

Simbolización

Fórmulas Equivalentes

Lenguaje español
Ejemplo 2:

b) No es cierto que Elisa estudia Derecho y Psicología en la Universidad de Lima.

Solución:

Variables proposicionales
p:
q:
Ejemplo 2:

Simbolización

Fórmulas Equivalentes

Lenguaje español
Ejercicio

Alex no ingresó a la Universidad de Lima por Examen de Admisión y Tania ingresó

a la Universidad de Lima por su Centro Pre-Universitario.
Ejercicio

Alex no ingresó a la Universidad de Lima por Examen de Admisión y Tania ingresó

a la Universidad de Lima por su Centro Pre-Universitario.

Variables proposicionales
p:
q:

Simbolización
Ejercicio

Alex no ingresó a la Universidad de Lima por Examen de Admisión y Tania ingresó

a la Universidad de Lima por su Centro Pre-Universitario.

Fórmulas Equivalentes

Lenguaje español