modus tollens
noun
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