Argumentación deductiva con diagramas y árboles de forzamiento