You are on page 1of 5

Ejercicios con soluciones de demostraci´n axiom´tica (l´gica proposicional) o a o Pedro L´pez Garc´ o ıa

1. Dadas las f´rmulas: o A1 : b ∧ d A2 : ¬ d ∨ a A3 : a ∧ b → c demostrar que T [A1 , A2 , A3 ] Soluci´n: o Sea T1 la teor´ T [A1 , A2 , A3 ] ıa 1. 2. 3. 4. 5. 6. 7. 8. 9. 2. T1 T1 T1 T1 T1 T1 T1 T1 T1 b∧d d ¬ d∨a d→a a b a∧b a∧b→c c Axioma no l´gico. o R. Simplificaci´n 1. o Axioma no l´gico. o Definici´n de → 3. o R. Modus Ponens 2 y 4. R. Simplificaci´n 1. o R. Producto 5 y 6. Axioma no l´gico. o R. Modus Ponens 7 y 8. c

Dadas las f´rmulas: o A1 : ¬ d ∨ b A2 : d ∧ ¬ c A3 : ¬ b ∨ a demostrar que T [A1 , A2 , A3 ] Soluci´n: o Sea T1 la teor´ T [A1 , A2 , A3 ] ıa 1. 2. 3. 4. 5. 6. 7. 8. 9. T1 T1 T1 T1 T1 T1 T1 T1 T1 d∧¬ c d ¬ d∨b d→b b ¬ b∨a b→a a c∨a Axioma no l´gico. o R. Simplificaci´n 1. o Axioma no l´gico. o Definici´n de → 3. o R. Modus Ponens 2 y 4. Axioma no l´gico. o Definici´n de → 6. o R. Modus Ponens 5 y 7. R. Expansi´n 8. o c∨a

3.

Dadas las f´rmulas: o A1 : a → b ∧ c A2 : d → ¬ b A3 : c → d demostrar que T [A1 , A2 , A3 ] Soluci´n: o Sea T1 la teor´ T [A1 , A2 , A3 ] ıa a→e

1

o R. T1 ¬ b ∨ ¬ a 14. Expansi´n 18. T1 ¬ d ∨ ¬ a 11. Conmutativa 4. Corte 10 y 7.1. Conmutativa 4. T1 ¬ d ∨ ¬ b 8. Conmutativa 6. T1 ¬ c ∨ d 13. Axioma no l´gico. T1 7. Definici´n de → 1. Axioma no l´gico. T1 (¬ a ∨ b) ∧ (¬ a ∨ c) 4. Modus Tollens 9 y 8. o R. T1 4. R. o R. Simplificaci´n 3. Definici´n de → 1. Conmutativa 14. T1 d→¬b ¬ d∨¬ b c→d ¬ c∨d d∨¬ c ¬ c∨¬ b ¬ b∨¬ c ¬ (b ∧ c) a→b∧c ¬a e∨¬ a ¬ a∨e a→e Axioma no l´gico. o R. T1 8. Corte 12 y 14. T1 10. Definici´n de → 3. R. T1 c → d 9. T1 a → b ∧ c 2. R. R. R. T1 ¬ a ∨ ¬ a 17. Corte 5 y 8. T1 a → b ∧ c 2. Conmutativa 4. R. R. T1 9. Corte 5 y 2. Corte 15 y 13. T1 a → e . o R. o R. o R. Expansi´n 17. T1 2. R. T1 ¬ a ∨ e 20. T1 c ∨ ¬ a 6. o R. T1 11. o 2 Otra soluci´n: o 1. Corte 10 y 16. Simplificaci´n 3. T1 e ∨ ¬ a 19. Conmutativa 11. R. T1 b ∨ ¬ a 16. T1 e ∨ ¬ a 20. T1 ¬ a ∨ e 21. T1 ¬ a ∨ (b ∧ c) 3. Axioma no l´gico. o Axioma no l´gico. Definici´n de → 20. T1 ¬ a 18. Contracci´n 16. Contracci´n 17. T1 c ∨ ¬ a 15. Expansi´n 10. T1 a → e Otra soluci´n: o 1. R. T1 ¬ a ∨ b 5. Conmutativa 9. T1 ¬ a ∨ ¬ a 18. T1 ¬ a ∨ b 15. T1 c → d 12. R. T1 d → ¬ b 7. Definici´n de → 12. T1 ¬ a ∨ c 5. R. o Definici´n de → 6. o Axioma no l´gico. Conmutativa 19. o R. T1 ¬ a ∨ (b ∧ c) 3. Conmutativa 9. R. T1 13. o R. o R. Definici´n de → 11. o R. Conmutativa 12. Corte 5 y 11. de DeMorgan 7. T1 d → ¬ b 7. T1 6. o R. T1 ¬ d ∨ ¬ b 8. Simplificaci´n 3. T1 ¬ c ∨ ¬ b 12. R. T1 ¬ a ∨ ¬ b 13. o Axioma no l´gico. Axioma no l´gico. o R. o R. T1 ¬ a ∨ c 14. o Definici´n de → 6. R. R. o R. L. o R Distributiva 2. T1 12. o R. T1 ¬ a 19. T1 5. R. Definici´n de → 19. T1 ¬ a ∨ ¬ d 10. Conmutativa 7. o R Distributiva 2. R. R. T1 ¬ c ∨ d 10. T1 ¬ b ∨ ¬ d 9. R. o Axioma no l´gico. T1 3. Definici´n de → 8. T1 (¬ a ∨ b) ∧ (¬ a ∨ c) 4. T1 b ∨ ¬ a 6. Conmutativa 15. Conmutativa 14. Conmutativa 18. T1 ¬ a ∨ d 16. T1 d ∨ ¬ a 17. o R. o Definici´n de → 1. o R. Simplificaci´n 3. T1 d ∨ ¬ c 11.

