noun
: a principle in logic establishing the conditions under which one statement can be derived or validly deduced from one or more other statements especially in a formalized language — called also rule of deduction ; compare modus ponens , modus tollens