LÓGICA PROPOSICIONAL

Luis Fernando Mejía Rodríguez Ph.D

lumejiar@unal.edu.co

UNIVERSIDAD NACIONAL DE COLOMBIA

MATEMÁTICAS BÁSICAS

8 de febrero de 2023
 TABLA DE CONTENIDO

1 Lógica proposicional clásica

2 Proposiciones y tablas de verdad

3 Reglas de ingerencia

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 2 / 21

 Lógica proposicional clásica

LÓGICA PROPOSICIONAL CLÁSICA

Definición:
Una proposición es un enunciado con sentido y del cual se puede decir
que es falso o verdadero sin ambigüedad.

Ejemplos:
1

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 3 / 21

 Lógica proposicional clásica

Definición:
Una proposición compuesta es la combinación de proposiciones
simples junto con los conectores “y”, “o”, “no”, “si entonces” y “si y sólo
si”.

El enunciado “ los libros son blancos y los autos son verdes” se

denomina conjunción y se forma usando el vocablo “ y” entre dos
enunciados simples. Otros vocablos tales como “además ”, “ también”
, “pero ”, “aún ”, “ aunque”,“sin embargo” , “; ” y “ .” se interpretan como
conjunciones. Cuando dos proposiciones se combinan insertando el
vocablo “ o ” se consigue una proposición compuesta denominada
disyunción, esta pude ser de dos tipos, inclusivas y exclusivas.

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 4 / 21

 Lógica proposicional clásica

Símbolo Nombre Observación

∼ Negación No
∨ Disyunción O
∧ Conjunción Y
→ Condicional Si entonces
↔ Bicondicional Si y sólo si
p, q, r , s, · · · símbolos proposicionales No
Cuadro: Conectores

Los cinco símbolos se llaman conectivos lógicos combinando de

manera conveniente estos símbolos y los símbolos proposicionales
obtenemos expresiones que aceptamos sintacticamente, denominadas
fórmulas bien formadas.

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 5 / 21

 Proposiciones y tablas de verdad

TABLAS DE VERDAD

p ∼p
V F
F V

p q p∧q
V V V
V F F
F V F
F F F

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 6 / 21

 Proposiciones y tablas de verdad

p q p∨q
V V V
V F V
F V V
F F F

p q p⊻q
V V F
V F V
F V V
F F F

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 7 / 21

 Proposiciones y tablas de verdad

p q p→q
V V V
V F F
F V V
F F V

p q p↔q
V V V
V F F
F V F
F F V

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 8 / 21

 Proposiciones y tablas de verdad

La proposición p → q (p implica q) se conoce como proposición

condicional, a p se le llama antecedente y a q consecuente. Se
acostumbra con esta implicación decir que p es condición suficiente
para q y que q es condición necesaria para p. También podemos decir
que p es la hipótesis y q la tesis o conclusión, también se dice que p
sigue de q.

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 9 / 21

 Proposiciones y tablas de verdad

Tautología: Una proposición compuesta es una tautología si es

verdadera para todas las asignaciones de valores de verdad de los
símbolos proposicionales que la componen.
Ejemplo:
((p → q) ∧ r ) → (q ∧ r )

p q r p→q (p → q) ∧ r → q∧r

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 10 / 21

 Proposiciones y tablas de verdad

Observe que la tabla de verdad de ∼ (p → q) y (p∧ ∼ q) son

iguales, al unirlas con el conector ↔ diremos que ellas son lógicamente
equivalentes. En términos generales, dos formulas bien formadas α y β
son lógicamente equivalentes cuando tienen la misma tabla de verdad
y estan ligadas por el bicondicional (α ≡ β).
Ejemplo:
∼ (p → q) ↔ (p∧ ∼ q)

p q ∼q p→q ∼ (p → q) ↔ p∧ ∼ q

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 11 / 21

 Proposiciones y tablas de verdad

PROPIEDADES

Conmutativa
p∨q ≡q∨p
p∧q ≡q∧p
Asociativa
p ∨ (q ∨ r ) ≡ (p ∨ q) ∨ r
p ∧ (q ∧ r ) ≡ (p ∧ q) ∧ r
Distributiva
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r )
p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r )
Condicional
p → q ≡∼ p ∨ q

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 12 / 21

 Proposiciones y tablas de verdad

Bicondicional
p ↔ q ≡ (p → q) ∧ (q → p)
Idempotencia
p∨p ≡p
p∧p ≡p
Doble negación
∼ (∼ p) ≡ p
De morgan
∼ (p ∨ q) ≡∼ p∧ ∼ q
∼ (p ∨ q) ≡∼ p∧ ∼ q

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 13 / 21

 Reglas de ingerencia

RAZONAMIENTO E INFERENCIA

Se dice que q es consecuencia lógica de p, si p verdadero implica

q verdadero, o dicho de otra manera p → q es tautología. De
igual manera se dice que q es consecuencia lógica del conjunto de
proposiciones p1 , p2 , · · · , pn (premisas) si

p1 ∧ p2 ∧ · · · ∧ pn → q

es tautología.
Un razonamiento es un conjunto de proposiciones una de las cuales
se denomina conclusión y el resto premisas y del cual se dice que la
conclusión es consecuencia lógica de las premisas.
Se dice que un razonamiento es válido si la conclusión es
consecuencia lógica de las premisas, en caso contrario se dice que
el razonamiento no es válido.

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 14 / 21

 Reglas de ingerencia

Ejemplo:
1

((p → q) ∧ p) → q

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 15 / 21

 Reglas de ingerencia

REGLAS DE INFERENCIA

1 Modus Ponendo Ponens

p→q
p
q

2 Modus Tollendo Tollens

p→q
¬q
¬p
3 Regla de Adjunción
p
q
p∧q
Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 16 / 21
 Reglas de ingerencia

4 Regla de Simplificación

p∧q p∧q
, .
p q

5 Modus Tollendo Ponens

p∨q p∨q
¬p ¬q
,
q p

6 Silogismo hipotetico:
p→q
q→r
.
p→r

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 17 / 21

 Reglas de ingerencia

Ejemplo:
1 determine si el siguiente argumento es valido:

p∨q
∼p
q→s
∴s

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 18 / 21

 Reglas de ingerencia

Ejemplo:
1 determine si el siguiente argumento es valido:

(p ∧ q) → r
(p ∧ q)
∴r

2 Escriba en lenguaje natural el argumento anterior

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 19 / 21

 Bibliografía

BIBLIOGRAFÍA

Pérez, A. R. (2013). Inferencia Lógica. Córdoba, AR: El Cid Editor.

(pp. 40-49).
Villalpando, B. J. F. (2014). Prueba formal de validez. (pp. 34-37).
México, D.F, Larousse - Grupo Editorial Patria.
Zill, D. G.,& Dewar, J. M. (2012). Álgebra, trigonometría y geometría
analítica. McGraw Hill Educación.

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 20 / 21

 Bibliografía

Luis F Mejía (UNAL) Lógica 8 de febrero de 2023 21 / 21