Reasoning is how noticing becomes trust. It asks what must be true, what could be false and what would count as a convincing explanation.
Getting stuck often means you have found the exact place where an argument needs more care.
Reasoning
How can we know something must be true?
Try adding two odd numbers several times.
The answer seems even. Can you explain why it must always happen?
Try noticing
Notice 1
What evidence do you have?
Notice 2
Can you find a counterexample?
Notice 3
What would convince someone who disagrees?
Notice 4
Which part of the argument depends on a rule that is always true?
Knowledge you may need
Tools and visualisations
ChangeRepresentationQEDReasoning
A Level Calculus Revision Lab
Revise tangent gradients, definite integrals and trapezium-rule estimates.
ToolConnectionOptimisationQEDReasoning
A* Search Visualiser
Explore goal-directed pathfinding with heuristics, g-scores and f-scores.
ExplorationPatternQEDReasoningRepresentation
Classical Ciphers and Frequency Analysis Lab
Encode, decode and attack simple ciphers using shifts, keys and letter frequencies.
ExplorationConnectionOptimisationQEDReasoning
Dijkstra Visualiser
Explore weighted shortest paths, tentative distances and settled nodes.
ExplorationPatternQEDReasoning
GCSE Algebra Fluency Builder
Practise expanding, factorising, solving and rearranging with staged difficulty.
ToolConnectionQEDReasoningOptimisation
Graph Colouring Visualiser
Use greedy colouring and compare vertex-order strategies.
ExplorationConnectionRepresentationQEDReasoning
Graph Theory Visualiser
Build a graph and step through breadth-first and depth-first search.
ExplorationChanceRepresentationQEDReasoning
Normal Distribution and Hypothesis Testing Lab
See rejection regions, z statistics, p-values and conclusions.
ToolConnectionQEDReasoningPattern
Planarity and Map Colouring Lab
Explore planar graphs, Euler's formula, crossings and map colouring.
ExplorationQEDReasoningOptimisationChance
Voting Systems and Fairness Lab
Compare plurality, Borda count, instant runoff and head-to-head fairness.
ExplorationWhere this appears in school maths
Proof and argument
Reasoning appears in algebraic proof, geometric proof, counterexamples and explaining methods.
Modelling and decision making
Good decisions need assumptions, evidence and arguments that can be challenged.