PRÁCTICA N° 4 (S–4)

1. Clasificar los siguientes esquemas moleculares como consistentes, tautológicos o

contradictorios: 6p

a. [ (~ p ʌ ~ q) → ~ r] ↔ [r Δ (~ p ʌ ~ q)]}

P q r [ (~ p ʌ ~ q) → ~ r] ↔ [r Δ (~ p ʌ ~ q)]}

V V V F F F V F V F F
V V F F F F V V F F F
V F V F F V V F V F V
V F F F F V V V F F V
F V V V F F V F V V F
F V F V F F V V F V F
F F V V V V F F V V V
F F F V V V V V F V V

a. [(~ p ʌ q) → ~ r] ↔ [ r ʌ ~ (p v ~ q)]

b. [p ʌ (~ q → p)] ʌ ~ [p ↔ ~ q) → (q v ~ p)]

2. Determinar el valor de verdad en los ejemplos dados, empleando tablas de

valores de verdad (forma abreviada) y por niveles: 8p

A. Si la proposición (~ p Δ ~ q) v r] ↓ [ (~ p → q) ↔ (q │ t)] es verdadera, hallar el

valor de verdad de la proposición: ~ [~ (p → q) Δ ~ r] ↔ {r → [ ~ t v (q ʌ ~ p)]}

B. Si se sabe que: [(p → q) ↔ (p ʌ ~ p)] ʌ [(r ʌ s) v q] es verdadera. Hallar el valor de

verdad de: [ (p → ~ q) │s] Δ [~ r → ~ (q ↔ ~ p)]

C. Si la proposición simbolizada por: ~ [ (~ p v q) v (r → q)] ʌ [ (~ p v q) → (q ʌ ~ r)] es

verdadera. ¿Cuáles son los valores de p; q; r.

D. Sabiendo que el valor de verdad de la proposición compuesta es siempre

falso:
{~ [(p ʌ r) → q] ʌ [(p v q) Δ s]} → {(s Δ p) → t}; determinar el valor de verdad de las
siguientes proposiciones: 6p

1. {[ (~ p Δ q) Δ r] → [~ (q → (s → p))]} Δ (p Δ q)

2. {~ (p → q) Δ [(r ʌ p) → ~ (r v s)]} Δ t