Tarea 2: Problemas de aplicacin

b. Supongamos que tenemos el argumento Si no compramos una

parcela, entonces construimos una casa. Si construimos una casa, no
compramos un apartamento. Si no compramos un apartamento
entonces compramos muebles. No compramos una parcela. No
compramos muebles o compramos un apartamento. Por lo tanto,
compramos un apartamento.

(P) Compramos una parcela.

(Q) Construimos una casa.
(R) Compramos muebles.
(S) Compramos un televisor.
(T) Esperamos para vender la parcela m as adelante a mejor precio.
(U) Compramos un apartamento.

En forma simblica, el razonamiento que estamos estudiando es

Premisas: p(q t),(q u) r ,r s ,t u
Conclusin: p s

Observemos que bastara mostrar que a partir de las premisas podemos

deducir la siguiente formula:

(qt)(qu)

Pues de esa forma obtendramos la cadena:

p(qt),(qt)(qu),(qu)r , rs.

y a partir de estas podemos obtener ps usando repetidamente el

silogismo hipottico. Usaremos esta idea para construir la derivacin
que presentamos a continuacin
Justificacin

(1) (qu)r Premisa

(2) rs Premisa
(3) (qu)s Silogismo hipottico en (1) y (2)
(4) q(qu) Tautologa
(5) u(qu) Tautologa
(6) tu Premisa
(7)t(qu) Silogismo hipottico en (5) y (6)
(8) (qt)(qu) Prueba por casos en (4) y (7)
(9) (qt)s Silogismo hipottico en (3) y (8)
(10) p(qt) Premisa
(11) ps Silogismo hipottico en (9) y (10)
Otra manera de mostrar la validez del razonamiento en el ltimo
ejemplo es verificndola siguiente implicacin lgica:

[ (p(qt))((qu)r)(rs)(tu) ](ps)

Para hacerlo usando una tabla de verdad tendramos que hacer una
6
tabla con 2 =64 filas pues tenemos 6 variables proposicionales. Ahora
debera quedar claro que el mtodo de la derivacin es mucho m as
corto que el de hacer tablas de verdad; pero requiere ms ingenio para
llevarlo a cabo.
En resumen, una derivacin puede verse como una sucesin de
frmulas (1,2..n) que cumplen con las siguientes condiciones:

(i) 1 es una de las premisas o es una tautologa

(ii) k+1 es una premisa, es una tautologa o se deduce a partir de
1,2,,k, es decir,
12 kk+1
Con frecuencia, k+1 es la conclusin de una regla de inferencia cuyas
premisas se escogen entre las formulas 1,2. k.
(iii) n es la conclusin de la derivacin.