(Bahasa Latin untuk penolakan mode. ««) Aturan Kesimpulan yang menyatakan bahwa jika B palsu dan menyiratkan B, maka juga palsu. Ini dianggap sebagai pendekatan yang "aman" dibandingkan dengan modus ponens karena terbukti negatif selalu lebih lemah dari membuktikan positif.