Lógica proposicional

Ing. Ind. Eva Novotny Castro

La parte más importante de la educación del hombre es aquella que él mismo se da. Walter Scott((1771-1832)
Escritor británico.
 Sumario

• Concepto de lógica
• Proposiciones
• Operadores lógicos
 ¿Qué es lógica?

Coherente

Sentido Validez

Lógica Es la ciencia que estudia la validez

de un argumento o de una
proposición.
 ¿Qué es una proposición?
• Toda proposición es un enunciado.

Enunciado • No todo enunciado es una proposición.

Razonamiento Argumento

La lógica proposicional se interesa

Proposición
en los enunciados que se les pueda
asignar un valor de verdadero o
falso.
 Proposiciones

• Espero ingresar a la carrera de Ingeniería Química.

• ¿Cuál es tu nombre?
• Mi nombre es Hugo
• Katmandú es la capital de Nepal.
• 𝑥2 + 4 = 0 Bandera de Nepal
• −12 + 1 = 0
• ¡Ojala llueva!
• Cállate y compórtate.
• Él es un escritor de éxito

Las primeras letras del alfabeto

español en minúsculas se usan
para denotar a las proposiciones Ejercicios
 Tipos de proposiciones

Simples o atómicas Implica una sola proposición • Vivo en Guayaquil (p)

• Estoy feliz (q)
• Juego football.
• Estudio Matemática

Compuestas o Vivo en
Vivo en
Guayaquil
Estoy feliz
moleculares Guayaquil y estoy
feliz

Juego
Estudio football o
Juego
matemáti estudio
football
ca matemáti
ca
 Valor de verdad de una proposición

El valor de verdad de una proposición es la cualidad de veracidad que describe

adecuadamente la proposición. Este puede ser Verdadero o Falso

El valor de verdadero se lo asocia con: 1, V, T o True, mientras que el valor falso se

lo asocia con: 0, F, False, cualquiera de ellas se pudiera utilizar, pero usaremos la que
el libro de texto privilegia, el uso de 0 y 1.

Las tablas de verdad sirven para mostrar los valores, las relaciones y
los resultados posibles al realizar operaciones lógicas.
 Tablas de verdad

a a b a b c
La cantidad de filas de la
1 1 1 1 1 1
tabla de verdad, depende de la
0 1 0 1 1 0 cantidad de proposiciones
0 1 1 0 1 presentes en la expresión
0 0 1 0 0 lógica.
0 1 1
0 1 0
0 0 1
0 0 0

Cantidad de filas = 𝟐𝒏 donde n es la cantidad de proposiciones

simples.
 Operadores lógicos

En lenguaje común usamos frecuentemente proposiciones compuestas,

no tan simples o elementales, como por ejemplo.

• No hice el deber de matemáticas.

• Fui al banco y estaba cerrado.
• Tengo una moneda de 5 centavos o una de diez centavos.
• El auto de Juan o es azul o es negro.
• Si me gano la lotería, entonces me compro una casa.
• Estudio en la ESPOL si y solo si me esfuerzo.

A estas palabras que conectan las proposiciones las denominamos operadores

lógicos
 Negación

• No
Se presenta con los términos • No es vedad que
• No es cierto que

El símbolo que se utiliza es ¬ 𝑜 𝑡𝑎𝑚𝑏𝑖é𝑛 ~

Al ubicar estas posibilidades en una tabla de verdad quedaría

El operador negación cambia el valor de verdad de una proposición
 Conjunción

• Este operador lo usamos para unir proposiciones con la y

• Se traduce con el símbolo ⋀ en el lenguaje formal

Ejemplo
 Conjunción

Por lo tanto, la tabla de verdad para la conjunción sería:

 Disyunción inclusiva
La disyunción inclusiva aparece cuando el conector o une dos proposiciones. Se traduce formalmente
con el símbolo ∨. Consideremos las proposiciones anteriores, para el siguiente ejemplo:

La tabla de verdad
para este conector
sería:
 Disyunción exclusiva

El término para la disyunción exclusiva en lenguaje común sería o….o. Así también como el
término o bien …o bien. El símbolo que se usa para identificarla en lenguaje formal es ∆ o

Él está o bien en Quito o bien en Guayaquil

 Condicional
Es el conector lógico más importante. Llamado también implicación. Se representa
cuando enlazamos dos proposiciones a y b de la siguiente forma: ´´Si a entonces b´´
Simbólicamente se traduce como 𝑎 → 𝑏. En este caso a la proposición a se le
llama antecedente mientras que a b se le llama consecuente.
Otros términos gramaticales con los que podemos
relacionar la condicional son:

La condicional es falsa sólo cuando el antecedente es

verdadero y el consecuente falso
 Condicional

Relacionadas a la
condicional, surgen las
nociones de condición
necesaria y condición
suficiente.

Un paralelogramo con un
ángulo recto es una condición
necesaria y suficiente para que
sea un rectángulo.

En base a este ejemplo, nos podemos preguntar: ¿cuándo se

quebrantará la promesa de Juan? Esto será únicamente cuando Juan
gane el concurso y no done el dinero.
 Bicondicional
El símbolo empleado es ↔. Que al enlazar dos proposiciones sería 𝑎 ↔ 𝑏
leyéndose ´´a si y solo si b´´ significa (𝑎 → 𝑏) ∧ (𝑏 → 𝑎)

p: Un triángulo es equilátero
q: Un triángulo es equiángulo

Su tabla de verdad sería

Un triángulo es equilátero si y solo si es equiángulo.
Un triángulo es equilátero si y solo si no es equiángulo.
Un triángulo no es equilátero si y solo si es equiángulo.
Un triángulo no es equilátero si y solo no es equiángulo.
 Traducción del lenguaje común al lenguaje formal
1. Es falso que si usted ve un gato negro entonces tendrá mala suerte.
1. Establezco mis proposiciones P: Usted ve un gato negro.
q: Usted tendrá mala suerte.
Siempre se comenzarán por los conectores de menor jerarquía, en
2. Formalización
este caso la frase ´´Es falso que´´ está negando a toda la
proposición por lo tanto empiezo con el si que es de menor
jerarquía.
´´Si usted ve un gato negro entonces tendrá mala suerte´´ es una condicional por lo
tanto se formalizará como sigue 𝑝 → 𝑞 después

Es falso que…= ~(𝑝 → 𝑞)

 Traducción del lenguaje común al lenguaje formal
2. Eres ingeniero o matemático, pero no eres matemático. Por lo tanto eres ingeniero.

p: Eres ingeniero.
1. Establezco mis proposiciones
q: Eres matemático.

Al leer detenidamente nos damos cuenta que el conector de mayor

jerarquía es ´´Por lo tanto´´ puesto que evidencia la conclusión de
2. Formalización
la proposición compuesta. Entonces lo dejamos para el final y
empezamos con los otros conectores que tienen menor jerarquía

Eres ingeniero o matemático: (𝑝 𝑞)

…, pero no eres matemático: ∧ ~𝑞 [ 𝑝 𝑞 ⋀~𝑞 → 𝑝

…Por lo tanto eres ingeniero: → 𝑝

 Traducción del lenguaje común al lenguaje formal
3. Si tú eres inteligente y no actúas con prudencia, eres un ignorante en la
material.
m: Tú eres inteligente.
a. Establezco mis proposiciones
n: Tú actúas con prudencia.
P : Tú eres un ignorante.

b. Formalización (𝑚 ∧ ¬𝑛) → 𝑝

4. Hoy es jueves y tengo que dar un examen, pero si hay huelga, entonces no voy a la
universidad.
a: Hoy es jueves.
a. Establezco mis proposiciones b: Tengo que dar un examen.
c: Hay huelga.
b. Formalización (𝑎 ∧ 𝑏) ∧ 𝑐 → ¬𝑑
d: Voy a la universidad.
 Ejercicios resueltos
p ~𝒑
1. Sea la proposición, No es cierto que Juan sea maestro. 1 0
a. Haga la tabla de verdad correspondiente.
0 1
2. Sea la proposición, Juan es futbolista y Ana es voleibolista.
a. Haga la tabla de verdad correspondiente.
p q 𝒑⋀𝒒
1 1 1
1 0 0
0 1 0 p q 𝒑 𝒒
0 0 0 1 1 1
1 0 1
3. Sea la proposición: Miguel es profesor o Miguel es 0 1 1
ingeniero.
0 0 0
a. Haga la tabla de verdad correspondiente.
 Ejercicios resueltos

p q 𝒑→𝒒
4. Sea la proposición, Si Carla estudia entonces ingresará a la universidad.
1 1 1
a. Haga la tabla de verdad correspondiente.
1 0 0
p q 𝒑↔𝒒
5. Sea la proposición, Carla irá a la fiesta si 0 1 1
1 1 1
y solo si tiene amigas. 0 0 1
1 0 0
a. Haga la tabla de verdad
correspondiente. 0 1 0
0 0 1

p q 𝒑∆𝒒
6. Sea la proposición, O bien Juan juega 1 1 0
o bien juan estudia .
1 0 1
a. Haga la tabla de verdad Resumen
correspondiente. 0 1 1
0 0 0
 Ejercicio resuelto

7. Halla el valor de verdad de la siguiente proposición ~(𝑝 𝑞)

p q ~ (p ∨ q)
1 1 0 1 1 1
1 0 0 1 1 0
0 1 0 0 1 1
0 0 1 0 0 0

• Cuando los valores de verdad del operador principal son todos verdad estamos en
presencia de una tautología.
• Cuando los valores de verdad del operador principal son todos falsos diremos que
estamos en presencia de una contradicción.
• Cuando los valores de verdad del operador principal son falsos y verdaderos
diremos que estamos en presencia de una contingencia.
 Ejercicio resuelto

8. Sean las proposiciones simples • Primero lo traducimos al lenguaje formal

p: Los triángulos tienen tres vértices
q: Los números impares son primos ~𝑝 → ~𝑝
a. Haga la tabla de verdad correspondiente a
la proposición compuesta ´´Los triángulos no
tienen 3 vértices, entonces los números
impares no son primos´´

p q ~ p → ~ q
1 1 0 1 1 0 1
1 0 0 1 1 1 0
0 1 1 0 0 0 1
0 0 1 0 1 1 0
 Ejercicio resuelto

9. Determinar el valor de verdad de la siguiente proposición compuesta

(𝑝 → 𝑞) ~(𝑞 ↔ 𝑝) • Primero se resuelven los paréntesis.

p q (𝒑 → 𝒒) ~ (𝒒 ↔ p)
1 1 1 1 1 1 0 1 1 1
1 0 1 0 0 1 1 0 0 1
0 1 0 1 1 1 1 1 0 0
0 0 0 1 0 1 0 0 1 0
 Ejercicio resuelto

10. Determinar el valor de verdad de la siguiente proposición compuesta

(𝑝 𝑞) → (𝑞⋀~𝑝)
Primero se hacen los paréntesis.

p q (𝒑 𝒒) → (𝒒 ⋀ ~ 𝒑)
1 1 1 1 1 0 1 0 0 1
1 0 1 1 0 0 0 0 0 1
0 1 0 1 1 1 1 1 1 0
0 0 0 0 0 1 0 0 1 0
 Ejercicios resueltos

11. Construye la tabla de verdad de la proposición ~ 𝑝 → ~𝑟 ⋀ ~𝑞 (~𝑝∆𝑞)

p q r [~ (𝒑 → ~𝒓) ⋀ ~𝒒] (~𝒑 ∆ 𝒒)
1 1 1 1 1 0 0 0 0 1 0 1 1
1 1 0 0 1 1 1 0 0 1 0 1 1
1 0 1 1 1 0 0 1 1 1 0 0 0
1 0 0 0 1 1 1 0 1 0 0 0 0
0 1 1 0 0 1 0 0 0 0 1 0 1
0 1 0 0 0 1 1 0 0 0 1 0 1
0 0 1 0 0 1 0 0 1 1 1 1 0
0 0 0 0 0 1 1 0 1 1 1 1 0
2 1 4 3 5
 Ejercicios propuestos

1. Determine el valor de verdad de la proposición siguiente: (𝑝 𝑞) ↔ (𝑝 ⋀ 𝑞)

2. Determine el valor de verdad de la proposición siguiente: (𝑝 → 𝑞) ∨ (𝑝 → 𝑞)

3. Determine el valor de verdad de la proposición siguiente: (𝑝 𝑞) → ~ 𝑝)

4. Determine el valor de verdad de la proposición siguiente: (𝑝 → 𝑞) ∧ (~ 𝑝 ∨ 𝑞)

5. Determine el valor de verdad de la proposición siguiente: ~(𝑝 → 𝑞) ↔ (𝑝 → 𝑞)

6. Determine el valor de verdad de la proposición siguiente: (𝑝 ∨ 𝑞) ∧ (~𝑝 ∨ ~𝑞)

7. Determine el valor de verdad de la proposición siguiente: (~𝑝 ∨ 𝑞) → (𝑟 ∧ 𝑝)

 Ejercicios propuestos
8-Bajo la suposición de que los valores de verdad de las proposiciones a, b, c, d simples son
respectivamente,0, 0, 1, 1 indique el valor de verdad de cada una de las siguientes
proposiciones compuestas:

a) ¬(𝑎 𝑏) → (𝑐 ⋀ ¬𝑑)

