Dalam kalkulus proposisional, modus tollens (//; MT; disebut juga modus tollendo tollens (Latin untuk "modus yang menyangkal dengan menyangkal")[1] atau menyangkal konsekuen)[2] adalah bentuk argumen valid dan aturan penarikan kesimpulan. Ini adalah sebuah penerapan dari kebenaran umum bahwa jika sebuah pernyataan adalah benar, maka kontra positif-nya juga benar. Jenis argumen ini sangat mirip dengan argumen jenis modus ponens. Namun, di sisi lain memiliki beberapa perbedaan dalam bentuk argumennya.[3]
[Modus] tollens is always an abbreviation for modus tollendo tollens, the mood that by denying denies.