Lógica matemática : antecedentes y fundamentos /
Moreno, Alberto
Lógica matemática : antecedentes y fundamentos / Alberto Moreno. - 3a ed. corr. y ampl. - Buenos Aires : Eudeba, 1981. - 193 p. 23 cm. - (Manuales de Eudeba / Lógica) .
I. Introducción: 1. Lógica II. Historia de la lógica no-matemática: 2. La lógica de Aristóteles. -- 3. La lógica de los estoicos. -- 4. La lógica medieval. -- 5. La lógica después del medioevo. -- Referencias bibliográficas. III. Elementos de lógica no-matemática. 6. Lógica de enunciados. -- 7. Lógica de términos. Relaciones entre enunciados. -- 8. Lógica de términos. Silogismo. -- Referencias bibliográficas. IV. Algebra de la lógica 9. Lógica de términos. -- 10. Lógica de enunciados. -- 11. Historia del álgebra de la lógica. -- Referencias bibliográficas. V. Lógica matemática 12. Lógica matemática. -- 13. lógica de enunciados. -- 14. Funciones de verdad. -- 15. Leyes de la lógica de enunciados. -- 16. Sistema P M. -- 17. Lógica de predicados. -- 18. Métodos de los árboles lógicos. -- 19. Identidad. VI. Relaciones entre "las" lógicas 20. Lógica no-matemática. Algebra de la lógica y Lógica matemática. VII. Un clásico de la historia de la lógica J. Lukasiewicz: Historia de la lógica de enunciados. Bibliografía Índice de autores Índice alfabético
LOGICA
LOGICA MATEMATICA
160.12 M 63
Lógica matemática : antecedentes y fundamentos / Alberto Moreno. - 3a ed. corr. y ampl. - Buenos Aires : Eudeba, 1981. - 193 p. 23 cm. - (Manuales de Eudeba / Lógica) .
I. Introducción: 1. Lógica II. Historia de la lógica no-matemática: 2. La lógica de Aristóteles. -- 3. La lógica de los estoicos. -- 4. La lógica medieval. -- 5. La lógica después del medioevo. -- Referencias bibliográficas. III. Elementos de lógica no-matemática. 6. Lógica de enunciados. -- 7. Lógica de términos. Relaciones entre enunciados. -- 8. Lógica de términos. Silogismo. -- Referencias bibliográficas. IV. Algebra de la lógica 9. Lógica de términos. -- 10. Lógica de enunciados. -- 11. Historia del álgebra de la lógica. -- Referencias bibliográficas. V. Lógica matemática 12. Lógica matemática. -- 13. lógica de enunciados. -- 14. Funciones de verdad. -- 15. Leyes de la lógica de enunciados. -- 16. Sistema P M. -- 17. Lógica de predicados. -- 18. Métodos de los árboles lógicos. -- 19. Identidad. VI. Relaciones entre "las" lógicas 20. Lógica no-matemática. Algebra de la lógica y Lógica matemática. VII. Un clásico de la historia de la lógica J. Lukasiewicz: Historia de la lógica de enunciados. Bibliografía Índice de autores Índice alfabético
LOGICA
LOGICA MATEMATICA
160.12 M 63