b) ¬ 𝒄 ↔ 𝒂 ∆(𝒃 ∧ 𝒅)

9. Determine el valor de verdad de las proposiciones a, b, c si la proposición compuesta

𝒂 ⋀ ¬𝒃 → 𝒄 𝑒𝑠 𝐹𝑎𝑙𝑠𝑎.

-10. Si sabemos que la siguiente proposición compuesta es falsa determine los valores
de verdad de p, q, r, s.
𝒑 → ¬𝒒 (¬𝒓 → 𝒔)
 Ejercicios propuestos
11. Si la proposición 𝑝 → ¬𝑞 (¬𝑟 → 𝑠) es falsa. Halle el valor de verdad de los
siguientes esquemas moleculares.
a) 𝑝 → 𝑞 ∨ (¬𝑟 → 𝑠)
b) ∼ 𝑟 ∨ 𝑞 → [(¬𝑞 ∨ 𝑟) ∧ 𝑠]
c) (∼ 𝑝 ∧∽ 𝑞) ∨∼ 𝑞
12. Hallar el valor de verdad de la siguiente expresión:
1 2 1 3
−3 = 9 ∨ 16 = 4 → [( > ∆ 2 = ) ↔ (−3 ≻ −199) ∧ 16 = 24 ]
2 −1
5 3 2

