(Latin for fornektelse modus. ) En slutning regel som sier at hvis B er falske og en innebærer B, en er også falsk. Dette er ansett som en "usikker" tilnærming sammenlignet med modus ponens fordi beviser en negativ er alltid svakere enn beviser en positiv.