03 de Mayo del 2018

Lógica Proposicional

Notación: En lo que sigue, tener en cuenta las siguientes deniciones.

• (Daga de Nicod ↓). p ↓ q se denie por ∼ p ∧ ∼ q .
• (Trazo de Sheer |). p|q se denie por ∼ p∨ ∼ q .
• p ⊕ q , es disyunción exclusiva o fuerte.

1. Construya las tablas de verdad de la función Daga de Nicod y del Trazo de Sheer.
2. Mediante la tabla de verdad determine si las siguientes fórmulas son tautológicas, consistentes
o contradictorias:
(a) ∼ (p ↓∼ p)
(b) (∼ p → p) ↓ p
(c) ∼ [p → (∼ p ∧ p)]
(d) ∼ (∼ p ↔ p) →∼ (∼ p ∨ p)
(e) (p ∧ p) ↔ [p ∨ (∼ q | q)]
3. Determine la validez de los siguientes razonamientos:
(a) Si María estudia música, podrá obtener un puesto en la Orquesta Sinfónica. Debo concluir
que María podrá obtener un puesto en la Orquesta Sinfónica ya que, o se dedica al deporte
o estudia música, y María no se deica al deporte.
(b) Si el candidato es demagogo, no tendrá éxito. Deduzco que sufrirá una censura, y el
candidato es demagogo.
(c) No es cierto que Pizarro conquistó el Perú y no fue español, dado que Pizarro conquistó
el Perú si y solo si no fue marino, pero fue español.
(d) Si el tren sale hoy para Huancayo, entonces no cayó ningún huayco, ya que si el tren
no sale hoy para Huancayo, entonces o cayó algún huayco o se produjo un paro; pero es
cierto que no se produjo un paro.
(e) O no ganaste el concurso o no conseguiste un empleo, pues es cierto que no vendes tu
casa si ganas el concurso y consigues un empleo; y tú vendiste tu casa.
4. Se sabe que la proposición: [(p ∨ q) ∧ p] → [(r ∨ q) ←→ p] es falsa. Determinar los valores
veritativos de las proposiciones:
(a) p, q, r

1
 (b) [(p∧ ∼ q) → (r ∨ p)] ←→ [∼ q ∨ (r ∨ p)]
(c) [p|(q|r)] ∨ [r|(q|p)]
5. Se sabe que la proposición: [(p ←→ r) ∧ (m ∨ n)] → (∼ p ⊕ s) es falsa, resolver el valor de
verdad de la siguiente proposición
{(r ∨ s) ←→ m ∨ (∼ r ←→∼ n) ∨ n} ∧ (p ⊕ r)

6. Si la siguiente proposición es falsa

{[(∼ p ∨ q) → (p ∧ p)] ←→ [(r → p) ←→ (p ⊕ q)]} → [(r ∨ q) ←→ (r ∧ q)]

determine el valor de verdad de

(a) p, q, r
(b) [p ⊕ (q ⊕ r)] ←→ [∼ r ∧ q]
7. Describir las siguientes fórmulas proposicionales mediantes textos adecuados (relacionados a
su carrera de estudios).
(a) p ←→ (q ∧ r)
(b) [(p → q) ∧ (∼ p → r)] → [(p∨ ∼ p) ∧ (q ∨ r)]
(c) [(p → q) ∧ (r → q)] → [(p ∨ r) → q]
8. Dena proposiciones (abiertas) que permitan describir el estado de las luces de un semáforo en
instantes diferenctes. Con esas proposiciones, escribir fórmulas para los siguientes enunciados
(a) El semáforo está en color ya sea verde, anaranjado o rojo.
(b) La luz del semáforo cambia de verde a anaranjado, de anaranjado a rojo y de rojo a verde.