∼P ∨ M
A) Modus tollens.
B) Denying the antecedent.
C) Pure hypothetical syllogism.
D) Disjunctive syllogism.
E) Invalid.

Question

∼P ∨ M 
A) Modus tollens. 
B) Denying the antecedent. 
C) Pure hypothetical syllogism. 
D) Disjunctive syllogism. 
E) Invalid.

Quizplus · Accepted Answer

This is a disjunctive syllogism, which states that if one disjunct (statement separated by "or") is false, the other must be true. In this case, we can assume that ¬P (not P) is true, which makes the first disjunct true, therefore M must be true.