LÓGICA PROPOSICIONAL
Prof. Mauricio Chipana Zenteno
Proposiciones y valores de verdad
Las expresiones siguientes: (V)
✓ 9 es divisible por 5 (F) (F)
(F)
✓ 6 es un número entero y par (V)
(F)
✓ Miguel Grau sufrió úlcera estomacal (?)
(?)
✓ ¿A qué hora saldremos de casa? NP
(?)
✓ ¡Auxilio! NP
(V)
✓ 𝑥 + 3 > 7 (?)
Finalmente, expresiones que no son proposiciones:
✓ Pregunta: ¿Quién se ha comido mi torta?
✓ Orden: ¡Di la verdad!
✓ Opinión: Yo pienso que la presidenta es una usurpadora
✓ Ecuación: 𝑥 3 + 5𝑥𝑦 − 3𝑦 2 + 4𝑦 3 = 7
¿Proposición? Enunciado declarativo que se caracterizan por tener un único valor de
verdad (sea este verdadero o falso) de carácter universal.
Proposiciones y Conectores Lógicos
En las expresiones siguientes: Conector Símbolo
✓ O soy sincero o soy mentiroso. o o Δ
✓ Iré a la fi esta, si y sólo si, termino con mis deberes escolares. Si y sólo si ↔
✓ Es bueno respetar y querer a nuestros semejantes. y ∧
✓ Si me esfuerzo en mis estudios, entonces tendré más oportunidad
Si .... entonces →
de triunfar en la vida.
✓ Algunas personas son extrovertidas o introvertidas. o ∨
✓ Fumar no es bueno para la salud no ∼
¿Conectores Lógicos? Todas aquellas palabras o frases (tales como: no, no es verdad que, además,
pero, si, sin embargo, por lo tanto, si y sólo si, entre otras) mediante las cuales
se pueden crear nuevas proposiciones a partir de proposiciones ya existentes.
Los conectores lógicos son seis: Negación, Conjunción, Disyunción
Inclusiva, Disyunción Exclusiva, Condicional y Bicondicional.
Clases de Proposiciones
Proposición simple: Son aquellas proposiciones que carecen de
conectores lógicos.
O atómica
Luciano es primo de Cecilia.
América es el continente más poblado del mundo.
Los gatos son mamíferos
Proposición Compuesta: Son aquellas proposiciones que contienen al menos
un conector lógico.
O molecular
Lima no es la capital de Argentina.
Si Juan es esposo de Ana, entonces Víctor es concuñado de Jorge.
Saturno tiene 4 satélites o Marte no es más grande que Venus.
Variables Proposicionales
Son las letras mediante las cuales se representan a las proposiciones
simples; por lo general, se utilizan las letras: 𝑝, 𝑞, 𝑟, 𝑠, 𝑡, …
Símbolos auxiliares: En lógica se utilizan paréntesis, corchetes y llaves para agrupar
ordenadamente las proposiciones.
Operaciones Lógicas y Tablas de Verdad
Negador: ~ó¬
Ejemplo: 𝑝: 13 es un número primo. 𝑉
Su negación: ~𝑝: No es cierto que 13 es un número primo. 𝐹
Tienen valores de verdad opuestos
TABLA DE VERDAD
Conjuntor: ∧
Ejemplo: 𝑝: Roxana comió pescado.
𝑞: Roxana se indigestó.
La proposición quedaría: 𝑝 ∧ 𝑞: Roxana comió pescado y se indigestó
TABLA DE VERDAD El valor de verdad de una conjunción será dado por los valores de verdad de
las proposiciones que la componen y de acuerdo a la siguiente tabla:
Disyuntor: ∨
Ejemplo: 𝑝: 4 es menor que 7.
𝑞: 4 es igual a 7.
La proposición quedaría: 𝑝 ∨ 𝑞: 4 es menor que 7 o igual a 7.
TABLA DE VERDAD El valor de verdad de una disyunción inclusiva será dado por los valores de
verdad de las proposiciones que la componen y de acuerdo a la siguiente tabla:
Disyuntor Exclusivo: ∆
Ejemplo: 𝑝: La persona del frente es varón
𝑞: La persona del frente es mujer
La proposición quedaría: 𝑝∆𝑞: O la persona del frente es varón o mujer
TABLA DE VERDAD Vincula dos proposiciones mediante el conectivo lógico: "o ......, o ........"
Condicional: →
Ejemplo: 𝑝: Fumo cigarrillos (antecedente)
𝑞: Aumenta mi presión arterial (consecuente)
La proposición quedaría: 𝑝 → 𝑞: Si fumo un cigarro, entonces me aumenta la presión arterial
TABLA DE VERDAD A partir de lo anterior consideraremos que una condicional sólo es falsa si tiene
antecedente verdadero y consecuente falso, la tabla es:
Bicondicional: ↔
Ejemplo: 𝑝: Luisa retira sus ahorros en el Banco.
𝑞: Luisa compra un departamento.
La proposición quedaría: 𝑝 ↔ 𝑞: Luisa retira sus ahorros en el banco si y solo si compra un departamento
TABLA DE VERDAD La conectiva BICONDICIONAL, sólo es verdadera si las dos proposiciones unidas
tienen el mismo valor de verdad, es decir, son ambas verdaderas o falsas:
RESUMEN
𝑝 𝑞 ~𝒑 ~𝒒 𝒑∧𝒒 𝒑∨𝒒 𝒑∆𝒒 𝒑→𝒒 𝒑↔𝒒
V V F F V V F V V
V F F V F V V F F
F V V F F V V V F
F F V V F F F V V
Ejemplo: Evalúa mediante tabla de verdad el siguiente esquema molecular: 𝑞 → 𝑝 ∧∼ 𝑝 ↔ ~ 𝑝 ∨∼ 𝑞
𝒑 𝒒 𝒒 → 𝒑 ∧ ∼𝒑 ↔ ~ 𝒑 ∨ ∼𝒒
V V V F F V F V V F
V F V F F V F V V V
F V F F V F V F F F
F F V V V F F F V V Es una contingencia
CASOS:
Es Tautológico: Cuando en la columna del conectivo central, todos son verdades (V), es decir,
siempre es verdad para cualquiera de las combinaciones de valores de verdad.
Es Contradicción: Cuando en la columna del conectivo central, todos son falsos (F); es decir,
siempre es falsa para cualquiera de las combinaciones de valores de verdad.
Es Contingencia: Cuando en la columna del conectivo central, son verdades (V) y falsos (F), es
decir, no es tautología ni contradicción.
Es Tautológico Es Contradicción Es Contingencia
Problema resuelto
Evaluar el siguiente esquema molecular y diga cuántas verdades A) 2
tiene el resultado: ~𝑝 → ~ 𝑞 ∧ 𝑟 ∆ 𝑟 → ~𝑞 ∨ 𝑝 B) 5
C) 6
SOLUCIÓN: El esquema molecular tiene 3 proposiciones D) 7
simples: 𝑝, 𝑞 y 𝑟, luego 23 = 8 𝑐𝑜𝑚𝑏𝑖𝑛𝑎𝑐𝑖𝑜𝑛𝑒𝑠 E) Ninguna
𝒑 𝑞 𝒓 ~𝒑 → ~ 𝒒 ∧ 𝒓 ∆ 𝒓 → ~𝒒 ∨ 𝒑
V V V F V F V F V F F V V
V V F F V V F F F V F V V
V F V F V V F F V V V V V
V F F F V V F F F V V V V
F V V V F F V F V F F F F
F V F V V V F F F V F V F
F F V V V V F F V V V V F
F F F V V V F F F V V V F Es una contradicción
Leyes del Álgebra Proposicional
Son equivalencias lógicas que nos permiten reducir esquemas
moleculares complejos y expresarlos en forma más sencilla. Las
demostraciones de dichas leyes se hacen construyendo la tabla
de verdad en cada caso.
CIRCUITOS LÓGICOS
Leyes Lógicas
Leyes Lógicas
Ejemplo de aplicación de Leyes Lógicas
Ejemplo típico
Si “𝑠” es verdadera y la proposición: ~ 𝑝 → 𝑞 ↔ ~𝑞 ∧ 𝑠 ∨ 𝑟 ∧ 𝑠 es
falsa, hallar los valores de verdad de 𝑝, 𝑞 y 𝑟.
SOLUCIÓN: En la forma abreviada
F
F
~ 𝑝 → 𝑞 ↔ ~𝑞 ∧ 𝑠 ∨ 𝑟∧𝑠 :F
F
F F V V F V
V V
V≡F F
Ejercicios propuestos
Ejercicios propuestos
