Lógica simbólica /

La lógica simbólica es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo XX, y el radi se sus aplicaciones comprende esferas tan diversas del sabe...

Descripción completa

Detalles Bibliográficos
Autor principal: Garrido, Manuel 1925- (autor)
Formato: Libro
Lenguaje:Spanish
Edición:4ª edición
Colección:Serie de filosofía y ensayo
Materias:
Tabla de Contenidos:
  • ¿Que es la lógica?
  • El lenguaje de la lógica
  • Deducción y consecuencia
  • Estratégias de deducción natural
  • Tablas semánticas
  • Cálculo de reglas derivadas
  • Logica de predicados(calculo cuantificacional)
  • Deducción cuantificacional
  • Silogística
  • Axiomatización de la lógica
  • Automatización de la lógica(las bases logicas de la informatica)
  • Lógica y representación del conocimiento
  • La lógica de internet
  • Breve historia de la logica.