Logic / Argument Forms
Least You Need to Know: Argument Forms
A valid argument form guarantees the conclusion whenever the premises are true. Learn the classic valid forms and the common traps.
The least you need to know
- Modus ponens and modus tollens are valid.
- Hypothetical syllogism chains implications.
- Affirming the consequent is invalid.
- Denying the antecedent is invalid.
- Validity depends on the form, not on whether the premises are actually true.
Key notation
p → q
if p then q
¬q
not q
∴
therefore
p
premise or conclusion statement
Tiny worked example
- Premises: `p → q`, `q → r`, and `p`.
- First use modus ponens to get `q`.
- Then use modus ponens again to get `r`.
- So the chained argument is valid.
Common mistakes
- Students often treat `q` as enough to conclude `p` from `p → q`.
- Students sometimes label an argument invalid because the topic sounds unfamiliar.
- Students often mix up modus tollens with denying the antecedent.
How to recognize this kind of problem
- The problem gives premises and asks whether the conclusion follows.
- You see an implication plus either its premise or the negation of its conclusion.
- The answer choices describe named argument forms.