Induction with a visible invariant

Knowledge package outline

Topic

Mathematics and quantitative reasoning

Purpose

Teaches proof over infinitely many integer cases.

Package contents

Domino analogy; base-case failures; sum proofs.

Dependencies

Logic.