http://mathforum.org/kb List of forum topics en http://mathforum.org/kb/thread.jspa?messageID=7915845&tstart=0#7915845 > On Thu, 1 Nov 2012, Hercules ofZeus]]> Nov 1, 2012 5:31:42 AM Nov 1, 2012 5:31:42 AM grahamcooper7@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=7915842&tstart=0#7915842
> > > > > INDUCTION RULE: P(1) & P(n)->P(S(n)) -->]]> Nov 1, 2012 5:13:48 AM Nov 1, 2012 5:13:48 AM marsh@panix.com 1 http://mathforum.org/kb/thread.jspa?messageID=7915837&tstart=0#7915837 > On Thu, 1 Nov 2012, Hercules ofZeus]]> Nov 1, 2012 5:00:45 AM Nov 1, 2012 5:00:45 AM herc.is.here@gmail.com 2 http://mathforum.org/kb/thread.jspa?messageID=7915831&tstart=0#7915831
> > > INDUCTION RULE:
>]]> Nov 1, 2012 4:37:23 AM Nov 1, 2012 4:37:23 AM marsh@panix.com 3 http://mathforum.org/kb/thread.jspa?messageID=7915827&tstart=0#7915827 > On Thu, 1 Nov 2012, Hercules ofZeus]]> Nov 1, 2012 4:16:12 AM Nov 1, 2012 4:16:12 AM herc.is.here@gmail.com 4 http://mathforum.org/kb/thread.jspa?messageID=7915822&tstart=0#7915822
> INDUCTION RULE:
>
> P(1) & P(n)->P(S(n))
>]]> Nov 1, 2012 4:04:21 AM Nov 1, 2012 4:04:21 AM marsh@panix.com 5 http://mathforum.org/kb/thread.jspa?messageID=7915803&tstart=0#7915803
P(1) & P(n)->P(S(n))
--> ALL(n) P(n)

----------------------

ANTI-DIAGONAL METHOD:

CHANGE]]> Nov 1, 2012 3:36:37 AM Nov 1, 2012 3:36:37 AM herc.is.here@gmail.com 6