QCE Specialist Mathematics - Unit 1 - Introduction to proof

Logic, quantifiers and proof structure

Learn mathematical logic for QCE Specialist Mathematics Unit 1 with proof-quality reasoning, KaTeX, an original diagram and checked practice.

Part of the free QCE Specialist Mathematics notes library for Unit 1: Introduction to proof.

Updated 2026-08-09 - 9 min read

Read and construct mathematical statements with precise conditions, quantifiers and logically valid proof moves. Specialist Mathematics rewards more than obtaining a value: definitions, conditions, representation choices and the direction of each implication must remain visible. The aim is a solution another student could audit line by line without relying on the diagram being to scale or the calculator being trusted blindly.

Build the mathematical model

A proof preserves truth from stated assumptions to a conclusion. An implication $P\Rightarrow Q$ is not equivalent to its converse, while its contrapositive $\neg Q\Rightarrow\neg P$ is equivalent and may be easier to prove.

Start by naming the mathematical objects and their domains. Decide whether order matters, whether a vector is free or anchored, whether a matrix acts on the left or right, whether an angle is principal or general, and whether a statement is an implication, equivalence or equation. These are structural choices. If they are wrong, technically fluent algebra can still produce an invalid conclusion.

Write the givens and target in compatible notation. A proof should identify its assumptions and conclusion; a geometric model should define points, vectors and axes; a complex-number model should state the chosen form and argument interval; a transformation model should state which action occurs first. When useful, predict the sign, quadrant, orientation, count or area scale before calculating.

Governing relationships

$ P\Rightarrow Q\equiv\neg Q\Rightarrow\neg P $

$ \neg(\forall x,P(x))\equiv\exists x,\neg P(x) $

$ \neg(\exists x,P(x))\equiv\forall x,\neg P(x) $

Do not treat a formula as a license to ignore its conditions. Factorials require appropriate integer inputs, division requires a non-zero divisor, a unit vector requires non-zero magnitude, an inverse requires non-zero determinant, an argument requires a non-zero complex number, and reciprocal functions exclude denominator zeros. Record the condition beside the first use rather than attempting to repair the domain at the end.

Preserve exact values through the reasoning. Fractions, radicals, $\pi$ and exact trigonometric values expose structure that a decimal may hide. Use technology to enumerate, graph, multiply, solve or verify after the mathematical representation is established. A calculator output is evidence only when its inputs, mode, interval and interpretation are documented.

Make the concept connections

1. Preserve the structure

The converse $Q\Rightarrow P$ must be tested independently. Equality is a relation between expressions; equivalence says two statements share a truth value; implication asserts a one-way logical condition.

2. Connect algebra and geometry

A universal claim needs a proof for an arbitrary element of the stated domain. An existential claim needs one valid witness. One counterexample disproves a universal claim but cannot prove another universal claim.

3. Control conditions and domains

Number-system notation controls the domain. The same proposition may be true over $\mathbb Z$ and false over $\mathbb R$, so membership symbols and quantifiers are part of the argument, not decoration.

The diagram is a compressed reasoning map. Recreate it without looking, then explain what each arrow, region, axis, vector, matrix column or marked angle means. Change one assumption and predict the consequence: swap ordered and unordered selection, reverse a vector, cross a determinant through zero, move an argument across the branch cut, or reverse the order of two transformations.

Specialist topics reinforce one another. Counting arguments depend on disjoint logical cases. Vector and complex representations share plane geometry. Dot products, matrix products and complex multiplication all encode structured interactions but obey different rules. Proof habits control the use of trigonometric identities and geometric theorems. Naming the shared structure makes unfamiliar questions less fragile.

A repeatable solution method

1. Rewrite the claim as hypotheses, conclusion, quantifiers and an explicit domain, using set-membership notation such as 'is an element of' ($\in$) where required.
2. Choose direct proof, contrapositive, contradiction, example or counterexample to match the logical form.
3. Justify each implication and do not assume the conclusion or its equivalent form.
4. Negate the original statement carefully and test boundary cases in the stated number system.

This workflow should remain visible in a short-response answer. Routine algebra may be compressed, but the choice of method, a key intermediate line and the conclusion must not disappear. If a question asks for proof, examples can explore the claim but do not establish a universal result. If a question asks for a model, state observations and assumptions before solving and evaluate them after obtaining a result.

When using technology, retain an independent check. Enumerate a smaller case, expand one matrix entry manually, reconstruct a vector from components, multiply a quotient by its divisor, substitute a proposed solution, or compare a transformation's determinant with its visible area effect. Verification should test the governing structure, not repeat the same keystrokes.

