UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

Lógica Proposicional

CONTENIDO

Unidad 2: LÓGICA Y ALGORITMOS

2.1 Lógica proposicional
▪ Introducción
▪ Lógica y proposición
▪ Operadores lógicos
▪ Tipos de proposición
▪ Tabla de verdad
▪ Clases de fórmulas lógicas
▪ Equivalencias

Profesores MA265 1
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

Lógica

Introducción

Los primeros grandes tratados de lógica fueron escritos por el

filósofo griego Aristóteles. Eran un conjunto de reglas para el
razonamiento deductivo que estaban destinadas a servir de base
para el estudio de todas las ramas del conocimiento. En el siglo
XVII, el filósofo y matemático alemán Gottfried Leibniz concibió
la idea de utilizar símbolos para mecanizar el proceso del
razonamiento deductivo de la misma manera que la notación
algebraica había mecanizado el proceso de razonamiento de los
números y sus relaciones. La idea de Leibniz se concretó en el
siglo XIX por los matemáticos ingleses George Boole y Augustus
De Morgan, quienes fundaron el moderno tema de la lógica
simbólica. Con investigación continúa hasta nuestros días, la
lógica simbólica ha proporcionado, entre otras cosas, la base teórica para muchas áreas de la
ciencia computacional, tales como el diseño de circuitos lógicos digitales, la teoría de base
de datos relacionales, la teoría de autómatas y la computabilidad y la inteligencia artificial.

Lógica
Es la disciplina que trata de los métodos de razonamiento. En un nivel elemental, la Lógica
proporciona reglas y técnicas para determinar si es o no válido un argumento.

Proposición
Es una oración que declara que algo es verdadero o falso. Una proposición se expresa como
una oración declarativa y no como pregunta, orden, exclamación, etc.

Notación

Para representar a las proposiciones en Lógica se emplean las letras 𝑝, 𝑞, 𝑟, etc., llamadas
variables propositivas (o proposicionales).

Profesores MA265 2
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

Operadores Lógicos
Son expresiones o símbolos que se utilizan para crear nuevas proposiciones a partir de
proposiciones dadas.

Nombre del Palabra que la

Símbolo
Operador define

Negación No es cierto que ~

Conjunción ... y ... 

Disyunción ... o ... 

Condicional Si ... entonces ... →

Bicondicional ... si y solo si ... 

Tipos de proposiciones
Proposición Simple: Cuando es su definición no aparece operador lógico alguno.

Ejemplo:
1. Raúl y Marcos son muy buenos amigos
2. El menor número natural es uno.

Proposición Compuesta: Cuando en su definición aparece al menos un operador

lógico.

Ejemplo:
1. El menor número entero no es cero
2. El numero 21 es impar pero no primo.

Fórmula Lógica: Es una combinación adecuada de variables propositivas y

operadores lógicos.

Ejemplo:
• [𝑝 ⟶ (𝑞 ∧ 𝑟)]
• (𝑝 ∨∼ 𝑞) ⟷ (∼ 𝑟 ∨ 𝑠)
• 𝑝 ≡ El elemento 21 es impar. Y 𝑞 ≡ El elemento 21 es primo.
Entonces 𝑝 ∧ 𝑞 ≡ El numero 21 es impar pero no primo

Profesores MA265 3
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

Tabla de verdad

𝒑 𝒒 ~𝒑 𝒑∧𝒒 𝒑∨𝒒 𝒑⟶𝒒 𝒑⟷𝒒

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

Ejemplo 1
Considere las proposiciones siguientes:

a. El agua y el aceite no se pueden mezclar.

b. Es falso que el agua y el aceite no se pueden mezclar.
c. El agua y el aceite se mezclan.
• b. y c. son, cada una, la negación de a.
• Puesto que a. es verdadera, b. y c. son falsas

Ejemplo 2
Considere las proposiciones siguientes:
a. 2 + 3 = 7
b. Es falso que 2 + 3 = 7
c. 2 + 3 ≠ 7
• b. y c. son, cada una, la negación de a.
• puesto que a. es falsa, b. y c. son verdaderas.

