Jabarkan Prinsip dari Modus tollens

Prinsip penggunaan pernyataan pada modus tollens mengikuti syarat kondisi dan ingkaran konsekuennya dianggap benar, ingkaran antesedennya yang dapat disimpulkan secara sah. Sehingga dapat dikemukakan bahwa jika p terjadi maka q terjadi q tidak terjadi, maka dapat tarik kesimpulan bahwa p tidak terjadi. Aturan kesimpulan modus tollens memvalidasi kesimpulan dari P berarti Q dan kontradiktif dari Q untuk kontradiktif dari P. Aturan modus tollens dapat dinyatakan secara resmi. Umumnya, modus tollens dapat disimbolkan sebagai berikut.

dimana  pernyataan "P maka Q".berarti "bukan kasus yang Q" (atau di singkat "bukan Q"). Kemudian, setiap kali ""dan "" masing-masing muncul dalam pembuktian, kemudian "" secara sah dapat ditempatkan pada kesimpulan. Sejarah aturan inferensi modus tollens kembali ke zaman dahulu. Yang pertama secara eksplisit menggambarkan bentuk argumen modus tollens adalah Theophrastus.