Logic & sets
Overlapping groups, subsets, truth tables, and “if … then”.
Pen and paper is fine · no calculator needed why?
Opens at level 32.
Lesson and untimed practice
Read the full lesson and try each skill without a clock. About 3 minutes to read.
skills · practice stats
-
Overlapping groups not tried yet
worked example
Of 47 gym members, 12 swim, 23 run, and 2 do both. How many swim or run (or both)?
Answer: 33
- Adding 12 and 23 counts the 2 who do both twice, so take them off once:
- 12 + 23 − 2 = 33.
-
Counting subsets not tried yet
worked example
How many non-empty subsets does a set with 4 elements have?
Answer: 15
- Each element is in or out: 2⁴ = 16 subsets.
- Leave out the empty one: 16 − 1 = 15.
-
“If … then” not tried yet
worked example
Which statement means the same as “If a number is divisible by 4, it is even”?
- If a number is even, it is divisible by 4
- A number is divisible by 4 and it is even
- If a number is not even, it is not divisible by 4
- If a number is not divisible by 4, it is not even
Answer: If a number is not even, it is not divisible by 4
- Swapping the two parts and negating both (the contrapositive) keeps the meaning: “If a number is not even, it is not divisible by 4”.
- The converse and the inverse can be false while the original is true: 6 is even but not divisible by 4.
-
Truth-table rows not tried yet
worked example
How many of the 8 rows of the truth table make (¬p ∨ q) → r true? Key: ∨ = or, ¬ = not, → = if … then.
Answer: 5
- Check all 8 rows, written as (p, q, r) with T for true and F for false.
- False only in TTF, FTF and FFF.
- So 5 of the 8 rows make it true.
rest ladder
- 1 day
- 3 days
- 7 days
- 14 days
- 30 days
- 60 days
- mastered · every 90 days