Affirming the Consequent
A free Logic lesson from the “Argument Validity” unit, with a worked example and practice problems including step-by-step solutions.
Affirming the consequent confuses a sufficient condition with a necessary one. A conclusion may happen for more than one reason. Learning objective: Recognize why p → q, q, therefore p is invalid. Prerequisite: No formal prerequisite. Work in this lesson starts with ordinary language, then connects the idea to symbols only after the meaning is clear. Example 1: 'If p then q; p; therefore q' is valid modus ponens. Example 2: 'If p then q; q; therefore p' is affirming the consequent and is invalid. A common misconception is to treat familiar wording as proof; instead, check exactly what the statement says and what follows from it.
What you'll learn
- Recognize why p → q, q, therefore p is invalid
- Explain the idea in plain English before using symbols
- Use examples, non-examples, or counterexamples to check the reasoning
Worked example
Problem. Example case A (Affirming the Consequent): Name the form: If p then q. p. Therefore q.
- Worked Example: First identify exactly what the question is asking: Example case A (Affirming the Consequent): Name the form: If p then q. p. Therefore q.
- Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
- The argument uses p → q.
- It affirms p.
Answer: Modus ponens
Practice problems
1. Practice case A (Affirming the Consequent): Name the form: If p then q. p. Therefore q.
Choices: Modus ponens · Modus tollens · Affirming the consequent · Denying the antecedent
Show solution
- Warm-up: First identify exactly what the question is asking: Practice case A (Affirming the Consequent): Name the form: If p then q. p. Therefore q.
- Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
- The argument uses p → q.
- It affirms p.
- Therefore q follows by modus ponens.
- Verify the selected choice by checking that it satisfies the original prompt and that the other choices fail the same test.
Answer: Modus ponens
2. Practice case B (Affirming the Consequent): Name the form: If p then q. Not q. Therefore not p.
Choices: Modus tollens · Modus ponens · Affirming the consequent · Hypothetical syllogism
Show solution
- Warm-up: First identify exactly what the question is asking: Practice case B (Affirming the Consequent): Name the form: If p then q. Not q. Therefore not p.
- Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
- The argument uses p → q.
- It denies q.
- Therefore ¬p follows by modus tollens.
- Verify the selected choice by checking that it satisfies the original prompt and that the other choices fail the same test.
Answer: Modus tollens
3. Practice case C (Affirming the Consequent): Name the form: If p then q. If q then r. Therefore if p then r.
Choices: Hypothetical syllogism · Disjunctive syllogism · Denying the antecedent · Biconditional definition
Show solution
- Warm-up: First identify exactly what the question is asking: Practice case C (Affirming the Consequent): Name the form: If p then q. If q then r. Therefore if p then r.
- Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
- The argument chains conditionals.
- p leads to q, and q leads to r.
- So p leads to r.
- Verify the selected choice by checking that it satisfies the original prompt and that the other choices fail the same test.
Answer: Hypothetical syllogism
4. Practice case D (Affirming the Consequent): Name the form: p or q. Not p. Therefore q.
Choices: Disjunctive syllogism · Modus ponens · Affirming the consequent · Inverse
Show solution
- Warm-up: First identify exactly what the question is asking: Practice case D (Affirming the Consequent): Name the form: p or q. Not p. Therefore q.
- Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
- The argument starts with an or statement.
- One option is ruled out.
- The remaining option follows.
- Verify the selected choice by checking that it satisfies the original prompt and that the other choices fail the same test.
Answer: Disjunctive syllogism
5. Practice case E (Affirming the Consequent): Which form is invalid? If p then q. q. Therefore p.
Choices: Affirming the consequent · Modus ponens · Modus tollens · Disjunctive syllogism
Show solution
- Core Practice: First identify exactly what the question is asking: Practice case E (Affirming the Consequent): Which form is invalid? If p then q. q. Therefore p.
- Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
- The conclusion may have another cause.
- q being true does not force p.
- So this is affirming the consequent.
- Verify the selected choice by checking that it satisfies the original prompt and that the other choices fail the same test.
Answer: Affirming the consequent
Practice this interactively with instant feedback and an AI tutor.
Practice Affirming the Consequent Take the free placement check