Modus tollens: If A then B; not-B; therefore not-A. Option A is modus ponens; option B is the fallacy of affirming the consequent; option D is hypothetical syllogism.