Comprender el procesamiento cognitivo de la negación es fundamental para la psicología del razonamiento (Khemlani, Orenes, & Johnson-Laird, 2012, 2014). Sin embargo, las tres teorías de mayor desarrollo en la especialidad difieren radicalmente acerca de la representación de la negación compuesta. En un estudio cronométrico de negación de conjunciones y de disyunciones nos hemos propuesto evaluar hipótesis derivadas de las tres teorías dominantes: modelos mentales, logicismo, procesamiento dual. En una tarea de equivalencia proposicional hemos analizado el curso temporal tanto de las respuestas normativas, como de las respuestas erróneas más recurrentes. Los resultados sugieren que la teoría de modelos mentales acierta al afirmar que la cantidad de modelos mentales predice el curso temporal de las respuestas normativas. La teoría logicista PSYCOP se equivoca al pronosticar una desaceleración de las respuestas que requieren secuencias inferenciales de mayor cantidad de pasos. La teoría de doble proceso centrada en recursos heurístico-analíticos se equivoca al pronosticar una aceleración de las respuestas superficiales de emparejamiento. Estos resultados tomados en conjunto sugieren que la teoría de los modelos mentales es la que cuenta con mayor soporte de evidencia experimental (Macbeth, Crivello, Fioramonti, & Razumiejczyk, en prensa). Palabras clave Razonamiento, Representación, Negación, Latencias ABSTRACT TEMPORAL COURSE OF COMPOUND NEGATION The understanding of negation can be considered as fundamental for the current psychology of reasoning. However, the three most prominent theories of negation differ about the cognitive processes involved. We aimed to test such differences in a temporal experiment focused on the negation of conjunctions and disjunctions. We applied a sentence-equivalence paradigm to test predictions derived from the mental models theory, the formal logic perspective, and the dual-process perspective. We studied the temporal course of normative responses and non-normative responses. Our results suggest that the model theory correctly predicts different response times according to the number of mental models associated to the task. The formal logic theory known as PSYCOP failed to predict slower response times for responses that require more inferential steps. The dual-process perspective also failed to predict faster processing for shallow responses. Taken together, these results suggest that the model theory of negation is the most consistent account according to the experimental evidence. Key words Reasoning, Representation, Negation, Latencies