Producto añadido correctamente al carrito

Cantidad
Total
Continuar comprando

Realizar pago

Lingüística y Lenguas

Suscribete a nuestro newsletter

¡Precio rebajado! Caratula Argumentación deductiva con diagramas y árboles de forzamiento Ver más grande

Argumentación deductiva con diagramas y árboles de forzamiento

Nuevo

Autor: Manuel Sierra A.
Editorial:Universidad Eafit
Edición: Primera, enero 2010   
Formato: Libro
Rústica, 16.5 x 24 cm
253 Páginas
Peso: 0.40 Kg
ISBN: 9789587200546
Clic para ver: Reseña - Contenido

Más detalles

Libro disponible ¡pídalo ya!


COP$ 32.000

-20%

COP$ 40.000

Más

Reseña. Argumentación deductiva con diagramas y árboles de forzamiento

Este libro se encuentra orientado hacia la argumentación deductiva con énfasis en la presentación visual con diagramas, con los cuales se busca mostrar de manera precisa y detallada la forma como se articula un razonamiento, y se utilizan los Árboles de forzamiento semántico como herramienta integradora de los aspectos deductivos, semánticos y argumentativos.

Subir

Contenido. Argumentación deductiva con diagramas y árboles de forzamiento

Presentación

CAPÍTULO 1
DIAGRAMACIÓN DE ARGUMENTOS

1.1 ¿Qué es la lógica?
1.2 Argumentos, premisas y conclusiones
1.3 Diagramas para los argumentos
1.4 Pasajes multi-argumentales
1.5 Ejercicios
1.6 Solución de los ejercicios
1.7 Ejercicios propuestos
1.8 Problemas

CAPÍTULO 2
REPRESENTACIÓN SIMBÓLICA DE LA INFORMACIÓN

2.1 Conectivos y tablas de verdad
2.2 Ejemplos de representación del conocimiento
2.3 Formas, enunciados y argumentos
2.4 Formas enunciativa tautológicas, contradictorias
2.5 Verdad y validez
2.6 Análisis utilizando tablas de verdad
2.7 Ejercicios

CAPÍTULO 3
ÁRBOLES DE FORZAMIENTO SEMÁNTICO CLÁSICO

3.1 Lenguaje de CL
3.2 Árbol de una fórmula
3.3 Marcando los nodos de un árbol
3.4 Reglas derivadas para el forzamiento de marcas
3.5 Ilustraciones
3.6 De árboles de forzamiento a diagramas
3.7 Algunos resultados importantes
3.8 Ejercicios

CAPÍTULO 4
SISTEMA DEDUCTIVO PARA LA LÓGICA CLÁSICA

4.1 Sistema axiomático deductivo para el cálculo proposicional clásico
4.2 Caracterización semántica del cálculo proposicional clásico
4.3 Caracterización del cálculo proposicional clásico con árboles de forzamiento
4.4 Pasando de los árboles a las deducciones
4.5 Sistema de deducción natural
4.6 Ejercicios

Bibliografía

subir