Lógica simbólica

Bibliographic Details
Main Author: Garrido, Manuel
Format: Book
Language:Spanish
Published: Madrid Tecnos 1983
Series:Filosofía y ensayo
Subjects:
Table of Contents:
  • 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