← Senior Mathematics Studio

LEARN · EXPLAIN · REVISE

Sets and commonly used logic: mixed assessment

Read the idea, work independently, then explain what changed.

TOPIC 01

Sets and commonly used logic: mixed assessment

A mixed assessment: identify the method, justify it and revise your reasoning.

What you will be able to explain

  • Connect the chapter skills without relying on the order of the exercises.

Try it. Leave your reasoning visible.

Use one hint at a time. A correction explains what changed, not just the final answer.

01 / Foundation#Your turn

Count the distinct elements.

A={7,8,7,9}A=\{7,8,7,9\}
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Check the membership rule and count distinct objects.
Hint 2
Remove the repeated entry.
Worked solution
  1. Check the membership rule and count distinct objects.

  2. Calculate or simplify this relation.

    A={7,8,9};∣A∣=3A=\{7,8,9\};\quad |A|=3
  3. Order and repetition do not change a set.

The requested value is 3.

Checks and common pitfalls: Order and repetition do not change a set.

Think first. Reveal a hint when the class is ready.

02 / Foundation#Your turn

How many proper subsets does A have?

∣A∣=8|A|=8
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Apply the element-by-element definition of inclusion.
Hint 2
Remove only the full set.
Worked solution
  1. Apply the element-by-element definition of inclusion.

  2. Calculate or simplify this relation.

    28−1=2552^{8}-1=255
  3. For a nonempty set, the empty set remains a proper subset.

The requested value is 255.

Checks and common pitfalls: For a nonempty set, the empty set remains a proper subset.

Think first. Reveal a hint when the class is ready.

03 / Foundation#Your turn

Find the cardinality of the complement.

A⊆U, ∣U∣=26, ∣A∣=9A\subseteq U,\ |U|=26,\ |A|=9
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Translate membership into “and”, “or”, or “not”.
Hint 2
Partition the universal set into two disjoint parts.
Worked solution
  1. Translate membership into “and”, “or”, or “not”.

  2. Calculate or simplify this relation.

    ∣U∖A∣=26−9=17|U\setminus A|=26-9=17
  3. The complement depends on the specified universal set.

The requested value is 17.

Checks and common pitfalls: The complement depends on the specified universal set.

Think first. Reveal a hint when the class is ready.

04 / Foundation#Your turn

Solve both parts and justify the conditions used. Part A: Repair this proposed implication. Part B: Disprove: a positive product forces both factors to be positive.

A: xy=xz⇒y=zB: ab>0\begin{gathered}\text{A: }xy=xz\Rightarrow y=z\\\text{B: }ab>0\end{gathered}
  • Use the domain, units and sampling assumptions stated in the question.
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
A: Test both directions and seek a counterexample when a direction fails.
Hint 2
B: Test both directions and seek a counterexample when a direction fails.
Worked solution
  1. Part A reasoning

  2. Test both directions and seek a counterexample when a direction fails.

  3. Calculate or simplify this relation.

    x(y−z)=0⇒x=0 or y=zx(y-z)=0\Rightarrow x=0\text{ or }y=z
  4. Cancellation requires a nonzero factor.

  5. Part B reasoning

  6. Test both directions and seek a counterexample when a direction fails.

  7. Calculate or simplify this relation.

    (−8)(−9)=72>0(-8)(-9)=72>0
  8. A single admissible counterexample disproves the universal claim.

A: It holds if x≠0; without this condition it can fail. B: Choose a=-8, b=-9.

Checks and common pitfalls: Cancellation requires a nonzero factor. A single admissible counterexample disproves the universal claim.

Reasoning checklist · self / teacher assessment
  • Solve part A with its stated restrictions.
  • Solve part B using an appropriate representation.
  • Give the reasoning and check conditions in both parts.

Think first. Reveal a hint when the class is ready.

05 / Foundation#Your turn

Count the possible integer witnesses.

−7<x<7-7<x<7
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Exclude both endpoints.
Worked solution
  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    (6)−(−6)+1=13(6)-(-6)+1=13
  3. Existence needs one witness; counting asks for all admissible witnesses.

The requested value is 13.

Checks and common pitfalls: Existence needs one witness; counting asks for all admissible witnesses.

Think first. Reveal a hint when the class is ready.

06 / Foundation#Your turn

Are the two sets equal? Explain.

A={8,9}, B={9,8,8}A=\{8,9\},\ B=\{9,8,8\}
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Check the membership rule and count distinct objects.
Hint 2
Compare membership, not position.
Worked solution
  1. Check the membership rule and count distinct objects.

  2. Calculate or simplify this relation.

    A⊆B,B⊆AA\subseteq B,\quad B\subseteq A
  3. Every element of either set occurs in the other.

Yes; the members coincide.

Checks and common pitfalls: Every element of either set occurs in the other.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

07 / Standard#Your turn

Solve both parts and justify the conditions used. Part A: Prove that the empty set is a subset of every set. Part B: How many subsets does A have?

