El modus tollendo ponens (latín: "el modo que, al negar, afirma") también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E, o silogismo disyuntivo (Cabe anotar que para algunos autores son dos reglas diferentes ) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas, y en lógica proposicional, una regla de inferencia válida.