Lógica simbólica / Manuel Garrido
Tipo de material:
TextoSeries Filosofía y ensayoDetalles de publicación: Madrid Tecnos 1983Descripción: 424 pISBN: - 8430906754
- 511.3
Contenidos:
Contenido: I. Introducción: 1. Lógica simbólica -- II. El lenguaje de la lógica: 2. Hacia una formalización del lenguaje -- 3. Lenguaje formal -- III. Calculo de juntores (Lógica de enunciados): 4. Deducción -- 5. Reglas básicas del cálculo de juntores -- 6. Reglas derivadas del cálculo de juntores -- IV. Calculo de cuantores (Logica de predicados): 7. Reglas del cálculo de cuantores -- 8. Silogística -- 9. Leyes de distribución -- 10. Cuantificación múñtiple. Identidad y decripciones -- V. Semantica: 11. Modelos -- 12. Tautologías -- 13. Tablas semánticas -- VI. Axiomatización de la lógica: 14. Sistemas axiomáticos de lógica -- 15. Metalógica
| Tipo de ítem | Biblioteca actual | Signatura topográfica | URL | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Manuel Belgrano | 511.3 G 38154 (Navegar estantería(Abre debajo)) | Enlace al recurso | Disponible | 38154 |
Bibliografía: p. 403-424
Contenido: I. Introducción: 1. Lógica simbólica -- II. El lenguaje de la lógica: 2. Hacia una formalización del lenguaje -- 3. Lenguaje formal -- III. Calculo de juntores (Lógica de enunciados): 4. Deducción -- 5. Reglas básicas del cálculo de juntores -- 6. Reglas derivadas del cálculo de juntores -- IV. Calculo de cuantores (Logica de predicados): 7. Reglas del cálculo de cuantores -- 8. Silogística -- 9. Leyes de distribución -- 10. Cuantificación múñtiple. Identidad y decripciones -- V. Semantica: 11. Modelos -- 12. Tautologías -- 13. Tablas semánticas -- VI. Axiomatización de la lógica: 14. Sistemas axiomáticos de lógica -- 15. Metalógica
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.