Modus tollens is a valid form of argument that denies the antecedent by denying the consequent of a conditional. It proceeds from “if p, then q” and “not q” to the conclusion “not p”. This preserves truth because if p were true, q could not be false. Therefore the pattern described in the stem is known as modus tollens.
Option A:
Option A, affirming the consequent, argues from “if p then q” and “q” to “p”. This pattern is invalid because q might be true for other reasons. Thus affirming the consequent is a fallacy, not the valid form in the question.
Option B:
Option B correctly names modus tollens as the rule that infers “not p” from “if p then q” and “not q”. It is a central tool in deductive proof and refutation. Hence this option accurately answers the question.
Option C:
Option C, denying the antecedent, moves from “if p then q” and “not p” to “not q”. This is also invalid because q could still be true for other causes. Therefore denying the antecedent cannot be the form intended by the stem.
Option D:
Option D, reductio error, is not a standard label for this precise conditional pattern. While reductio arguments sometimes use similar ideas, the technical name of the form in the question is modus tollens.
Comment Your Answer
Please login to comment your answer.
Sign In
Sign Up
Answers commented by others
No answers commented yet. Be the first to comment!