(לטינית עבור מניעת מצב. ) כלל מסקנה המציינת כי אם ' B ' הוא שקר, מרמז ' ' ' B ', אז ' של ' היא גם שקרית. זה נחשב גישה "לא בטוחים" לעומת ponens מודוס משום הוכחת שלילי הוא תמיד חלש יותר מאשר להוכיח חיובית.