Book Exercise Lanes

Complete P1–P20 and use feedback first. Additional book exercises repair specific gaps; they do not replace independent assessment. Use the reading guide to locate the topic in MCS or Rosen.

Lane	Choose after a diagnosed miss	Required output
Logic	One mixed-quantifier translation and one invalid argument	Negation, witness dependency and countermodel
Proof construction	One implication and one iff statement	Complete proof; explain the hypothesis used in each direction
Sets/functions	One set identity and one map classification	Arbitrary-element proof and a typed witness/collision table
Relations/orders	One equivalence and one partial-order exercise	Property proofs, classes, representatives and extrema
Induction	One sum/divisibility claim and one recursively generated object	Justified bases, hypothesis scope and all constructors

Record book, edition, section, exercise ID, first attempt, assistance and correction. Select different problems for the unaided recheck. Answer availability varies; an odd-numbered answer is useful only if it matches the same edition and exercise. Do not fabricate errors to reach a quota. If an exercise is already easy, choose a changed assumption or prove why the original hypothesis was needed.