Jabarkan Bukan Q . (premis) dari Modus tollens

Oleh karena itu, tidak P. (modus ponens)

Demikian juga, setiap penggunaan modus ponens dapat dikonversi ke penggunaan modus tollens dan transposisi.

Validitas modus tollens dapat ditunjukkan secara jelas melalui tabel kebenaran.

Berdasarkan tabel kebenaran di tersebut dimana yang dinyatakan bahwa [(p → q) ∧ ~q] → ~p merupakan tautologi. Sehingga modus tollens dapat dinyatakan sebagai sebuah argumentasi yang valid.