Modus tollens

dimana formula_8 adalah simbol metalogical yang berarti bahwa formula_6 adalah konsekuensi logis dari tautologi atau teorema dari logika proposisional: