| Título : |
Introducción a la lógica y al análisis formal |
| Tipo de documento: |
TEXTO IMPRESO |
| Autores: |
Manuel Sacristán Luzón |
| Editorial: |
Barcelona : Ediciones Ariel |
| Fecha de publicación: |
1964 |
| Número de páginas: |
316 p. |
| Dimensiones: |
24 cm. |
| Idioma : |
Español (spa) |
| Descriptores: |
FILOSOFIA DEL LENGUAJE ; Lenguajes controlados ; Lógica ; LÓGICA SIMBÓLICA Y MATEMÁTICA
|
| Clasificación: |
161/162 Principios fundamentales de la lógica |
| Nota de contenido: |
1. Noción de la lógica formal – 2. La lógica formal en la investigación de fundamentos – 3. El ideal del lenguaje bien hecho – 4. Las categorías lógicas – 5. La composición de enunciados. Lógica de enunciados – 6. La estructura de los enunciados atómicos. Lógica de predicados – 7. Presentación axiomática del cálculo de predicados de primer orden – 8. La deducción a partir de permisos – 9. Técnica de la deducción natural. Algunos teoremas – 10. Formas normales. Comparación del sistema axiomático con el cálculo de la deducción natural – 11. Rendimiento del cálculo lógico elemental – 12. La lógica de predicados de orden superior y el teorema de incompletud de Godel – 13. Decidibilidad en la lógica elemental – 14. Lógica de clases – 15. Lógica de relaciones – 16. La división y la definición – 17. El análisis formal de la inducción |
| Link: |
https://biblioeco.unsa.edu.ar/pmb/opac_css/index.php?lvl=notice_display&id=54969 |
| Ubicación : |
161/162 S123 |