Abstract: Based on the mental models theory, Orenes and Johnson-Laird analyze certain inferences that, being valid in standard logic, individuals tend to reject. One type of such inferences refers to the logical rule that introduces conditionals and they propose a mechanism of modulation that makes these inferences acceptable. This brief paper shows that Orenes and Johnson-Laird’s results reveal that, if the idea that human reasoning follows formal rules is accepted, a restriction on the use of the conditional introduction rule needs to be assumed. That restriction is that the denial of the antecedent must allow deriving the consequent. Resumen: Basándose en la teoría de los modelos mentales, Orenes y Johnson-Laird analizan ciertas inferencias que, a pesar de que son válidas en la lógica estándar, tienden a ser rechazadas por los individuos. Un tipo de tales inferencias hace referencia a la regla lógica que introduce condicionales y ellos proponen un mecanismo de modulación que convierte a estas inferencias en aceptables. Este breve trabajo muestra que los resultados de Orenes y Johnson-Laird revelan que, si se acepta la idea de que el razonamiento humano sigue reglas formales, es necesario asumir una restricción para la utilización de la regla de la introducción del condicional. Tal restricción es que la negación del antecedente tiene que permitir derivar el consecuente.