Text this: Variables sintácticas (negación), de congruencia y de tarea en la verificación de enunciados /