Math Forum http://mathforum.org/kb List of forum topics en [BACKWARD CHAINING is to LOGIC] as [INTEGRATION is to CALCULUS] http://mathforum.org/kb/thread.jspa?messageID=8186236&tstart=0#8186236
It's a very simple concept..

F -> G

G?

to Prove G is True look for an axiom that implies,]]> Jan 29, 2013 8:07:32 PM Jan 29, 2013 8:07:32 PM grahamcooper7@gmail.com 0