Sets, Venn diagrams and the words that trip people up
Most logic errors are vocabulary errors.
A set is a collection of things. That is the whole definition, and it is deliberately plain, because sets are the language almost everything else in mathematics is written in.
The difficulty is not the idea. It is that the words describing how sets combine mean something slightly different in mathematics than in everyday speech, and the gap is where mistakes live.
Union, intersection, complement
- Union (A or B): everything in either set, or both.
- Intersection (A and B): only the things in both.
- Complement (not A): everything outside A.
- Difference (A minus B): in A, not in B.
The trap is or. In English, 'tea or coffee' usually means one, not both. In mathematics 'or' always includes both unless it says otherwise. A number that is even or prime includes 2, which is both.
Adding 18 and 15 counts the 8 who do both twice. Subtracting the overlap once fixes it - that is the inclusion-exclusion principle, and it is the single most useful thing Venn diagrams teach.
All, some, none - and their opposites
Negating a quantified statement is where intuition reliably fails, and it matters well beyond mathematics.
- The opposite of 'all swans are white' is not 'no swans are white'. It is 'at least one swan is not white'.
- The opposite of 'some students passed' is 'no students passed'.
- The opposite of 'no one came' is 'at least one person came'.
So disproving 'all X are Y' takes exactly one counterexample, while proving it requires handling every case. That asymmetry is the same one from the proof article, stated in the language of sets.
If-then, and its evil twin
'If it is raining, the ground is wet' is a conditional. Two things follow from it and two things do not, and mixing them up is probably the most common reasoning error there is.
- Valid: it is raining, therefore the ground is wet.
- Valid: the ground is not wet, therefore it is not raining.
- INVALID: the ground is wet, therefore it is raining. (Someone may have used a hose.)
- INVALID: it is not raining, therefore the ground is not wet.
The two invalid ones have names - affirming the consequent and denying the antecedent - and they turn up constantly in arguments, advertising and bad science reporting. 'Successful people wake up early, so waking up early will make me successful' is exactly the third line.
The contrapositive. 'If A then B' is always equivalent to 'if not B then not A'. That equivalence is genuinely useful: sometimes a statement is hard to prove directly and its contrapositive is easy, and you are allowed to swap.
Where this shows up in puzzles
Odd-one-out questions are set questions. You are looking for a property that four figures share and one lacks - a set containing four of the five. When two different properties each produce a four-one split, you have two overlapping sets, and the Venn picture is the right way to think about it.
Logic-grid puzzles are pure set reasoning: each clue removes possibilities, and the answer is what survives every constraint. The skill is applying 'not' correctly, which is exactly the vocabulary above.