modus tollendo ponens mtp (rule of inference)

listen to the pronunciation of modus tollendo ponens mtp (rule of inference)