Johnson-Laird y Bryne (1991).La teoría de los modelos mentales se ha constituido en un marco general para la explicación del razonamiento deductivo, estando sus orígenes en las investigaciones sobre el razonamiento silogístico categórico.
Comprende tres etapas en la que se construyen los modelos mentales: (1) la generación de los modelos mentales de las premisas en función de la comprensión de los operadores lógicos y (2) la combinación de los modelos mentales anteriores para generar un modelo mental nuevo, que describa una nueva situación no enunciada explícitamente en las premisas. (3) el aspecto deductivo del razonamiento se identifica con el proceso de la búsqueda de contraejemplos.
