Modus tollens

dimana formula_2 pernyataan "P maka Q".formula_3berarti "bukan kasus yang Q" (atau di singkat "bukan Q"). Kemudian, setiap kali "formula_2"dan "formula_3"masing-masing muncul dalam pembuktian, kemudian "formula_6" secara sah dapat ditempatkan pada kesimpulan. Sejarah aturan inferensi "modus tollens" kembali ke jaman dahulu.formula_7