modus ponendo tollens mpt (rule of inference)

listen to the pronunciation of modus ponendo tollens mpt (rule of inference)