Math · Unit 18

Higher Mathematics

Linear algebra, logic, sets, proof and number systems

Undergraduate mathematics shifts from calculating to proving, and this unit is the introduction to that shift.

It covers sets and functions, logic and discrete mathematics, methods of proof, vectors and matrices, and number systems and abstract algebra - the beginnings of treating structures rather than numbers as the objects of study.

This unit breaks down into 21 short steps and 120 questions, starting at difficulty 4 and building to 5. Below you can see exactly what it covers, how the path is structured, and worked examples with explanations.

Steps
21
Questions
120
Difficulty
4-5

What this unit covers

  • Number Systems and Abstract Algebra
  • Mathematical Proof
  • Logic and Discrete Math
  • Sets and Functions
  • Vectors and Matrices

Where this fits

The final unit in the Math track. Assumes Algebra and Functions and Graphs; Calculus helps.

Where people slip

A proof is an argument, not a calculation. Getting the right answer with an invalid argument scores nothing here, which is a genuine adjustment.

How the unit is structured

Higher Mathematics runs as 21 short steps that unlock in order. 15 are practice rounds and 6 are challenge rounds that pull together everything before them. Questions start at difficulty 4 and climb to 5 as you progress.

Step 1 · easierStep 21 · harder

Challenge rounds

Example questions

30 real questions from this unit, with the answer and the reason behind it, grouped by what they practise. There are 120 in the unit altogether.

Logic and Discrete Math

  • Build the sentenceLevel 4

    1. Build a true statement about a logic term.

    Answer: A statement that is always true is a tautology

    A proposition that is true under every assignment of its variables is a tautology.

  • Fact or fibLevel 4

    2. The statement P OR Q is false only when both P and Q are false.

    Answer: True

    True. An OR is true if at least one part is true, so it is false exactly when both parts are false.

  • Fill the blankLevel 4

    3. By De Morgan's law, NOT(P AND Q) is the same as NOT P ____ NOT Q.

    • ORcorrect
    • AND
    • implies
    • NOT

    De Morgan's law flips AND to OR under a negation, so NOT(P AND Q) equals NOT P OR NOT Q.

  • Guess the numberLevel 4

    4. How many ways can you choose 2 items from 6, that is C(6,2)?

    Answer: 15

    C(6,2) = 6! / (2! * 4!) = 720 / (2 * 24) = 15.

  • Match the pairsLevel 4

    5. Match each logical connective to its everyday word.

    Answer: Conjunction = AND; Disjunction = OR; Negation = NOT

    Conjunction is AND, disjunction is OR, and negation is NOT.

  • Choose all that applyLevel 5

    6. Which of these are logical connectives? (Select all that apply.)

    • Conjunction (AND)correct
    • Disjunction (OR)correct
    • Negation (NOT)correct
    • Factorial

    Conjunction (AND), disjunction (OR), and negation (NOT) are connectives; factorial is an arithmetic operation.

Mathematical Proof

  • Build the sentenceLevel 4

    7. Build a true statement about disproving a general claim.

    Answer: A single counterexample disproves a universal statement

    One example that breaks a for-all claim is a counterexample, and it disproves the whole statement.

  • Fact or fibLevel 4

    8. An axiom must be proven before it can be used.

    Answer: False

    False. An axiom is a starting assumption accepted as true without proof; theorems are what get proved.

  • Fill the blankLevel 4

    9. In a proof by contradiction, you begin by assuming the ____ of what you want to prove.

    • oppositecorrect
    • same
    • converse
    • square

    You assume the opposite (the negation), then show it forces an impossibility.

  • Multiple choiceLevel 4

    10. In a proof by contradiction, what do you assume at the start?

    • That the statement is false, the opposite of the goal
    • That the statement is already true
    • A single random example
    • Nothing at all

    You assume the statement is false (the opposite of your goal) and then show that this leads to an impossibility.

  • Odd one outLevel 4

    11. Which of these does NOT prove that a statement is true for ALL cases?

    • Checking a single examplecorrect
    • Direct proof
    • Proof by induction
    • Proof by contradiction

    Checking one example cannot cover every case; direct proof, induction, and contradiction can each prove a universal claim.

  • Choose all that applyLevel 5

    12. Which of these are valid ways to prove a statement? (Select all that apply.)

    • Direct proofcorrect
    • Proof by inductioncorrect
    • Proof by contradictioncorrect
    • Assuming the conclusion is true

    Direct proof, induction, and contradiction are valid; assuming the conclusion you want is circular reasoning, a fallacy.

