Muchas veces, se ven reescrituras más complejas que involucran modus tollendo, por ejemplo, en la teoría de conjuntos: