O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classificamente válido, do tipo:

P ou Q

Não P

Logo, Q