Sostiene escribió:
Sin embargo, me ha surgido otra duda que consiste en que al último tema del programa de Lógica I Conceptos básicos del cálculo axiomático: axiomas, teoremas y reglas de transformación, no le encuentro correspondencia en el libro de 'Formas Lógicas' ¿estoy en lo cierto?
No tengo ahora los libros delante pero creo que estás en lo cierto. La addenda de Formas Lógicas no está pensada para ser un manual autosuficiente. Como dice Onfray, puede ser suficiente para quien tenga algo de base matemática, pero en rigor el manual es el Deaño, y salvo por el tema de los árboles semánticos yo diría que el Deaño es autosuficiente. No obstante lo ideal es ir mirándose el Deaño y la Addenda en paralelo, pero empezando por el Deaño, que es más teórico, aunque muchos ejercicios resueltos y propuestos con la solución al final.
Con respecto al método axiomático del Deaño, creo que sólo hay que saber qué es un axioma, y en qué consiste el método axiomático.
Quien desee mirar otra bibliografía, aparte de los libritos de ejercicios de la editorial NAU, que le eche un vistazo al libro de Manuel Garrido,
Lógica simbólica, que me parece un manual excelente que aborda otros temas interesantísimos de la lógica, como la Teroría de autómatas (que se estudia también en Ingeniería informática)