Guı́a 5

Lógica Proposicional

1. Construya la tabla de verdad para cada una de las siguientes proposiciones indicando cuales son
tautologı́as o contradicciones.

a) (p ⇒ q) ∨ (q ⇒ p) h) (p ∧ q) ⇔∼ p
b) p ∨ (p ∨ q) ⇒∼ p i ) (p∧ ∼ p) ⇔ (q∧ ∼ q)
c) (p ∧ q) ⇒∼ p j ) (p ∧ q)∧ ∼ (p ∨ q)
d ) (p ⇒∼ p) ⇒∼ p k ) (p ∧ q) ⇒ r
e) p ∧ (p ⇒∼ p) l ) p ⇒ (q ⇒ p)
f ) (p∧ ∼ p) ⇒ q m) (p ⇒ q) ⇔ (∼ p ∨ q)
g) ∼ ((p∧ ∼ p) ⇒ q) n) (p ⇒ q) ⇒ ((p ⇒ r) ⇒ (p ⇒ r))

2. Si q es verdadera ¿Por qué p ⇒ q es también verdadera independiente de cual es p?.

3. Si p es falsa ¿Por qué p ⇒ q es verdadera independiente de cual es q?

4. Si p es verdadera y q es falsa. ¿Qué se puede decir de p ⇒ q?

5. Si p y q son falsas.¿Qué se puede decir de p ⇒ q?.

6. Sean p, q y r proposiciones. Demostrar, sin usar tablas de verdad, que las siguientes proposiciones
son tautologı́as:

a) p ⇒ (p ∨ q)
b) (p ⇔ q) ⇔ (p ∧ q) ∨ (∼ p∧ ∼ q)
c) [(p ⇔ q) ∧ (q ⇔ r)] ⇒ (p ⇔ r)
d ) [(p∧ ∼ q) ⇒∼ p] ⇒ (p ⇒ q)
e) ∼ (p ⇔ q) ⇔ (∼ p ⇔ q)
f ) [(p ∧ r) ⇒ (∼ q ∨ r)] ⇔∼ (p ∧ q)
g) [(p ⇒∼ q) ∧ (∼ r ∨ q) ∧ r] ⇒∼ p
h) [p ∧ (p ⇒ q)] ⇒ q
i ) [(p∧ ∼ q) ⇒∼ p] ⇒ (p ⇒ q)
j ) [(p ∧ r) ⇒ (∼ q ∨ r)] ⇔∼ (p ∧ q)
k ) [(p ⇒∼ q) ∧ (∼ r ∨ q) ∧ r] ⇒∼ p
l ) (p ∧ q) ⇔ [(p ∨ q) ∧ (p ⇔ q)]
m) (p ∧ q ⇒ r) ⇔ (p∧ ∼ r ⇒∼ q)
n) (p ∧ q) ⇔ [(p ∨ q) ∧ (p ⇔ q)]

7. Dadas p y q proposiciones, definimos el operador lógico p♦q como la proposición que es verdadera
solo cuando q es verdadera y p es falsa. Determine el valor de verdad de las siguientes afirmaciones.

a) ♦ es asociativo y conmutativo. d ) (∼ p)♦p ≡ V

b) (∼ p)♦(∼ q) ≡ q♦p. e) (p ∨ q)♦r ≡ (p♦r) ∧ (q♦r)
c) p♦p ≡ F f ) (p ∧ q)♦r ≡ (p♦r) ∨ (q♦r)

1
 8. Sean p, q y r proposiciones tales que ((∼ p ∨ q) ⇒ r) es falsa. Entregar el valor de verdad de las
siguientes proposiciones (justifique su respuesta):

a) ∼ q ⇒∼ p
b) r ⇒ (p ⇔∼ (q ∨ r))

9. Si la proposición (p ⇒ q) es falsa. ¿Cuál es el valor de verdad de la proposición (p ∨ (q ∧ r)) ⇔ ((p ∨ r) ∧ q)?

10. Si las siguientes proposiciones son falsas, determine el valor de verdad de las proposiciones que la
componen

a) (p ⇔∼ r) ∨ (∼ p ⇒ (r∨ ∼ s))
b) ∼ [(∼ p∨q) ∧ (r ⇒ p)∧ ∼ (p ⇒ s)]
c) (p∨ ∼ p) ⇔ [p ∨ (∼ p ⇔ (q ∨ r))]