13. Para la proposición molecular siguiente, suponga que 𝑎 ≡ 1, 𝑏 ≡ 0, 𝑐 ≡ 1, diga

su valor de verdad. 𝑎 ∨ 𝑏 ∧∼ 𝑐 → (𝑎 ∧ 𝑏)
 Formas proposicionales

Son estructuras constituidas por variables proposicionales y los operadores lógicos

que las relacionan. Se representan con las letras mayúsculas del alfabeto español.
 Formas proposicionales
Ejemplo: Mañana es miércoles o mañana es jueves. Mañana no es jueves. Por lo tanto mañana es
miércoles.
Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa.
Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas entonces, entonces la conclusión
también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este
argumento no se debe al significado de las expresiones mañana es miércoles y mañana es jueves, porque estas
pudiesen remplazarse por otras y el argumento permanecer válido
Implicación lógica

En este caso se escribe

 Inferencia lógica

Se llama inferencia lógica o argumento lógico a toda condicional de la forma:

(𝑝1 , 𝑝2 ,∧ ⋯ 𝑝𝑘 ) → 𝑞 donde las proposiciones 𝑝1 , 𝑝2 , … 𝑝𝑘 son llamadas
premisas, y originan como consecuencia otra proposición denotada por q
llamada conclusión.
𝑝1 𝑝2
Si gano las elecciones bajaré el precio de los combustibles. Bajaré el precio de los
combustibles si los electores votan por mí. Los electores no votaron por mi. Por lo tanto no
bajaré el precio de los combustibles.
𝑝3
𝑞