Clases de fórmulas lógicas

• Tautología: Una fórmula lógica es una
tautología si su tabla de verdad
solamente contiene valores de verdad
VERDADEROS.

• Contradicción o Falacia: Una

fórmula lógica es una
contradicción si su tabla de

Profesores MA265 4
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

verdad solamente contiene valores de verdad FALSOS.

• Contingencia: Una fórmula lógica es una contingencia si no es una tautología ni una

contradicción.

Equivalencias
Sean p y q fórmulas lógicas con las mismas variables proposicionales. p y q son equivalentes
si tienen la misma tabla de verdad y en tal caso se denota por p  q.

Algunas equivalencias notables:

• p → q  ~p  q
• p  q  (p → q)  (q → p)
• Leyes de De Morgan:
~(p  q)  ~p  ~q
~(p  q)  ~p  ~q
• ~(~p)  p
• ~( p → q)  p  ~q
• ~( p  q)  [(p  ~q)  (q  ~p)]

Profesores MA265 5
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

EJERCICIOS PROPUESTOS
1. Identifique cuál o cuáles de los siguientes enunciados es una proposición lógica.
Justifique su respuesta.
• 2+4<5
• x ∈ N, 12 − x = 15
• La temperatura promedio en la superficie de Marte es 800 °F
• Mañana tendremos un sismo de 4 grados en la escala de Mercalli
• La Tierra es el único planeta en el universo que tiene vida
• hoy es un día caluroso
• El mes de febrero tiene 29 días
• 5<8−2
2. Determine la tabla de verdad de la siguiente proposición e indique su tipo:
[(𝑝 ∧ 𝑞) ∧ 𝑟] → [(𝑝 ∧ 𝑞) ∨∼ 𝑟]
3. Determine la tabla de verdad de la siguiente proposición e indique su tipo:
[𝑝 ∧ (𝑞 ∨ 𝑟)] → [𝑟 ∨ (𝑞 ∨ 𝑝)]
4. Determine la tabla de verdad de la siguiente proposición e indique su tipo:
[(𝑝 → 𝑞) ∧∼ 𝑟] ∨ [(∼ 𝑝 ↔ 𝑞) ∨ 𝑟]
5. Determine la tabla de verdad de la siguiente proposición e indique su tipo:
[𝑝 → (∼ 𝑞 ∨ 𝑟)] ↔ [∼ 𝑟 ∨ (𝑞 → ~𝑝)]
6. Si 𝑝 ↔ 𝑠 ≡ 𝑉 y (𝑝 ∧ 𝑟) → 𝑡 ≡ 𝐹, determine el valor de verdad de:
(𝑠 ∨ 𝑚) → [(∼ 𝑝 ∧ 𝑛) ∨ (𝑟 ↔ 𝑡)]
Donde m y n son variables proposicionales.
7. Si (~𝑝 ↔ 𝑟) → [(𝑟 → 𝑠) ∨ 𝑞] ≡ 𝐹, determine el valor de verdad de:
(𝑞 ∧ 𝑛) ↔ [(𝑟 ↔ 𝑠) ∨ (𝑝 → 𝑚)]
Donde m y n son variables proposicionales.
8. Dada la proposición p y las variables proposicionales q, r, s y t, tales que:
• p: Todo estudiante de la UPC tiene por lo menos un hermano
• [(𝑟 ↔ 𝑠) → (~𝑝 ∧ 𝑞)] ↔ [(𝑝 ∧ ~𝑟) ∧ (~𝑠 → 𝑡)] ≡ 𝑉
Determine el valor de verdad de: [(~𝑠 ∧ 𝑞) ↔ (𝑡 ∧ (𝑠 ∧ 𝑝))] → [~𝑞 ∨ 𝑝]
9. Si 𝑝, 𝑞, 𝑥, 𝑦, 𝑧 y 𝑡 son proposiciones lógicas tal que cumplen las condiciones que 𝑝 ↔ 𝑞
es falsa, ~𝑥 → 𝑦 es verdadera. Indica el valor de verdad de las siguientes proposiciones,
justifica tu respuesta.
a. 𝑧 → ~𝑝 ∨ ~𝑞
b. 𝑝 ↔ ~𝑞
c. (~𝑥 ∧ ~𝑦) → 𝑡

