Tollendo ponens ejemplos

En lógica, el "silogismo disyuntivo", históricamente conocido como "modus tollendo ponens" (en latín, "modo que negando afirma") o "MTP", es una forma válida de argumento:
es el caso que A, o es el caso que B
No A
Por lo tanto, B
o exclusivo:
O es el caso que A, o es el caso que B
No A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podría ser:
O es de día o es de noche.
No es de día.
Por lo tanto, es de noche....