Saya mau tau Contoh lain: dari Modus tollens

Jika saya pembunuh, maka saya dapat menggunakan kapak.

Saya tidak bisa menggunakan kapak.

Oleh karena itu, saya tidak pembunuh.

Jika Rex adalah ayam, maka ia adalah seekor burung.

Oleh karena itu, Rex bukan ayam.

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

Jika P, maka Q. (premis – implikasi material)

Jika tidak Q, maka tidak P. (transposisi)