Tolong jelaskan mengenai Modus tollens

Dalam kalkulus proposisional, modus tollens (; MT; disebut juga modus tollendo tollens (Latin untuk "modus yang menyangkal dengan menyangkal") atau menyangkal konsekuen) 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.