(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ) → 𝑞
 Inferencia lógica. Continuación
p: Gano las elecciones. 𝑝→𝑞

q: Bajaré el precio de los combustibles.

Establezco las
proposiciones: r: Los electores votan por mí. 𝑟→𝑞

Los electores no votaron por mí ¬𝑟

No bajaré los precios de los combustibles ¬𝑞

Validemos esta inferencia lógica con una tabla de valores.

𝑝 → 𝑞 ∧ 𝑟 → 𝑞 ∧ ¬𝑟 → ¬𝑞
 Inferencia lógica. Continuación
𝒑 𝒒 𝒓 [(𝒑 → 𝒒) ∧ (𝒓 → 𝒒) ∧ ¬𝒓] → ¬𝒒

1 1 1 1 1 1 1 1 1 1 0 0 1 0
1 1 0 1 1 1 1 0 1 1 1 1 0 0
1 0 1 1 0 0 0 1 0 0 0 0 1 1
1 0 0 1 0 0 0 0 1 0 0 1 1 1
0 1 1 0 1 1 1 1 1 1 0 0 1 0
0 1 0 0 1 1 1 0 1 1 1 1 0 0
0 0 1 0 1 0 0 1 0 0 0 0 1 1
0 0 0 0 1 0 1 0 1 0 1 1 1 1
Como en la columna de la conclusión observamos una contingencia, concluimos que el
argumentto no es válido.
 Equivalencia lógica

