Conjunctive syllogism
Alternative name for the
Modus Ponendo Tollens
.