modus tollendo tollens mtt (rule of inference)

listen to the pronunciation of modus tollendo tollens mtt (rule of inference)