Modus ponens: If P then Q; P; therefore Q. Option A is modus tollens; option B is disjunctive syllogism; option D is hypothetical syllogism.