Problemas de discusión 3

JuanJo Ramı́rez
LMA139: Lógica matemática
Semana 4
19 de marzo de 2019

Indicación: Resolver cada uno de los siguientes problemas de forma ordenada y concisa.
Problema 1. Demostrar, utilizando equivalencias lógicas, que:
A) (p =⇒∼ q) ⇐⇒ (q =⇒∼ p)

B) [(p ∧ q) =⇒ r] ⇐⇒ [(p =⇒ r) ∨ (q =⇒ r)]

C) [p =⇒ (q =⇒ r)] ⇐⇒ [(p ∧ q) =⇒ r]

D) [(p ∨ q) ∧ (q =⇒ r)] ⇐⇒ [(p =⇒ q) =⇒ r]

E) [p ∧ (p ∨ q)] ⇐⇒ p

F) ∼ [p ∨ (∼ p ∧ q)] ⇐⇒ (∼ p∧ ∼ q)
Problema 2. Demostrar, por medio de equivalencias lógicas, que las siguientes proposiciones
son tautologı́as:
a) (p ∨ q) ∧ (∼ p ∨ r) =⇒ (q ∨ r)

b) [(p =⇒ q) ∧ (q =⇒ r) =⇒ (p =⇒ r)]

c) (p ∧ q) =⇒ (p ∨ q)

d) ∼ q =⇒ [(p ∧ q) =⇒ r]
Problema 3. Simplificar (escribir con un mı́nimo de conectivos):
a) ∼ (p ∨ ∼ q)

b) ∼ (∼ p =⇒ q)

c) ∼ (p ∧ ∼ q)

d) ∼ (∼ p ∧ ∼ q)

e) ∼ (∼ p ⇐⇒ q)

1
f ) ∼ (∼ p =⇒∼ q)

Problema 4. Dadas dos proposiciones p y q, el conectivo ”ó excluible”, simbolizado por ⊕,

es verdadero cuando únicamente p es verdadera o cuando únicamente q es verdadera.

a) Construya una tabla de verdad de p ⊕ q.

b) Mostrar que p ⊕ q tiene la misma tabla de verdad que ∼ (p ⇐⇒ q).

c) Construya una tabla de verdad para p ⊕ q, (p ⊕ q) ⊕ r y (p ⊕ p) ⊕ p.

Problema 5. Mostrar que (p ⊕ q) ⇐⇒ [(p ∧ q) ∼ (p ∧ q)], donde ⊕ es el ó excluible como

en el ejercicio anterior.

Problema 6. Toda proposición compuesta se puede escribir utilizando únicamente los co-
nectivos ∼ y ∨. Esto resulta de las equivalencias

(p =⇒ q) ⇐⇒ (∼ p ∨ q)
(p ∧ q) ⇐⇒ ∼ (∼ p∨ ∼ q)
(p ⇐⇒ q) ⇐⇒ [(p =⇒ q) ∧ (q =⇒ p)]

Encontrar proposiciones lógicamente equivalentes a las siguientes, utilizando solamente los

conectivos ∼ y ∨.

a) p ⇐⇒ q

b) (p ∧ q) =⇒ (∼ q ∧ r)

c) (p =⇒ q) ∧ (q ∨ r)