Его также можно назвать отрицанием консеквента, и это допустимая форма аргумента, в отличие от одноименных, но недействительных аргументов, таких как подтверждение консеквента или отрицание антецедента. Modus tollens иногда путают с доказательством противоречия или доказательством контрапозитива.
Modus tollendo tollens (латинское: способ отрицать путем отрицания) - это действенная, простая форма аргумента в классической логике, которую иногда называют отрицанием следствия.