Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
[BACKWARD CHAINING is to LOGIC] as [INTEGRATION is to CALCULUS]
Replies:
0




[BACKWARD CHAINING is to LOGIC] as [INTEGRATION is to CALCULUS]
Posted:
Jan 29, 2013 8:07 PM


BACKWARD CHAINING in LOGIC!
It's a very simple concept..
F > G
G?
to Prove G is True look for an axiom that implies, implies, implies G!
F>G F  G

Example 2
F > G > J F
is J true?
============================
f(1,6) f(1,7) f(1,X) > g(3,X)
is g(3,3) True?
is g(3,7) True?

f(1,7) > g(3,7) f(1,7)  g(3,7) is True!
=========================
Now a bit harder!!
( f(X) & g(X) ) > j(X)
f(1) f(2) f(3) g(3) g(4) g(5)
what value of j(?) is true?

( f(3) & g(3) ) > j(3) f(3) g(3) ( f(3) & g(3) ) from above 2 lines  j(3) is true!
SCI.LOGIC is not a history literacy group!
We solve predicates around here!
Herc  www.BLoCKPROLOG.com



