modus ponendo tollens (mpt) (rule of inference) - German English Dictionary