modus tollens

noun
  1. logic the principle that whenever a conditional statement and the negation of its consequent are given to be true, the negation of its antecedent may be validly inferred, as in if it's Tuesday this must be Belgium and this isn't Belgium so it's not Tuesday

Word Origin for modus tollens

literally: mood that denies
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012