Number Systems and Abstract Algebra

  • Build the sentenceLevel 4

    13. Build a true statement about the imaginary unit i.

    Answer: The square of i equals negative one

    By definition i^2 = -1, so the square of i equals negative one.

  • Choose all that applyLevel 4

    14. Which of these number systems are fields? (Select all that apply.)

    • The rationals Qcorrect
    • The reals Rcorrect
    • The integers Z
    • The naturals N

    The rationals Q and the reals R are fields; the integers Z and naturals N are not, since they lack multiplicative inverses.

  • Fact or fibLevel 4

    15. The identity element for addition is 0.

    Answer: True

    True. Adding 0 to any number leaves it unchanged, which is exactly what an additive identity does.

  • Fill the blankLevel 4

    16. The set of all ____ (like -2, 0, and 5) is written Z.

    • integerscorrect
    • primes
    • fractions
    • decimals

    Z stands for the integers, the whole numbers together with their negatives and zero.

  • Multiple choiceLevel 4

    17. In the complex numbers, what is i^2 (i being the imaginary unit)?

    • -1correct
    • 1
    • i
    • -i

    The imaginary unit is defined so that i^2 = -1, which is what makes complex numbers work.

  • Odd one outLevel 4

    18. Three of these number systems are fields. Which one is NOT a field?

    • The integers Zcorrect
    • The rationals Q
    • The reals R
    • The complex numbers C

    The integers Z are not a field because most integers (like 2) have no integer multiplicative inverse; Q, R, and C are fields.

Sets and Functions

  • Build the sentenceLevel 4

    19. Build a true statement about the empty set.

    Answer: The empty set has no elements

    The empty set, written {}, contains nothing at all, so it has no elements.

  • Choose all that applyLevel 4

    20. Which statements about the empty set are true? (Select all that apply.)

    • It has 0 elementscorrect
    • It is a subset of every setcorrect
    • It contains the number 0
    • It is equal to {0}

    The empty set has 0 elements and is a subset of every set; it does not contain 0 and is not equal to {0}.

  • Fill the blankLevel 4

    21. A function that is both injective (one-to-one) and surjective (onto) is called ____.

    • bijectivecorrect
    • constant
    • continuous
    • linear

    A function that is both one-to-one and onto is a bijection, or bijective.

  • Match the pairsLevel 4

    22. Match each number system to the symbol used for it.

    Answer: Integers = Z; Rationals = Q; Reals = R

    Z is the standard symbol for integers, Q for rationals (quotients), and R for the real numbers.

  • Fact or fibLevel 5

    23. The intersection of two disjoint sets is the empty set.

    Answer: True

    True. Disjoint means the sets share no elements, so their intersection contains nothing.

  • Guess the numberLevel 5

    24. How many elements are in the power set of a set with 4 elements? (That is 2^4.)

    Answer: 16

    The power set of an n-element set has 2^n members, so 2^4 = 16.

Vectors and Matrices

  • Choose all that applyLevel 4

    25. Which statements about the identity matrix I are true? (Select all that apply.)

    • I times A equals Acorrect
    • The determinant of I is 1correct
    • I has 0s on its main diagonal
    • I is not a square matrix

    I leaves any matrix unchanged (I*A = A) and has determinant 1; it does have 1s on its diagonal and is square.

  • Fill the blankLevel 4

    26. The ____ of the 2x2 matrix [[a,b],[c,d]] equals ad - bc.

    • determinantcorrect
    • trace
    • inverse
    • transpose

    That number is the determinant; it tells you whether the matrix is invertible.

  • Match the pairsLevel 4

    27. Match each matrix or vector expression to its value.

    Answer: det [[1,0],[0,1]] = 1; trace [[2,0],[0,3]] = 5; (1, 2) + (3, 4) = (4, 6)

    det [[1,0],[0,1]] = 1, the trace (diagonal sum) of [[2,0],[0,3]] = 5, and (1,2) + (3,4) adds entrywise to (4,6).

  • Multiple choiceLevel 4

    28. What is the determinant of the 2x2 matrix [[1,2],[3,4]]?

    • -2correct
    • 2
    • 10
    • -10

    For [[a,b],[c,d]] the determinant is ad - bc, so here 1*4 - 2*3 = 4 - 6 = -2.

  • Odd one outLevel 5

    29. Three of these are matrix operations. Which one is NOT?

    • Integrationcorrect
    • Transpose
    • Determinant
    • Inverse

    Integration is a calculus operation; transpose, determinant, and inverse all act on matrices.

  • Put in orderLevel 5

    30. Order these vectors from smallest to largest magnitude (length).

    Answer: (1, 0) -> (0, 2) -> (3, 4) -> (6, 8)

    The magnitudes are |(1,0)| = 1, |(0,2)| = 2, |(3,4)| = 5, and |(6,8)| = 10.

Where these questions come from. Each unit starts as a plan of the concepts it should cover and the difficulty it should span. Questions are written against that plan with AI assistance, then checked by a validator that rejects anything without a single defensible answer, an explanation, or plausible wrong options. How we write questions sets out the whole process, and corrections are fixed in the bank and reach the site and the app the same day.

How you practise

This unit mixes 14 different question formats, so you are recalling and applying rather than recognising the same layout every time.

  • Build the sentence
  • Choose all that apply
  • Fact or fib
  • Fill the blank
  • Guess the number
  • Match the pairs
  • Multiple choice
  • Odd one out
  • Picture question
  • Put in order
  • Sort into groups
  • Spell it
  • True or false
  • Type the answer

Practise Higher Mathematics

120 questions across 21 steps. Start with step one and crawl at your own pace.

Play this unit

Read about Higher Mathematics

Explainers from our blog on what this unit covers. Each one ends with real questions from the bank.

More units in Math

See all 18 units in Math