Multi-conditional problems can be used to corripare the mental model theory and mental rule theories of deductive reasoriing. The two theories make coiitrasting predictions about performance. The mental model theory relates the difficulty of a problem with the number of models the reasoner has to construct, whereas inentul rule theories explain this difficultyin terms of the number and complexity of the rues of inference to be applied. Experiment 1 tested the fivo theories using multiconditional problems and measured both accuracy and latency. The results supported the mental model theory, but there was a ceiling effect for accuracy and some unexpected time measurements. In experiment 2 the ceiling effect disappeared, and the mental rnodel theory was again corroborated. The paper discusses when reasoners are likely to construct mental models, the limitations of the human cognitive system and its strategic nature.Los problemas multi-condicionales permiten contrastar las principales teorías sobre el razonamiento deductivo, la de los "modelos mentales" y la de la "lógica mental", dado que sus predicciones sobre la ejecucidn son prácticamente opuestas. La primera relaciona la dificultad de un probleina con el número de modelos que es necesario construir, mientras que la segunda explica esta dificultad en función del número y complejidad de las reglas de inferencia que deben aplicarse. En un primer experimento comparamos ambas teorías utilizando medidas de precisión y temporales. Los resultados apoyaron la teoría de los modelos mentales, si bien encontramos un efecto techo en las medidas de precisión y algún resultadoimprevisto en las medidas ternporales. En un segundo experimento se replicaron los resultados desapareció el efecto techo, confirinándose así la teoría de los modelos mentales. Se discute cuándo es probable que los sujetos construyan los modelos en relación con las limitaciones de procesamiento del sistema cognitivo y su naturaleza estratégica
