Most everyone who thinks about how to solve problems in a formal way has run across the concepts of deductive and inductive reasoning. Both deduction and induct
