Modus tollens

Setiap penggunaan "modus tollens" dapat dikonversi ke penggunaan "modus ponens" dan satu penggunaan transposisi untuk premis yang merupakan implikasi material. Misalnya: