
Hori era formalean honela adieraz daiteke: non -k esan nahi duen “P-k inplikatzen du Q” eta -k esan nahi duen “ez da Q-ren kasua” (edo, laburrago, “ez Q”).

Hau da, -k inplikatzen badu, eta ez bada egiazkoa, orduan ere ez da egiazkoa. Modus tollendo tollens inferentzia-erregelak ezartzen du lehen baieztapen batek bigarren bat inplikatzen badu, eta bigarrena ez bada egiazkoa, lehenak ezin duela egiazkoa izan inferitu daitekeela. Modus tollendo tollens erregela esplizituki azaltzen lehenak estoikoak izan ziren. Modus tollendo tollens erregelaren historiak antzinaroraino egiten du atzera. Adierazpen bat baliozkoa bada, bere kontrajartzea ere badela dioen egia orokorraren aplikazioa da. Modus tollendo tollens (latinez: "ukatuz ukatzen duen modua" modus tollens, atzekariaren ukapenaren legea edo kontrajartze-legea izenez ere ezaguna) argudio-forma eta inferentzia-erregela da logika proposizionalean.Der lateinische Name Modus tollendo tollens, „durch Aufheben aufhebende Schlussweise“, erklärt sich daraus, dass es sich um eine Schlussfigur (modus) handelt, die bei gegebener erster Prämisse,, durch das „Aufheben“ (tollendo) des Satzes B, also durch das Setzen seiner Verneinung,, einen anderen Satz, nämlich, ebenfalls „aufhebt“ (tollens), also zu seiner Verneinung,, führt.Der Modus tollendo tollens ist damit ein Gegenstück zum Modus ponendo ponens. Er besagt, dass aus den Voraussetzungen „Wenn, dann. für „Modus des Aufhebens“, wörtlich: „aufhebender Modus“), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens), ist eine Schlussfigur, die in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.