Profesores MA265 6
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

10. Dadas las variables proposicionales 𝑝, 𝑞, 𝑟, 𝑠, 𝑡. Se sabe que:

[(𝑟 ↔ 𝑠) → (∽ 𝑝 ∧ 𝑞)] ↔ [(𝑞 ∨∽ 𝑟) ∧ (∼ 𝑠 → 𝑡)]
es verdadera y que: [p ∨∼ p] ∧ [(q →∼ r) ∨ (r ↔∼ s)] es falsa. Determine el valor de
verdad de: [(∼ 𝑠 → 𝑞) ↔ (𝑡 ∧ (𝑠 ∧∼ 𝑞))] → [∼ 𝑞 ∨ 𝑝].

11. Si la proposición ∼ [(∼ 𝑝˅𝑞)˅(𝑟 → 𝑞)] ∧ [(∼ 𝑝˅𝑞) → (𝑞 ∧∼ 𝑝)] es verdadera, halle el
valor de verdad de:
a. [(∼ 𝑝 ∨ 𝑟)˅(𝑞 → 𝑝)] ∧ [(𝑞 ∧ ∼ 𝑟)]
b. [(𝑥 → 𝑞)˅(𝑡 ˅ 𝑤)] → [𝑝 →∼ 𝑟]

12. Si 𝑝 ↔ 𝑠 ≡ 𝐹 y (𝑝 ∧ 𝑟) → ∼ 𝑡 ≡ 𝐹, determine el valor de verdad de:

(𝑡 ∨ 𝑚) → [(∼ 𝑝 ∧ 𝑛) ∨ (𝑠 ↔ 𝑡)]. Donde m y n son variables proposicionales.

13. Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de:

a) [ (𝑝 ∧ ∼ 𝑞) ∨ ∼ 𝑟] → 𝑞
b) [ (∼ 𝑟 ∨ 𝑞) ∧ (𝑟 ∨ ∼ 𝑝)] ↔ ∼ 𝑟
c) [ (∼ 𝑝 → 𝑞) → ∼ 𝑟] ∨ [ ∼ 𝑞 → 𝑟]

RESPUESTAS DE LOS EJERCICIOS PROPUESTOS

1. Respuestas
2+4<5 Proposición
x ∈ N, 12 − x = 15 No es proposición
La temperatura promedio en la superficie de Marte es 800 °F Proposición
Mañana tendremos un sismo de 4 grados No es proposición
La Tierra es el único planeta en el universo que tiene vida No es proposición
hoy es un día caluroso No es proposición
El mes de febrero tiene 29 días No es proposición
5<8−2 Proposición

2. Tautología, ver la tabla de verdad, columna Prop.2 en el cuadro siguiente:

3. Tautología, ver la tabla de verdad, columna Prop.3 en el cuadro siguiente:
4. Tautología, ver la tabla de verdad, columna Prop.4 en el cuadro siguiente:
5. Contingencia, ver la tabla de verdad, columna Prop.5 en el cuadro siguiente:
Tabla de verdad: de los ejercicios 2, 3, 4 y 5
p q r Prop. 2 Prop. 3 Prop. 4 Prop. 5
V V V V V V F

Profesores MA265 7
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

V V F V V V F
V F V V V V V
V F F V V V V
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V

6. Falso
7. Falso
8. Verdadero
9. De 𝑝 ↔ 𝑞 ≡ 𝐹, tenemos dos posibilidades (𝑝 ≡ 𝑉 ∧ 𝑞 ≡ 𝐹) o (𝑝 ≡ 𝐹 ∧ 𝑞 ≡ 𝑉). Por
otro lado, se tiene que cumplir que ~𝑥 → 𝑦 ≡ 𝑉, por equivalencia se tiene que 𝑥 ∨ 𝑦 ≡
𝑉
a) Verdad, pues: ~𝑝 ∨ ~𝑞 ≡ 𝑉, para ambas posibilidades, entonces 𝑧 → 𝑉 ≡ 𝑉
b) Verdad, pues: 𝑝 ↔ ~𝑞 ≡ 𝑉 , para ambas posibilidades.
c) Verdad, Si negamos 𝑥 ∨ 𝑦 ≡ 𝑉, tenemos que: ~𝑥 ∧ ~𝑦 ≡ 𝐹, entonces 𝐹 → 𝑡 ≡ 𝑉.

