modus tollendo tollens (mtt) (rule of inference) - Spanish English Dictionary