Traps in Mathematical Reasoning
6 mistake patterns students fall for. 2 high-frequency traps appear in almost every exam.
Confusing converse with contrapositive
The contrapositive of is (equivalent). The converse is (NOT equivalent).
Why: Both involve swapping p and q. Students forget that the contrapositive also negates both components.
Wrong truth value for conditional (p -> q)
A conditional is false ONLY when p is true and q is false. It is true in all other cases.
Why: Students expect 'if p then q' to be false when p is false, treating it like everyday causation. In logic, a false hypothesis makes the conditional vacuously true.
Wrong negation of quantifiers
Negation of 'for all x, P(x)' is 'there exists x such that NOT P(x)', not 'for all x, NOT P(x)'.
Why: Students negate the predicate but forget to change the quantifier.
Confusing AND/OR when negating
By De Morgan's laws, negation of AND becomes OR, and negation of OR becomes AND. Students often forget to switch the connective.
Why: Mechanical application of negation to each component without changing the connective between them.
Applying De Morgan incorrectly to quantifiers
De Morgan's laws for sets/logic and quantifier negation rules are related but distinct. Students mix them up.
Why: The pattern is similar (negate and swap), but quantifier negation swaps 'for all' with 'there exists', not AND/OR.
Wrong or missing base case in induction
Mathematical induction requires verifying the base case (usually n = 1). Skipping it or verifying the wrong base case invalidates the proof.
Why: Students rush to the inductive step, considering the base case trivial. Or they start induction at n = 0 when the statement is for n >= 1.
Can you spot these traps under time pressure?
Take a timed quiz on Mathematical Reasoning and see if you avoid the mistakes above.