Math Forum
http://mathforum.org/kb
List of forum topicsen[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 PMJan 29, 2013 8:07:32 PMgrahamcooper7@gmail.com0