El programa de computadora verificó diferentes modelos para ver cuál predecía con precisión siel estudiante aprobaría la clase en función desus calificaciones de tarea.
Un problema de matemáticas y su solución forman unconjuntode oraciones; la respuesta correcta proporciona los modelos paraese problema, haciendo que las oraciones matemáticas sean verdaderas.