Lógica proposicional

Andrés Mauricio Bravo Palacios

Corporación Universitaria Iberoamericana

Facultad de Ingeniería
Matemáticas Discretas
septiembre 2021
Lógica proposicional: conectivos lógicos, tablas de verdad, forma normal conjuntiva y disyuntiva

1. Escribir los enunciados siguientes usando p, q y conectivos lógicos.

a. Estamos bajo cero y nieva.

p∧q
b. Estamos bajo cero y no nieva.
p∧￢q
c. No estamos bajo cero y no nieva.
￢p∧￢q
d. Bien estamos bajo cero o bien nieva o ambas cosas.
p∨q
e. Estamos bajo cero o nieva, pero no nieva si estamos bajo cero.
(p∨q)∧(q→￢p)
f. Si estamos bajo cero, entonces también nieva.
p→q
g. Que estemos bajo cero es necesario y suficiente para que nieve.
p↔q

2. Sean p y q los enunciados

p: compré un billete de lotería esta semana.
q: gané el premio de un millón de euros del viernes.
Exprese cada una de las siguientes formulas en lenguaje natural.
a. ¬𝑝 = No compré un billete de lotería esta semana.

b. 𝑝⋀𝑞 = Compré un billete de lotería esta semana y gané el premio de un millón de

euros del viernes

c. ¬𝑝⋀¬𝑞 = No compré un billete de lotería esta semana y no gané el premio de un

millón de euros del viernes

d. ¬𝑝→¬𝑞 = No compré un billete de lotería esta semana entonces no gané el premio de

un millón de euros del viernes

d. e. ¬𝑝⋁ (𝑝⋀𝑞) = No compré un billete de lotería esta semana o bien Compro un billete
de lotería esta semana y gano el premio de un millón de euros del viernes

3. Si p → q es una forma proposicional falsa, determine el valor de verdad de:

a. ¬(¬𝑝↔𝑞) → (𝑝→¬𝑞)
b. ¬(¬𝑝⋁𝑞)↔¬(𝑝↔¬𝑞)
c. (¬𝑝→𝑞)⋀ ¬(𝑝⋁𝑞)
RTA: Si p → q es F entonces p es V y q es F (la única asignación que hace la implicación F).
Así que solo es suficiente evaluar las formas para esta asignación.

(a) p q ¬ (¬p ↔ q) → (p → ¬q)

VF F F V F V V V V
(b) p q ¬ (¬p ∨ q) ↔ ¬ (p ↔ ¬q)
VFV F F F F F V V V
(c) Se tiene la siguiente equivalencia independientemente de la asignación a p y q:
(¬p → q) ∧ ¬(p ∨ q) ⇔ (p ∨ q) ∧ ¬(p ∨ q) ⇔ F

4. Verifique las siguientes equivalencias usando las propiedades conocidas.

a. (𝑝⋁𝑞)→𝑟↔(𝑝→𝑟)⋀ (𝑞→𝑟)

(p ∨ q) → r ⇔ ¬(p ∨ q) ∨ r equivalencia de →
⇔ (¬p ∧ ¬q) ∨ r ley de de Morgan
⇔ (¬p ∨ r) ∧ (¬q ∨ r) distributividad
⇔ (p → r) ∧ (q → r) equivalencia de →

b. 𝑝→(𝑞⋁𝑟)↔(𝑝→𝑞)⋁r

p → (q ∨ r) ⇔ ¬p ∨ (q ∨ r) equivalencia de →
⇔ (¬p ∨ q) ∨ r asociatividad de ∨
⇔ (p → q) ∨ r equivalencia de →

5. Muestre que cualquier conectivo binario se puede implementar usando solo el

conectivo no-y y solo el conectivo no-o. Indique por qué no es posible implementar
cualquier conectivo binario usando solo los conectivos ∧ y ∨.

RTA: Todos los conectivos posibles se pueden implementar usando ∧, ∨ y ¬ por medio de
la forma normal disyuntiva, o de la forma normal conjuntiva. O incluso usando s´olo ∧ y ¬,
o solo ∨ y ¬ por medio de las leyes de Morgan:

p ∧ q = ¬(¬p ∨ ¬q), y p ∨ q = ¬(¬p ∧ ¬q).

Veamos que ∧, ∨ y ¬ se pueden implementar usando solo ↑:

¬p = ¬(p ∧ p) = p ↑ p
p ∧ q = ¬(¬(p ∧ q)) = ¬(p ↑ q) = (p ↑ q) ↑ (p ↑ q)
p ∨ q = ¬(¬(p ∨ q)) = ¬(¬p ∧ ¬q) = ¬((p ↑ p) ∧ (q ↑ q)) = (p ↑ p) ↑ (q ↑ q)

donde se ha usado la expresión para ¬p en las otras dos. Y usando solo ↓:

¬p = ¬(p ∨ p) = p ↓ p
p ∨ q = ¬(¬(p ∨ q)) = ¬(p ↓ q) = (p ↓ q) ↓ (p ↓ q)
p ∧ q = ¬(¬(p ∧ q)) = ¬(¬p ∨ ¬q) = ¬((p ↓ p) ∨ (q ↓ q)) = (p ↓ p) ↓ (q ↓ q)
En cuanto a la segunda pregunta, observe que el resultado de ∧ y ∨ cuando los valores de
las variables son V y V es también V. Por lo tanto, un conectivo binario cuyo valor es F
cuando sus variables son V y V no puede ser implementado por alguna combinación de ∧ y
∨.

6. Verifique la siguiente implicación lógica a partir de una tabla de verdad y sabiendo que
la implicación debe ser una tautología.

(𝑝→𝑞), (𝑝⋀𝑞)→𝑟↔(𝑝→𝑟)

RTA: Verificamos que la tabla de verdad de la implicación correspondiente es una

tautología. En particular, se debe tener que siempre que las premisas son V, la
conclusión es V (esto ocurre en las líneas 1, 5, 6, 7, 8):

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

V VV V V V V V V
V VF V F V F V F
V FV F F F V V V
V FF F F F V V F
F VV V V F V V V
F VF V V F V V V
F F V V V F V V V
F F F V V F V V V