A: ∅⊆AB: ∣A∣=10\begin{gathered}\text{A: }\varnothing\subseteq A\\\text{B: }|A|=10\end{gathered}
  • Use the domain, units and sampling assumptions stated in the question.
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
A: Apply the element-by-element definition of inclusion.
Hint 2
B: Apply the element-by-element definition of inclusion.
Worked solution
  1. Part A reasoning

  2. Apply the element-by-element definition of inclusion.

  3. Calculate or simplify this relation.

    ¬(∅⊆A)⇒∃x∈∅:x∉A\neg(\varnothing\subseteq A)\Rightarrow\exists x\in\varnothing:x\notin A
  4. The proposed counterexample cannot exist.

  5. Part B reasoning

  6. Apply the element-by-element definition of inclusion.

  7. Calculate or simplify this relation.

    210=10242^{10}=1024
  8. The empty set and the full set both count.

A: No element of the empty set can violate inclusion. B: The requested value is 1024.

Checks and common pitfalls: The proposed counterexample cannot exist. The empty set and the full set both count.

Reasoning checklist · self / teacher assessment
  • Solve part A with its stated restrictions.
  • Solve part B using an appropriate representation.
  • Give the reasoning and check conditions in both parts.

Think first. Reveal a hint when the class is ready.

08 / Standard#Your turn

Find the interval intersection.

[−8,11)∩(8,20][-8,11)\cap(8,20]
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Translate membership into “and”, “or”, or “not”.
Hint 2
Use the tighter bound at each end.
Worked solution
  1. Translate membership into “and”, “or”, or “not”.

  2. Calculate or simplify this relation.

    8<x<118<x<11
  3. Each endpoint fails at least one original condition.

The intersection is (8,11).

Checks and common pitfalls: Each endpoint fails at least one original condition.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

09 / Standard#Your turn

Solve both parts and justify the conditions used. Part A: Disprove: a positive product forces both factors to be positive. Part B: Give a necessary and sufficient condition for the product to vanish.

A: ab>0B: ab=0\begin{gathered}\text{A: }ab>0\\\text{B: }ab=0\end{gathered}
  • Use the domain, units and sampling assumptions stated in the question.
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
A: Test both directions and seek a counterexample when a direction fails.
Hint 2
B: Test both directions and seek a counterexample when a direction fails.
Worked solution
  1. Part A reasoning

  2. Test both directions and seek a counterexample when a direction fails.

  3. Calculate or simplify this relation.

    (−8)(−9)=72>0(-8)(-9)=72>0
  4. A single admissible counterexample disproves the universal claim.

  5. Part B reasoning

  6. Test both directions and seek a counterexample when a direction fails.

  7. Calculate or simplify this relation.

    ab=0  ⟺  (a=0)∨(b=0)ab=0\iff(a=0)\lor(b=0)
  8. The inclusive “or” allows both factors to be zero.

A: Choose a=-8, b=-9. B: At least one factor is zero.

Checks and common pitfalls: A single admissible counterexample disproves the universal claim. The inclusive “or” allows both factors to be zero.

Reasoning checklist · self / teacher assessment
  • Solve part A with its stated restrictions.
  • Solve part B using an appropriate representation.
  • Give the reasoning and check conditions in both parts.

Think first. Reveal a hint when the class is ready.

10 / Standard#Your turn

Negate this statement.

∀x∈R, x2>8\forall x\in\mathbb R,\ x^2>8
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Keep the domain explicit and distinguish all values from one witness.
Hint 2
Swap ∀ for ∃ and negate >.
Worked solution
  1. Keep the domain explicit and distinguish all values from one witness.

  2. Calculate or simplify this relation.

    ∃x∈R, x2≤8\exists x\in\mathbb R,\ x^2\le8
  3. The equality case belongs in the negation.

Some real x satisfies x²≤8.

Checks and common pitfalls: The equality case belongs in the negation.

Reasoning checklist · self / teacher assessment
  • State the relevant definition, condition or model.
  • Show a valid calculation, proof or counterexample.
  • Interpret the conclusion with its restrictions.

Think first. Reveal a hint when the class is ready.

11 / Standard#Your turn

Solve both parts and justify the conditions used. Part A: Does “interesting books” specify a well-defined set? Repair the description. Part B: Count the distinct elements.

B: A={7,8,7,9}\begin{gathered}\text{B: }A=\{7,8,7,9\}\end{gathered}
  • Use the domain, units and sampling assumptions stated in the question.
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
A: Check the membership rule and count distinct objects.
Hint 2
B: Check the membership rule and count distinct objects.
Worked solution
  1. Part A reasoning

  2. Check the membership rule and count distinct objects.

  3. Different readers may disagree about membership. Fix a catalogue and a publication year to make membership decidable.

  4. Set membership must be definite rather than a personal preference.

  5. Part B reasoning

  6. Check the membership rule and count distinct objects.

  7. Calculate or simplify this relation.

    A={7,8,9};∣A∣=3A=\{7,8,9\};\quad |A|=3
  8. Order and repetition do not change a set.

A: No; use an objective criterion such as books published in a fixed year. B: The requested value is 3.

Checks and common pitfalls: Set membership must be definite rather than a personal preference. Order and repetition do not change a set.

