Text this: Segmentación de imágenes de color empleando el espacio de variación total: Una aplicación de los modelos de Kripke