Modus tollens

Penulisan ulang "modus tollens" sering terlihat, misalnya dalam teori himpunan: