The history of the inference rule modus tollens goes back to antiquity.
Sejarah aturan inferensi modus tollens kembali ke jaman dahulu.