10. Dadas las variables proposicionales 𝑝, 𝑞, 𝑟, 𝑠, 𝑡. Se sabe que:

[p ∨∼ p] ∧ [(q →∼ r) ∨ (r ↔∼ s)] ≡ 𝐹 , Note que [p ∨∼ p] ≡ 𝑉 , por ende se tiene que
[(q →∼ r) ∨ (r ↔∼ s)] ≡ 𝐹
Luego se tiene que (q →∼ r) ≡ 𝐹 y (r ↔∼ s) ≡ 𝐹, de la primera parte se deduce qué ,
q≡ 𝑉 y que r≡ 𝑉, de la segunda parte se deduce como r es Verdad, entonces ∼ s≡ 𝑉, lo
que significa que s≡ 𝐹. Ahora nos falta encontrar el valor de verdad de p y t. De la
segunda expresión booleana, tenemos lo siguiente:

[(𝑟 ↔ 𝑠) → (∽ 𝑝 ∧ 𝑞)] ↔ [(𝑞 ∨∽ 𝑟) ∧ (∼ 𝑠 → 𝑡)] ≡ 𝑉

[p ∨∼ p] ∧ [(q →∼ r) ∨ (r ↔∼ s)] es falsa. Determine el valor de verdad de: [(∼ 𝑠 →

𝑞) ↔ (𝑡 ∧ (𝑠 ∧∼ 𝑞))] → [∼ 𝑞 ∨ 𝑝].

11. Note que: [(∼ 𝑝˅𝑞)˅(𝑟 → 𝑞)] ∨ [(∼ 𝑝˅𝑞) → (𝑞 ∧∼ 𝑝)] ≡ 𝐹, entonces:
[(∼ 𝑝˅𝑞)˅(𝑟 → 𝑞)] ≡ 𝐹 y [(∼ 𝑝˅𝑞) → (𝑞 ∧∼ 𝑝)] ≡ 𝐹. Omitimos el análisis en la
segunda equivalencia, debido a que hay múltiples respuestas. En la primera equivalencia,
puede deducir fácilmente que: (∼ 𝑝˅𝑞) ≡ 𝐹 y (𝑟 → 𝑞) ≡ 𝐹. De ahí deducimos
fácilmente que: 𝑝 ≡ 𝑉, 𝑞 ≡ 𝐹, 𝑟 ≡ 𝑉. Por esta razón tenemos que:
a) Falso. evalúe en cada proposición compuesta.
b) Falso, evalúe en cada proposición compuesta.

Profesores MA265 8
UPC – Departamento de Ciencias – MATEMÁTICA DISCRETA (MA265)

12. (𝑡 ∨ 𝑚) → [(∼ 𝑝 ∧ 𝑛) ∨ (𝑠 ↔ 𝑡)]. ≅ 𝐹.

13.
d) [ (𝑝 ∧ ∼ 𝑞) ∨ ∼ 𝑟] → 𝑞 ≅ 𝐹
e) [ (∼ 𝑟 ∨ 𝑞) ∧ (𝑟 ∨ ∼ 𝑝)] ↔ ∼ 𝑟 ≅ 𝑉
f) [ (∼ 𝑝 → 𝑞) → ∼ 𝑟] ∨ [ ∼ 𝑞 → 𝑟] ≅ 𝑉

BIBLIOGRAFÍA

• EPP, S. (2012). Matemática discreta con aplicaciones. México DF, México: Cengage
Learning. (https://n9.cl/uqq6) Revisar páginas desde 23 hasta 63.

Profesores MA265 9