Modus ponendo tollens (latín: «el modo que, al afirmar, niega»)[1] es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT.
[2] El modus ponendo tollens establece que, si no es posible que dos términos sean simultáneamente verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término no puede ser verdadero.
El modus ponendo tollens puede escribirse formalmente como: donde cada vez que aparezcan las instancias de «
» en las líneas de una demostración, se puede colocar «
Un ejemplo de modus ponendo tollens es: Como E.J.