∈집합과 명제 Lab

Could everyone agree on exactly who belongs in 'the club of tall people'?

A set is a clear fence: everyone who judges gets the same result. A proposition is a sentence that is definitely true or definitely false.

Experiment

Hands-on experiment

🔮 Predict first — which of these clubs can be pinned down with certainty?

🚧 The evens fence A — rule: divisible by 2

Tap a number tile to push it toward the fence. The fence judges by itself.

Inside the fence · A

still empty

Outside the fence

still empty

📖 Read more — why it exists · insights · common mistakes · formulasExpand ▾

Why

Why does this exist?

Math breaks down not at hard calculations but at fuzzy words. 'Tall' and 'delicious' get a different verdict from every person. No logic can be stacked on top of words like that.

So mathematicians built fences first. A rule like '170cm or taller' gives the same verdict no matter who judges. Such a clear collection is a set, and a sentence that is definitely true or false is a proposition.

Sets and logic are not one chapter among many; they are the grammar of all mathematics. Solutions of equations, events in probability, domains of functions — all of them are sets. Master this grammar and every later concept comes into focus.

Insight

Insights from the video

“Math does not allow buildings raised on fuzzy words.”
Everyday conversation only needs to 'roughly get through', but in math one fuzzy word brings the whole structure down. The strict entry rule for sets is not pedantry — thousands of floors of logic must stand on top of it.

“The weapon that never loses an argument is the contrapositive.”
When a claim is hard to attack head-on, examine its flipped-and-negated version instead: same claim, different angle. A detective's alibi reasoning is exactly the contrapositive at work.

Misconception

Common misconceptions

If a proposition is true, its flipped version (the converse) must be true too.

✓

'If it rains, the ground gets wet' is true, but the flipped 'if the ground is wet, it rained' collapses with one street-washing. A single counterexample makes a proposition false. The only flip that preserves truth is the contrapositive.

Any collection of things counts as a set.

✓

'The collection of delicious foods' has different elements for every judge. Only a collection where everyone reaches the same verdict is a set. Math insists on this because no logic can be built on a fuzzy fence.

Formula

Writing it as math

Here is what you fenced, overlapped, and flipped in the experiment, written in mathematical symbols.

🔬 Formula anatomy — matched with the sentences you flipped in stage 3

≡

Elements and sets

When fence A opens its gate, the number is an element (∈); when it refuses, ∉. Just as every tile in stage 1 got the same verdict, a set needs a clear rule.

Intersection and union

'And' (∩) must pass both fences, so it narrows. 'Or' (∪) needs only one gate, so it widens. The middle and the whole of the stage-2 Venn diagram are exactly these two.

The contrapositive law

The converse and the inverse can betray you, but the flipped-and-negated contrapositive always matches the original's truth. This is why a stuck proof may prove the contrapositive instead.

Sufficient and necessary conditions

Saying p→q is true means the truth-set fence of p sits entirely inside the fence of q. The inner p is a sufficient condition; the outer q is a necessary condition.

In Real Life

Where you meet it in real life

Search filters: AND vs OR

Filter a shop by 'wireless AND under $50' and the results shrink; switch to 'wireless OR under $50' and they explode. Filters are intersection and union turned into buttons.

Contract clauses

In 'payment is made only if condition A holds', is A sufficient or necessary? Misreading the direction of a conditional costs real money. Reading a contract is proposition-reading.

Programming if-statements

if (condition) is a proposition machine judging true or false. && works like intersection and || like union. A large share of bugs come from mixing up 'and' with 'or'.

The alibi — contrapositive reasoning

When 'if you are the culprit, you were at the scene' is true, the alibi 'I wasn't at the scene' proves 'I am not the culprit'. The logical backbone of every detective story is the contrapositive.

Practice

Practice — conquer the types

Conquered 0 / 4

Which of these collections is definitely a set?

Among the numbers 1 to 12, how many are even AND multiples of 3?

Among the converse, the inverse, and the contrapositive, which always matches the original proposition's truth?

'If x>4 then x>2' is true. What kind of condition is x>4 for x>2?

Watch

Concepts connect

Previous concept

≤

Inequalities

The solution of an inequality is exactly a fence around the numbers that satisfy the condition — a truth set.

← Inequalities lab

Leads to next

f(x)

Function

A rule of correspondence between one fence and another — that is a function.

Go to the Function lab →

Labs worth exploring together

Related lab

nCr

Counting & Combinatorics

'And' multiplies, 'or' adds — the grammar you learned with sets becomes the grammar of counting.

Go to the Counting & Combinatorics lab →