Cover Image

Argumentación deductiva con diagramas y árboles de forzamiento /

Saved in:
Bibliographic Details
Format: Book
Language: Spanish
Published: Medellín : c2010.
Subjects:
Calculo proposicional > Problemas, ejercicios, etc.
Lógica de primer orden > Problemas, ejercicios, etc.
Razonamiento
Notas Contenido:
  • Diagramación de argumentos
  • Representación simbólica de la información
  • Árboles de forzamiento semántico clásico
  • Sistema deductivo para la lógica clásica.

Similar Items