Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: [BACKWARD CHAINING is to LOGIC] as [INTEGRATION is to CALCULUS]
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Graham Cooper

Posts: 4,321
Registered: 5/20/10
[BACKWARD CHAINING is to LOGIC] as [INTEGRATION is to CALCULUS]
Posted: Jan 29, 2013 8:07 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.