Dos proposiciones son equivalentes siempre que tengan el mismo valor de verdad
Determine si las proposiciones siguientes son equivalentes.
𝑝 → 𝑟 ∨ (𝑞 → 𝑟) ↔ (𝑝 ∧ 𝑞 ) → 𝑟

Habrá que hacer las tablas de verdad de las proposiciones por separado y
luego que verificar que son idénticas.

Su símbolo es ≡ y se lee es equivalente a

 Jerarquía de conectores

Es importante distinguirla puesto que es la que determina el valor de verdad.

𝒑 ↔ (𝒓 → 𝒔) ↔
¬(𝑝 → (𝑞 ∨ 𝑟) ¬
¬𝑝 ∨ (𝑝 ∧ 𝑝 → 𝑞 ) ∨
¬((𝑝 ∧ 𝑞) ∧ ¬ (𝑝 ∧ 𝑞) El primer ¬
(((𝑝 → 𝑞) ∧ 𝑝) → 𝑞) ∧ 𝑝 El segundo ∧
 Taller de lógica proposicional
1. Dada la proposición compuesta:
Tomo agua o cola solo si saciaré mi sed, pero no saciaré mi sed si tomo helado.
a. Tradúzcala al lenguaje formal.
2. Dada la proposición compuesta:
Si voy al cine me divierto. No me divierto. Luego no voy al cine.
a. a. Tradúzcala al lenguaje formal.
3. Dada la proposición compuesta:
a. Tradúzcala al lenguaje formal.
Si el perro salta sobre el gato, entonces se cae. Por lo tanto, si el perro no se cae, entonces
no salta sobre el gato.

4. Dada la proposición compuesta: Si Pedro resuelve correctamente el examen, aprobará

a. Tradúzcala al lenguaje formal. Matemáticas. Pedro no resuelve correctamente el
examen. Por lo tanto, Pedro no aprueba matemáticas
 Taller de lógica proposicional

5. Dada la proposición compuesta: Estudio en la UG, y, si studio en la UG soy

a. Tradúzcala al lenguaje formal. feliz. Entonces soy feliz

Hacer la tabla de verdad de todas las formas proposicionales anteriores.

6. Dada la proposición compuesta: Si retiro dinero del banco, compro un carro o una
a. Tradúzcala al lenguaje formal. casa.

6. Dada la proposición compuesta: Si me voy a casa, me voy de compras y si no

a. Tradúzcala al lenguaje formal. me voy a casa, entonces voy al cine.

7. Dada la proposición compuesta: Si se es estudioso o dedicado, entonces se

a. Tradúzcala al lenguaje formal. aprueba el preuniversitario.
 Taller de lógica proposicional
8. Dada la proposición compuesta: Si aumenta la producción, aumentan los
a. Tradúzcala al lenguaje formal. ingresos, si aumentan los ingresos, se recupera
la inversión. Por lo tanto, si aumenta la
producción, se recupera la inversión.

9. Dada la proposición compuesta: Si soy estudioso, aprobaré el curso, si soy fiestero, no

a. Tradúzcala al lenguaje formal. aprobaré el curso. Por lo tanto, no puedo ser
estudioso y fiestero al mismo tiempo.
Taller de lógica proposicional
Taller de lógica proposicional
Taller de lógica proposicional
Si la proposición ¬ 𝑑 ∨ 𝑒 ∨ [(𝑎 ∧ ¬𝑏) → 𝑑] es falsa entonces es verdad que:

a. 𝑏∨𝑎 ≡0
b. ¬𝑒 ∨ ¬𝑑 ≡ 0
c. 𝑑∨𝑎 ≡0
d. 𝑒→𝑎≡0
e. 𝑎→𝑏≡0