Guı́a 1

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) l) (p∧ ∼ p) ⇔ (q∧ ∼ q)
b) p ⇒ (q ∨ p) m) (p∨ ∼ p) ⇔ (q∨ ∼ q)
c) p ∨ (p ∨ q) ⇒∼ p n) (p ∧ q)∧ ∼ (p ∨ q)
d ) (p ∧ q) ⇒∼ p ñ) p ∨ q∨ ∼ r
e ) (p ⇒∼ p) ⇒∼ p o) (p ∧ q) ⇒ r
f ) (p ⇒∼ p) ⇒ p p) p ⇒ (q ⇒ p)
g ) p ∧ (p ⇒∼ p) h q) p ⇒ (p ⇒ q)
) (p∧ ∼ p) ⇒ q r) (p ⇔ q) ⇒ (p ⇔ q)
i ) ∼ ((p∧ ∼ p) ⇒ q) s) (p ⇒ q) ⇔ (∼ p ∨ q)
j ) p ⇔ (p ∨ q) t) (p ∨ q) ⇔∼ (∼ p∧ ∼ q)
k ) (p ∧ q) ⇔∼ p u) (p ⇒ q) ⇒ ((p ⇒ r) ⇒ (p ⇒ r))

2. Si q es verdadera ¿Por que 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)

Profesora: Ximena Seballos. G

 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 proposicion que
es verdadera solo cuando q es verdadera y p es falsa.

a ) Escriba la tabla de verdad para p♦ q.

b) ¿Es ♦ asociativo?, ¿Es ♦ conmutativo?.
Muestre que:
c) (∼ p)♦ (∼ q) ≡ q♦ p.
d) p♦ p ≡ F
e ) (∼ p)♦ p ≡ V
f ) (p ∨ q) ♦ r ≡ (p♦ r) ∧ (q♦ r)
g) (p ∧ q) ♦ r ≡ (p♦ r) ∨ (q♦ r)

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 proposi-
ciones que la componen
a ) (p ⇔∼ r) ∨ (∼ p ⇒ (r∨ ∼ s))
b) ∼ [(∼ p∨q) ∧ (r ⇒ p)∧ ∼ (p ⇒ s)]
c) (p∨ ∼ p) ⇔ [p ∨ (∼ p ⇔ (q ∨ r))]

Profesora: Ximena Seballos. G