modus tollendo tollens 0 modo que negando, niega Dada una proposición condicional y la negación de su consecuente, podemos concluir la negación de su antecedente. Se utiliza en el encadenamiento hacia atrás. 2004-11-15 backward chainingencadenamiento hacia atrás, razonamiento retroactivo