I’ve been dealing with proofs by induction in my coursework. I know how it works. But I never really understood why it worked. I searched a bit online and I think I understand why it works. So here goes - What it means to prove a logical implication: Logical implication looks like §§P \implies Q§§. Here, the antecedent is P and consequent is Q. The following truth table for implication might seem familiar - ...