Introducción a la lógica moderna /

Saved in:
Bibliographic Details
Main Author: Páez, Andrés (autor)
Format: Book
Language: Spanish
Published: Bogotá : D.L. 2010.
Edition: Segunda edición
Subjects:
Notas Contenido:
  • La lógica proposicional
  • Semántica del lenguaje Lp
  • Arboles de verdad en Lp
  • Deducción natural en Lp
  • Estrategias para construir derivaciones
  • * SDN*
  • Introducción a la lógica de predicados
  • Introducción formal al lenguaje LC
  • Semántica del lenguaje LC
  • Arboles de verdad de LC
  • Deducción natural en LC
  • Introducción a la lógica modal
  • Arboles de verdad modales
  • Deducción natural modal
  • Respuestas a los ejercicios pares