Reasoning checklist · self / teacher assessment
  • Solve part A with its stated restrictions.
  • Solve part B using an appropriate representation.
  • Give the reasoning and check conditions in both parts.

Think first. Reveal a hint when the class is ready.

12 / Standard#Your turn

How many subsets does A have?

∣A∣=10|A|=10
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Apply the element-by-element definition of inclusion.
Hint 2
Each element may be included or omitted.
Worked solution
  1. Apply the element-by-element definition of inclusion.

  2. Calculate or simplify this relation.

    210=10242^{10}=1024
  3. The empty set and the full set both count.

The requested value is 1024.

Checks and common pitfalls: The empty set and the full set both count.

Think first. Reveal a hint when the class is ready.

13 / Transfer#Your turn

Find the cardinality of the union.

∣A∣=13, ∣B∣=12, ∣A∩B∣=2|A|=13,\ |B|=12,\ |A\cap B|=2
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Translate membership into “and”, “or”, or “not”.
Hint 2
Remove the overlap counted twice.
Worked solution
  1. Translate membership into “and”, “or”, or “not”.

  2. Calculate or simplify this relation.

    ∣A∪B∣=13+12−2=23|A\cup B|=13+12-2=23
  3. Every union member must be counted once.

The requested value is 23.

Checks and common pitfalls: Every union member must be counted once.

Think first. Reveal a hint when the class is ready.

14 / Transfer#Your turn

Solve both parts and justify the conditions used. Part A: Give a necessary and sufficient condition for the product to vanish. Part B: Repair this proposed implication.

A: ab=0B: xy=xz⇒y=z\begin{gathered}\text{A: }ab=0\\\text{B: }xy=xz\Rightarrow y=z\end{gathered}
  • Use the domain, units and sampling assumptions stated in the question.
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
A: Test both directions and seek a counterexample when a direction fails.
Hint 2
B: Test both directions and seek a counterexample when a direction fails.
Worked solution
  1. Part A reasoning

  2. Test both directions and seek a counterexample when a direction fails.

  3. Calculate or simplify this relation.

    ab=0  ⟺  (a=0)∨(b=0)ab=0\iff(a=0)\lor(b=0)
  4. The inclusive “or” allows both factors to be zero.

  5. Part B reasoning

  6. Test both directions and seek a counterexample when a direction fails.

  7. Calculate or simplify this relation.

    x(y−z)=0⇒x=0 or y=zx(y-z)=0\Rightarrow x=0\text{ or }y=z
  8. Cancellation requires a nonzero factor.

A: At least one factor is zero. B: It holds if x≠0; without this condition it can fail.

Checks and common pitfalls: The inclusive “or” allows both factors to be zero. Cancellation requires a nonzero factor.

Reasoning checklist · self / teacher assessment
  • Solve part A with its stated restrictions.
  • Solve part B using an appropriate representation.
  • Give the reasoning and check conditions in both parts.

Think first. Reveal a hint when the class is ready.

15 / Transfer#Your turn

Solve both parts and justify the conditions used. Part A: Give an integer counterexample. Part B: Count the possible integer witnesses.

A: ∀n∈Z, n2>nB: −7<x<7\begin{gathered}\text{A: }\forall n\in\mathbb Z,\ n^2>n\\\text{B: }-7<x<7\end{gathered}
  • Use the domain, units and sampling assumptions stated in the question.
  • Use the domain, units and sampling assumptions stated in the question.
Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
A: Keep the domain explicit and distinguish all values from one witness.
Hint 2
B: Keep the domain explicit and distinguish all values from one witness.
Worked solution
  1. Part A reasoning

  2. Keep the domain explicit and distinguish all values from one witness.

  3. Calculate or simplify this relation.

    02=0≯00^2=0\not>0
  4. One witness of failure is sufficient.

  5. Part B reasoning

  6. Keep the domain explicit and distinguish all values from one witness.

  7. Calculate or simplify this relation.

    (6)−(−6)+1=13(6)-(-6)+1=13
  8. Existence needs one witness; counting asks for all admissible witnesses.

A: n=0 is a counterexample. B: The requested value is 13.

Checks and common pitfalls: One witness of failure is sufficient. Existence needs one witness; counting asks for all admissible witnesses.

Reasoning checklist · self / teacher assessment
  • Solve part A with its stated restrictions.
  • Solve part B using an appropriate representation.
  • Give the reasoning and check conditions in both parts.

Think first. Reveal a hint when the class is ready.

Focus on one question

End-of-lesson check and correction

Review your latest checked answers and explanations. A draft change requires a fresh check. Written work needs your self-assessment or a teacher’s review.

Enable JavaScript for a summary of your local work.

    Choose a foundation skill to revisit ↗

    Teacher preparation and assessment

    Question sequence

    • Ask students to name the relevant condition before calculating.

    Board plan

    • Compare valid methods and annotate their conditions.

    Anticipated thinking

    • A correct final value may still hide a missing assumption.

    Assessment checklist

    • Check the method, conditions, reasoning and interpretation separately.

    No sign-in. Work stays in this browser. Export before clearing browser data. Written reasoning is assessed with a checklist.

    Curriculum and source notes ↗