CMClearMathAcademy

Disjunctive Syllogism

A free Logic lesson from the “Argument Validity” unit, with a worked example and practice problems including step-by-step solutions.

If p or q is true and p is false, q must be true. This is useful in cases and elimination arguments. Learning objective: Use either/or reasoning when one option is ruled out. 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

Why it matters: Argument validity helps learners spot reasoning errors in word problems, explanations, and public claims.

Worked example

Problem. Example case A (Disjunctive Syllogism): Name the form: If p then q. p. Therefore q.

  1. Worked Example: First identify exactly what the question is asking: Example case A (Disjunctive Syllogism): Name the form: If p then q. p. Therefore q.
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  3. The argument uses p → q.
  4. It affirms p.

Answer: Modus ponens

Practice problems

1. Practice case A (Disjunctive Syllogism): Name the form: If p then q. p. Therefore q.

Choices: Modus ponens · Modus tollens · Affirming the consequent · Denying the antecedent

Show solution
  1. Warm-up: First identify exactly what the question is asking: Practice case A (Disjunctive Syllogism): Name the form: If p then q. p. Therefore q.
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  3. The argument uses p → q.
  4. It affirms p.
  5. Therefore q follows by modus ponens.
  6. 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 (Disjunctive Syllogism): Name the form: If p then q. Not q. Therefore not p.

Choices: Modus tollens · Modus ponens · Affirming the consequent · Hypothetical syllogism

Show solution
  1. Warm-up: First identify exactly what the question is asking: Practice case B (Disjunctive Syllogism): Name the form: If p then q. Not q. Therefore not p.
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  3. The argument uses p → q.
  4. It denies q.
  5. Therefore ¬p follows by modus tollens.
  6. 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 (Disjunctive Syllogism): 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
  1. Warm-up: First identify exactly what the question is asking: Practice case C (Disjunctive Syllogism): Name the form: If p then q. If q then r. Therefore if p then r.
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  3. The argument chains conditionals.
  4. p leads to q, and q leads to r.
  5. So p leads to r.
  6. 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 (Disjunctive Syllogism): Name the form: p or q. Not p. Therefore q.

Choices: Disjunctive syllogism · Modus ponens · Affirming the consequent · Inverse

Show solution
  1. Warm-up: First identify exactly what the question is asking: Practice case D (Disjunctive Syllogism): Name the form: p or q. Not p. Therefore q.
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  3. The argument starts with an or statement.
  4. One option is ruled out.
  5. The remaining option follows.
  6. 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 (Disjunctive Syllogism): Which form is invalid? If p then q. q. Therefore p.

Choices: Affirming the consequent · Modus ponens · Modus tollens · Disjunctive syllogism

Show solution
  1. Core Practice: First identify exactly what the question is asking: Practice case E (Disjunctive Syllogism): Which form is invalid? If p then q. q. Therefore p.
  2. Compare each answer choice with the calculation or rule, and eliminate choices that do not satisfy the condition.
  3. The conclusion may have another cause.
  4. q being true does not force p.
  5. So this is affirming the consequent.
  6. 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 Disjunctive Syllogism Take the free placement check

More Logic lessons