What changes when the answer is an argument
Up to calculus, a problem usually comes with a method: factorise, substitute, differentiate, and the answer can be checked against a number. A proof has no such check. You are asked to show that a statement follows from definitions and earlier results, and the work is right only if every step follows from the ones before it. Universities often teach a separate introduction-to-proof course for this reason, between calculus and the first analysis or algebra course.
The new material is smaller than it feels. It is a short list of logical ideas, such as implication, negation and the two quantifiers, plus a handful of standard proof techniques. What makes a first proof course hard is meeting all of them at once, inside content that assumes them. Taken one at a time and in order, each piece is short.
The logic and proof section of our map, in order
Consiliae’s curriculum has a logic and proof section of 26 concepts, which our time estimates put at about 13 hours, roughly 3 weeks at 5 hours a week. Each concept lists the concepts it rests on, so the section can be laid out in the order those links force. Concepts on the same step below do not depend on each other and can be taken in either order; each step needs something from the steps above it.
- Statement vs non-statement
- Existential quantifier, truth value and universal quantifier
- Conjunction (and), disjunction (or), implication ( p q), negation and proof by induction: base case
- Biconditional, contradiction, contrapositive, converse, counterexample, De Morgan's laws, direct proof, inverse, negating a quantified statement, proof by induction: inductive step, tautology and truth table
- Logical equivalence, proof by cases, proof by contradiction, proof by contrapositive and strong induction
Almost all of it rests only on concepts inside the section. The exception is proof by induction: base case, which needs sequence: definition. That means the logic can be started early, well before calculus, by anyone comfortable with school algebra. Elsewhere on the map, the concept built directly on this section is – definition of a limit, which is the first place calculus asks you to read a quantified statement closely.
Which proof technique needs which
These are the techniques in the section, each with the concepts it stands on directly:
- Direct proof: implication ( p q)
- Proof by contrapositive: contrapositive and direct proof
- Proof by contradiction: negation and direct proof
- Proof by cases: direct proof and disjunction (or)
- Counterexample: universal quantifier and negation
- Proof by induction: base case: universal quantifier and sequence: definition
- Proof by induction: inductive step: proof by induction: base case and implication ( p q)
- Strong induction: proof by induction: inductive step
Two things follow that many study plans get wrong. Proof by contradiction does not wait for proof by contrapositive: both build on direct proof, and contradiction needs negation rather than the contrapositive. And induction does not need direct proof at all on this map. It needs the universal quantifier, implication and the idea of a sequence, so a learner who finds induction easier can take it first. Textbooks order their chapters for their own reasons, which is fine; the links above are what you cannot skip.
Two books, and how to use them
Richard Hammack’s Book of Proof (third edition, with a free PDF on the author’s site, checked on 27 October 2026) starts with sets, logic and counting, then gives direct proof, contrapositive proof, contradiction and induction a chapter each. Daniel Velleman’s How to Prove It: A Structured Approach (third edition, Cambridge University Press, 2019) spends longer on the logic and on how to plan a proof before writing it.
Either works as the reading half. Read a section, then write the exercises out in full sentences, not just symbols. Before checking any solution, go back over your own proof line by line and ask of each line what it follows from. Most errors are a line that follows from nothing, or from the statement you were trying to prove.
Getting feedback when nobody marks your work
A wrong calculation shows up when the answer disagrees with the back of the book. A flawed proof can read exactly like a correct one to the person who wrote it, which is why proofs are the hardest part of maths to learn alone. Two kinds of feedback help, and they do different jobs.
The first is small, checkable questions about other people’s proofs. Most of the practice in Consiliae’s logic section is multiple choice of this kind: find the flaw in a short proof, such as circular reasoning or a broken base case, choose the line a proof should start with, fill in a missing step, put the steps of an induction proof in order, or pick the technique that suits a statement. A few, mostly on induction, ask you to type an answer instead, such as the right-hand side of P(k + 1). One question shows a four-line proof that if a divides b and b divides c then a divides c, with the third line blanked out. The wrong options include restating the conclusion as if it were already known, and citing transitivity of divisibility, which is the result being proved. Questions like these train you to notice a step that does not follow.
The second is a person reading a proof you wrote. Consiliae does not mark free-form proofs, and no multiple-choice question replaces that. A study partner working through the same book, a tutor, or a maths forum where people check posted proofs all do the job. Ask them to name the first line that does not follow, rather than to rewrite the proof.
If the logic is fine but the algebra inside the proofs keeps tripping you, starting maths again as an adult covers how to find and repair the earlier gaps, and the calculus time estimates show where proofs sit relative to the rest of the route.
