Los modelos formales planteados en la literatura para explicar el condicionamiento clásico tienen especial dificultad en exhibir la recuperación espontánea de la respuesta condicionada. Por ello se presenta un modelo matemático del condicionamiento clásico capaz de superar tal dificultad. Dicho modelo integra en un único sistema de ecuaciones en diferencias dos ideas claves expuestas en la literatura para dar cuenta de la recuperación espontánea: a) la extinción es un proceso inhibitorio, producido por las presentaciones del estímulo condicionado aislado (sin EI) y b) la extinción es un proceso transitorio, cuyos efectos desaparecen con el paso del tiempo. Además, el modelo incorpora, por una parte, la "función de activación" del estímulo que permite la reactivación del EC en la fase de prueba, tras el paso de un tiempo después de la extinción; y por otra una "función inhibitoria", que es calculada cuando se produce la extinción, que explica parte de este proceso. Sometido tal modelo a pruebas de simulación, los resultados obtenidos resultan satisfactorios, abriéndose la posibilidad de futuras pruebas del modelo con otros fenómenos del condicionamiento clásico. Palabras clave: Modelos computacionales, simulación de procesos de aprendizaje, condicionamiento clásico, extinción, recuperación espontánea.