Universidad Nacional de Ingenierı́a Ciclo 2022-2

Facultad de Ingenierı́a Industrial y de Sistemas Setiembre, 2022

BMA01U: Cálculo Diferencial

Ejercicios de lógica proposicional

1. Determinar si M → N es una tautologı́a, donde

M = {(∼ p ∨ q) ∧ (∼ q ∨ p)} ↔ {[q →∼ r] ∧ [(q → r) ∧ (q → (t ∨ r))]}

N = {(∼ s → (∼ s ∧ p)) ∨ (∼ p ∧ s)} ∨ {(∼ p → s) ∧ [(∼ p → (r ∨ s))]}

2. Simplificar (p ↔∼ q)△{[∼ r →∼ (p△ ∼ q)] ∧ [r →∼ (p△ ∼ q)]}

3. En un interrogatorio, un agente del Servicio Nacional de Inteligencia sabe que exactamente uno de
cuatro funcionarios es un espı́a, vendiendo información clasificada a intereses extranjeros. En el inte-
rrogatorio, la declaración de cada funcionario es la siguiente:

Funcionario A: ”El funcionario C es el espı́a”.

Funcionario B: ”Yo no soy el espı́a”.

Funcionario C: ”El funcionario A miente”.

Funcionario D: ”El funcionario A es el espı́a”.

a) Si el agente sabe que exactamente un funcionario está diciendo la verdad y el resto miente, ¿quién
es el espı́a?

b) Si el agente sabe que exactamente un funcionario está mintiendo y el resto dice la verdad, ¿quién
es el espı́a?

4. Cuando Carlos volvió a casa encontró su moto malograda. Él deduce que el o los culpables de dicha
acción están entre sus 3 hermanos. Cuando los interroga, Javier dice: si Gabriel no malogró tu moto,
entonces Fernando tampoco. Además, Fernando le dice: yo malogré tu moto con uno de nuestros
hermanos. Sin embargo, Gabriel prefirió no hablar. Responda en cada caso.

a) Si solo Gabriel ha malogrado la moto, ¿alguien miente?

b) Si se sabe que Javier y Fernando dicen la verdad, ¿quién o quiénes de ellos han malogrado la moto
y quién o quiénes no?

c) Si se sabe que Javier y Fernando mienten, ¿quién o quiénes de ellos han malogrado la moto y
quién o quiénes no?
 5. Sean p, q y r tres proposiciones simples. Determine si la proposición:

[p → (q ∧ r) ↔ [(p → q) ∧ (p → r)]]

es una tautologı́a.

6. Sean p, q y r tres proposiciones simples. Complete la tabla de verdad de la siguiente proposición:

p q r [∼ p ∧ (q ∨ r)]△[(p ∨ r) ∧ q]
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Además, indique si es una tautologı́a.

7. De la falsedad de la proposición (p →∼ q) ∨ (∼ r → s), determine el valor de verdad de las siguientes

proposiciones:

a) (∼ p∧ ∼ q)∨ ∼ q

b) (∼ r ∨ q) ↔ (∼ q ∨ r) ∧ s

c) (p → q) → (p ∨ q)∧ ∼ q

8. Si la proposición ∼ [(∼ p ∨ q) ∨ (r → q)] ∧ [(∼ p ∨ q) → (q∧ ∼ p)] es verdadera, halle los valores de p, q
y r.

9. Simplifique las siguientes proposiciones:

a) [(p ∧ q) ∨ (p∧ ∼ q)] ∨ (∼ p∧ ∼ q)

b) [p ∨ q ∨ (∼ p∧ ∼ q)] ∧ [(∼ p ∨ q) ∧ p]

10. Demostrar si las siguientes proposiciones son equivalentes.

a) ∼ q ∨ p ≡∼ (∼ p ∧ q) ≡∼ p ↔ (p →∼ q)

b) ∼ [(p ∧ q)∧ ∼ r] ≡∼ [(∼ p ∧ ∼ q) ∧ (p ∨ r)]

†
Hecho en LATEX / D.C.F.G.