Introducción a la lógica moderna /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Bogotá :
D.L. 2010.
|
| Edition: | Segunda edición |
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- 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