Worked example

Cover the solution and reproduce it from the prompt. Beside every line, write its role: definition, representation, implication, calculation, theorem, domain check or verification. Then alter one condition and predict which lines remain valid. This separates reusable reasoning from features specific to the numbers in the example.

Write a second solution that begins from a different representation, even if the first route is shorter. Compare where the two routes use the same condition and where they make different assumptions visible. If both routes reach the same result and pass the stated verification, confidence comes from independent structure rather than repetition.

Try it yourself

Proof, technology and representation audit

Before trusting a solution, identify every non-reversible step. Squaring, cancelling, multiplying by a variable expression, taking a reciprocal, applying an inverse, selecting a principal angle and dividing into cases can lose or introduce possibilities. Record exclusions and test candidates in the original problem.

Use a second representation where possible. A counting formula can be checked by a tree for smaller values. A vector result can be checked geometrically. A complex product can be checked through modulus and argument. A matrix can be checked on basis vectors. A trigonometric identity can be checked numerically at allowed angles without confusing a numerical check with a proof.

Communication matters. Define symbols before use, keep vector and scalar notation distinct, show matrix dimensions, name circle theorems and state the domain of a proof. Finish with the requested mathematical object and any necessary condition rather than leaving an uninterpreted line of algebra.

Common mistake and repair

Repair: Write $P$, $Q$, the converse and the contrapositive on separate lines before choosing which direction to prove.

The repair should happen at the first invalid decision, not after pages of downstream algebra. Cross out only the affected line, retain valid definitions and rebuild from the last justified statement. This habit makes error analysis faster and prevents a correct-looking final value from hiding a broken argument.

Assessment transfer

To disprove 'every real solution has property $R

For an examination response, give the governing relation or theorem, decisive working, exact result where appropriate and an explicit conclusion. For proof, include a valid starting assumption, logically connected steps and a statement that closes the original claim. For a problem-solving and modelling task, document assumptions, observations, technology choices, verification and limitations so the solution can be read independently of the task sheet.

Unfamiliar questions often combine two familiar structures. Pause before calculating and ask which part is counting, proof, vector geometry, complex arithmetic, trigonometric structure or transformation composition. Solve those layers separately, then reconnect them and test that the final object satisfies every original condition.

Verification checklist

Check domain, quantifier scope and direction of every arrow; then try to construct a counterexample to the exact statement you claim to have proved.

Before submitting, ask:

1. Have I stated the domain, notation and any non-zero or invertibility condition?
2. Does each implication, theorem or matrix product run in the correct direction and order?
3. Have I preserved exact structure until approximation is justified?
4. Can I verify the result using a genuinely independent representation or reverse operation?
5. Does the conclusion answer the original claim, interval, geometric object or model context?

Deliberate practice

1. Rework the example with one sign, order, direction or restriction changed and predict the result first.
2. Build a smaller case that can be enumerated or drawn completely, then compare it with the general method.
3. Write a plausible incorrect solution based on the common mistake and identify its first invalid line.
4. Translate the problem into a second representation—diagram, components, polar form, matrix action or logical statement—and reconcile the two.
5. Design an unfamiliar problem that combines this lesson with one earlier topic and state the extra verification it requires.

Syllabus coverage

• Use implication, converse, equivalence, negation and contrapositive.
• Use proof by contradiction.
• Use the symbols for implication ($\Rightarrow$), equivalence ($\Longleftrightarrow$), and equality ($=$).
• Use the quantifiers 'for all' ($\forall$) and 'there exists' ($\exists$).
• Define and use set notation of number systems, including integers ($\mathbb Z$), positive integers ($\mathbb Z^+$), negative integers ($\mathbb Z^-$), rational numbers ($\mathbb Q$), irrational numbers ($\mathbb Q'$), and real numbers ($\mathbb R$).
• Use the set notation symbol 'is an element of' ($\in$).
• Use examples and counterexamples.

Sources

• QCAA — Specialist Mathematics 2025 v1.4 syllabus
• QCAA — Specialist Mathematics 2025 formula book
• QCAA — Specialist Mathematics syllabus and resources

Finished reading? Practise this topic free

Open Specialist Mathematics past questions with this Unit 1 topic carried into the question bank, then save your progress for the next review.

Practise this topic free. Free to start. No payment details are required. Exact question coverage depends on the available past-paper syllabus mapping.