Modus ponendo tollens (latín: "el modo que, al afirmar, niega") es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT.