Universidad Autónoma de Chile

Lógica

1. Sea p, q y r tres proposiciones tales que vv(p)=vv(q)=vv(r̄)=V . (vv quiere decir el

valor de vardad). Determinar el valor de verdad de:

(a) (p ∧ q) ∨ r
(b) (p̄ ⇒ (r ∨ r̄)) ∨ q̄
(c) (p ∨ q) ∧ (q ∨ r)

2. Construir la tabla de verdad para cada una de las siguientes proposicines.

(a) p̄ ⇒ p
(b) (p ∨ q̄) ∧ (q ⇒ p̄)
(c) (p̄ ⇒ q) ⇔ q̄
(d) [(p ∨ r̄) ∨ q] ⇒ (r ∨ p̄)

3. Determina el valor de verdad de las siguientes proposiciones si p es verdadera y q es

falsa.

(a) q ⇒ p
(b) p ∨ (p̄ ∧ q)
(c) −[q ⇒ (p ⇔ (q ∨ p))]

4. Determina usando tablas de verdad si las siguientes proposiciones (a), (b) y (c) son
equivalentes.

(a) p ⇒ (q ∨ r)
(b) (p ∧ q̄) ⇒ r
(c) (p ⇒ q) ∨ (p ⇒ r)

5. Dada la proposición: p ⇒ (q̄ ⇒ r). Construye una proposición equivalente que contenga
sólo conectivos (a) −, ∨ y (b) −, ∧

6. Sean p, q, r y s proposiciones tales que q ⇒ p es falsa , vv(p ∨ r) = vv(r ⇔ s) = V .

Determina los valores de verdad de p, q, r y s.

7. Usa tablas de verdad para determinar silas siguientes proposiciones son Tautologı́as,
Contingencias o Contradicciones.

(a) [(p ∨ q) ⇒ q] ⇒ (p ∨ q)
(b) [p ⇒ q] ⇒ [(p ∧ r) ⇒ (q ∧ r)]
(c) [(p̄ ⇒ q) ∧ (p ∨ q)] ∧ q
(d) [p ∧ [p ⇒ (q ⇒ r)] ∧ q] ⇒ r
(e) [(p̄ ⇒ q̄) ∧ (p̄ ∨ q)] ∧ q̄

8. (a) Si se sabe que p∧q es V , y además r∧p es F , determina el valor de (r∨q) ⇒ (r∧q).
 (b) Sabiendo que p ⇒ q es F y r ∧ p es F , determina el valor de verdad de (a) p ⇔ r
y de (b) (p ∧ r̄)
(c) Si la proposición compuesta [(p ⇔ q) ⇔ (p ∨ r)] ∧ [p ⇒ (q ∧ r)] es verdadera,
determina e valor de verdad de p, q y r.

9. Comprueba la validez de los siguientes argumentos, usando el método de demostración

indirecta.
P1 : p ∨ q P1 : p ⇒ (q ∨ r)
P2 : r ⇒ p̄ P2 : q ⇒ p̄
(a) (b)
P3 : (s ∨ q) P3 : s ⇒ r̄
∴ r̄ ∴ (p ∧ s)
10. Decide la validez de los siguientes argumentos

(a) P1 : Si una persona es ingeniero, ella es feliz.

P2 : Si una persona es feliz logra sus aspiraciones.
Conclusión: Los ingenieros logran sus aspiraciones.
(b) P1 : Si dos lados de un triángulo son iguales, entonces los ángulos opuestos son
iguales.
P2 : Dos lados opuestos de un triángulo son diferentes.
Conclusión: Los ángulos opuestos son diferentes.