(Λατινικά για άρνηση λειτουργία. ««««) Ένας συμπερασματικός κανόνας που αναφέρει ότι εάν Β είναι ψευδής και ένα που σημαίνει Β , τότε ένα είναι επίσης ψευδής. Αυτό θεωρείται "μη ασφαλές" σε σύγκριση με το modus ponens επειδή αποδεικνύοντας μια αρνητική είναι πάντα πιο αδύναμη από την παρουσίαση αποδείξεων μια θετική προσέγγιση.