Universidad de Chile Facultad de Filosof y Humanidades a Departamento de Filosof a Lgica I - Primer Semestre 2010 o

Gu de Ejercicios N 6 a
Sistemas de Deduccin Natural. Deducciones Formales. o

1) Determine cules de las siguientes sucesiones de frmulas son pruebas formales a o de validez (con el sistema de deduccin natural que jamos en la denicin [23]). o o En las que lo sean, indique la regla de inferencia que justica cada paso; en las que no lo sean, indique (al menos) un paso que no est justicado por las reglas de a inferencia: (a) sq rp q s v rp q (rp) v (d) rt r (q r) premisas sv premisas qr r rs tv (c) sr rp premisas qp s r p q

premisas

(b) p pq r qv

(r s) p (r s) p q (r s) pq q (e)

p q p

premisas

2) En cada caso, construya una prueba formal de validez de la frmula a partir o del conjunto de premisas : (a) = (b) = (c) = pq pq , , ; sr pr = (q r) s , , qr ; = ps , qr ; = v

(r s) v

p [ q (r s) ]

3) Indique a qu regla de inferencia corresponde, respectivamente, cada uno de los e siguientes argumentos : (a) Si se produce escasez del producto, los especuladores aumentarn los precios; a y si los especuladores aumentan los precios, el gobierno deber aumentar los cona troles scales. Por lo tanto, si se produce escasez del producto, el gobierno deber a aumentar los controles scales. (b) Si una cha es verde, su nmero tiene cuatro cifras; si una cha es blanca, u su nmero tiene cinco cifras; la cha que elig era verde o blanca; por lo tanto, la u o cha que eligi tiene cuatro o cinco cifras. o

4) En cada caso, traduzca al lenguaje formal proposicional y construya una prueba formal de validez de la conclusin que se ha obtenido en base a las premisas: o (a) Si la estimacin era correcta, el proceso continuar con normalidad. Si se o a posterga el inicio, el proceso no continuar con normalidad. Postergarn el inicio. a a Por lo tanto, la estimacin no era correcta. o (b) Llegarn seis o siete. Si llegan seis, ocurrir esto. Si llegan siete, ocurrir a a a aquello. Si ocurre esto, todo saldr bien. No ocurrir aquello. Por lo tanto, todo a a saldr bien. a

5) En lgica tradicional, un hecho conocido desde hace mucho es que, si se toman o dos premisas contradictorias entre s de ellas puede deducirse cualquier armacin , o (este hecho se conoce a veces como ex contradictione sequitur quodlibet:de una contradiccin se sigue cualquier cosa). Si es cualquier frmula, y es cualquier o o frmula, construya a partir de las premisas = , o una prueba formal de validez cuya conclusin es . o

6) Desarrolle las deducciones formales siguientes: (a) q (b) (c) (d) pq (q q) ([q q] [q q]) pr , qr p (q r) , (p q) r pr p

pq ,

7) Utilice el teorema de Correccin y Completud para demostrar lo siguiente: o Si entonces

8) Efecte dos demostraciones de lo siguiente: u Si y , entonces

Para una demostracin, utilice Correccin y Completud para razonar utilizando el o o concepto de consecuencia tautolgica. Para la otra, utilice directamente la existeno cia de deducciones formales de las dos frmulas para mostrar que se puede construir o una demostracin formal de la conjuncin. o o