How to Prove It¶
Velleman, D. J. (2006). How to Prove It: A Structured Approach. Cambridge University Press.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Contraposition
- Mathematics and formal logic. \(\lnot Q \to \lnot P\) is the contrapositive of \(P \to Q\), and modus tollens is the rule that uses it; many proofs hopeless in the forward direction become routine when contraposed.
This sourceTeaches proof by contraposition as a standard technique, including the even-square example (n odd ⇒ n² odd) and its distinction from proof by contradiction.
- Mathematics and formal logic. \(\lnot Q \to \lnot P\) is the contrapositive of \(P \to Q\), and modus tollens is the rule that uses it; many proofs hopeless in the forward direction become routine when contraposed.
Domain-specific¶
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:55b266a3bece · see in the full table