Decidir cuál es la mejor película o cuál es la mejor cartera para invertir son ejemplos de decisiones tomadas por las personas todos los días. Los sistemas de toma de decisiones tienen como objetivo ayudar a las personas a tomar tales decisiones. En general, un sistema de toma de decisiones procesa y analiza la información disponible para llegar a la mejor solución alternativa del problema de interés. En el marco del modelado de preferencias, los sistemas de toma de decisiones seleccionan la mejor alternativa(s) maximizando una puntuación o función de elección definida por las preferencias expresadas por los tomadores de decisiones sobre el conjunto de alternativas factibles. Sin embargo, los sistemas de toma de decisiones pueden tener errores lógicos que los desarrolladores no pueden apreciar. La principal contribución de este documento es la provisión de un teorema de verificación de la función de puntuación basado en el grado de dominancia guiado por cuantificadores (QGDD) con el operador de media en el contexto de relaciones de preferencia aditivas. El teorema proporcionado tiene varios beneficios porque se puede aplicar para verificar que el resultado obtenido es correcto y que no hay problemas en la programación de los sistemas de toma de decisiones correspondientes, mejorando así su fiabilidad. Además, este teorema actúa en diferentes partes de dichos sistemas, ya que no solo verifica que el orden de las alternativas es correcto, sino que también verifica que la creación de la relación de preferencia global es correcta.