Text this: Modelamiento lógico de sistemas formales en el derecho penal y sus efectos en el aprendizaje