también conocido como silogismo alternativo o modus tollendo ponens, es un razonamiento formal en el que una premisa categórica se combina con una premisa disyuntiva (o alternativa) para llegar a una conclusión.