Conjunctive syllogism

Alternative name for the Modus Ponendo Tollens.