Modus Ponendo Tollens significa “modo que poniendo (afirmando) quita (niega)”, Es una implicación tautológica que afirma que si tenemos la imposibilidad simultánea de la conjunción de los dos miembros de una conjunción, y si también disponemos uno de los miembros de dicha conjunción, ello nos permite inferir la negación del otro miembro como conclusión. En forma de implicación tautológica se representa: [¬(p∧q)∧p]→¬q o bien: [¬(p∧q)∧q]→¬p