o R. Modus Ponens 14 y 15. R. o R. A3 . T1 14. o R. T1 4. T1 2. A4 . o Definici´n de → 4. T1 8. A5 ] Soluci´n: o Sea T1 la teor´ T [A1 . Producto 3 y 13. R. Dadas las f´rmulas: o A1 : a → b A2 : a → c A3 : ¬ d → ¬ c A4 : b ∧ d → e A5 : a demostrar que T [A1 . A2 . o R. T1 2. T1 10. A2 . Contracci´n 11. T1 12. o Definici´n de → 7. T1 4. T1 a→b a b ¬d→¬c ¬ ¬ d∨¬ c ¬ c∨¬ ¬ d a→c c ¬ ¬ d∨c c∨¬ ¬ d ¬ ¬ d∨¬ ¬ d ¬¬d d b∧d b∧d→e e f ∨e e∨f Axioma no l´gico. o R. T1 5. Modus Ponens 1 y 2. Conmutativa 2. A2 . Modus Ponens 2 y 7. R. Doble negaci´n 12. o R. e∨f Otra soluci´n: o 3 . Expansi´n 16. T1 7. Conmutativa 5. Axioma no l´gico. Axioma no l´gico. T1 3.4. T1 11. A4 . R. o R. o Definici´n de → 1. T1 16. Corte 10 y 6. A3 ] ıa 1. Contracci´n 11. o R. T1 7. o Axioma no l´gico. R. R. T1 3. T1 5. T1 8. T1 12. A2 . o R. T1 17. T1 a→b ¬ a∨b b∨¬ a a→c ¬ a∨c c∨¬ a c→¬b ¬ c∨¬ b ¬ a∨¬ b ¬ b∨¬ a ¬ a∨¬ a ¬a Axioma no l´gico. T1 18. T1 11. Axioma no l´gico. Conmutativa 9. o Definici´n de → 4. T1 9. Expansi´n 8. Corte 6 y 8. Axioma no l´gico. Conmutativa 9. A5 ] ıa 1. o R. o R. T1 15. T1 13. Corte 3 y 10. T1 9. T1 6. Conmutativa 17. Axioma no l´gico. A3 ] Soluci´n: o Sea T1 la teor´ T [A1 . o ¬a 5. Dadas las f´rmulas: o A1 : a → b A2 : c → ¬ b A3 : a → c demostrar que T [A1 . A3 . T1 10. Conmutativa 5. T1 6. R.

T1 5. R. o R. Expansi´n 11. T1 14. T1 3. T1 5. T1 9. T1 9. del Producto 6 y 12. de Simplificaci´n 5. T1 12. A4 ] Soluci´n: o Sea T1 la teor´ T [A1 . Axioma no l´gico. o Definici´n de → 1 + Reemplazo. T1 10. R. o R. T1 4. o R. de Contracci´n (o Idempotencia) 7. o R. R. Modus Ponens 5 y 7. T1 13. o Definici´n de → 9. R. T1 2. T1 7. A2 . de DeMorgan 3. Axioma no l´gico. Conmutativa 4. Doble Negaci´n 2 + Reemplazo. T1 15. o R. o R. T1 3. T1 11. Asociativa 6. R. o R. T1 8. de Corte 5. o Definici´n de → 3. T1 6. Doble Negaci´n 8 + Reemplazo. R. Modus Ponens 9 y 10. T1 4. A2 ] ıa 1. o R. Contraposici´n 4 + Doble negaci´n + Reemplazo. R. o Axioma no l´gico. T1 5. T1 b → (a → (c → ¬ a)) ¬ b ∨ (¬ a ∨ (¬ c ∨ ¬ a)) c→b ¬ c∨b b∨¬ c ¬ c ∨ (¬ a ∨ (¬ c ∨ ¬ a)) (¬ c ∨ ¬ a) ∨ (¬ c ∨ ¬ a) ¬ c∨¬ a ¬ a∨¬ c a→¬c Axioma no l´gico. T1 6. T1 7. 2. d 4 . A2 . o Axioma no l´gico. o R. T1 7. o R. Dadas las f´rmulas: o A1 : a ∨ b A2 : a ∧ c → d A3 : ¬ b ∨ c ∨ d A4 : ¬ (¬ b → ¬ c) demostrar que T [A1 . o R. Producto 3 y 8. T1 10. de Simplificaci´n 5. A2 ] Soluci´n: o Sea T1 la teor´ T [A1 .1. R. o R. Conmutativa 7. T1 11. T1 10. T1 2. T1 ¬ (¬ b → ¬ c) ¬ (¬ ¬ b ∨ ¬ c) ¬ (b ∨ ¬ c) ¬ b∧¬ ¬ c ¬ b∧c c a∨b b∨a ¬ ¬ b∨a ¬b→a ¬b a a∧c a∧c→d d Axioma no l´gico. o o Axioma no l´gico. T1 12. o Axioma no l´gico. o R. Modus Ponens 13 y 14. T1 8. Dadas las f´rmulas: o A1 : b → (a → (c → ¬ a)) A2 : c → b demostrar que T [A1 . Modus Ponens 10 y 11. Modus Ponens 1 y 2. a→b a b ¬d→¬c c→d a→c c d b∧d b∧d→e e f ∨e e∨f Axioma no l´gico. Doble negaci´n 4 + Reemplazo. Conmutativa 12. A4 ] ıa 1. T1 13. T1 2. T1 6. o L. Modus Ponens 2 y 6. o a→¬c 7. T1 6. T1 4. A3 . R. Conmutativa 8. Axioma no l´gico. Definici´n de → 9. A3 . T1 8. T1 9. T1 3. o Definici´n de → 1.

Conmutativa 9. Asociativa 10. o R Asociativa 3. de Corte 5 y 7. o R. T1 5. Dadas las f´rmulas: o A1 : ¬ a → ¬ b ∨ c A2 : a ∨ ¬ c A3 : s ∧ b demostrar que T [A1 . a 5 . T1 4. T1 3. o R. Modus Ponens 13 y 15. o R. T1 9. Axioma no l´gico. T1 10. T1 2. T1 14. T1 ¬ a→¬ b∨c ¬ ¬ a ∨ (¬ b ∨ c) a ∨ (¬ b ∨ c) (a ∨ ¬ b) ∨ c c ∨ (a ∨ ¬ b) a∨¬ c ¬ c∨a (a ∨ ¬ b) ∨ a a ∨ (¬ b ∨ a) (¬ b ∨ a) ∨ a ¬ b ∨ (a ∨ a) ¬ b∨a b→a s∧b b a Axioma no l´gico. T1 13. A3 ] Soluci´n: o Sea T1 la teor´ T [A1 . R. R. Doble Negaci´n 2. T1 16. T1 7.8. A2 . o Definici´n de → 12. Conmutativa 4. o R. R. A3 ] ıa 1. de Simplificaci´n 14. R. R. T1 6. T1 15. R. T1 8. T1 11. A2 . o Axioma no l´gico. Asociativa 8. o Definici´n de → 1. T1 12. Conmutativa 6. Contracci´n 11.