
Re: Double Induction  A brief note that may help
Posted:
Jul 18, 2013 12:42 AM


On Monday, July 15, 2013 4:50:39 PM UTC4, Dan Christensen wrote: > The explanations of double induction online can be quite confusing. No doubt I am reinventing wheel here, but you may find the following analogy to ordinary induction to be useful. >
See revised version with sample proof in "Proposed Schema for Double Induction."
Dan Download my DC Proof 2.0 software at http://www.dcproof.com

