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: PREDICATE CALCULUS 2
Replies: 23   Last Post: Nov 29, 2012 1:13 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Graham Cooper

Posts: 4,343
Registered: 5/20/10
PREDICATE CALCULUS 2
Posted: Nov 25, 2012 10:36 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Predicate Calculus only uses the e(member,set)
predicate to construct set theoretic formula.

I convert ALL() Quantifiers to a SUBSET OF TERM Predicate

all(X,d(..X..),p(..X..))
/\
||
\/
{X|d(..X..)} C {X|p(..X..)}

Either formula can be converted to High Order Prolog.

HOP e.g.

all( X , less(X,3) , add( X, {1,2,3,4}, 4) )
^ ^ DOMAIN SUPERSET
| |
| TERM
|
QUANTIFIER



All(X):X<3 X+{1,2,3 or 4}=5
/\
|| LOGIC FORMULA
||
\/
all( X , less(X,3) , add( X, {2,3,4}, 4) ) *HOP*
/\
||
|| SET FORMULA
\/
{ X | less(X,3) } C { X | add(X, {1,2,3,4}, 4) }
|
|
| ELEMENTS
\/
{0,1,2} C {0,1,2,3}
|
v
TRUE


Herc
--
if( if(t(S),f(R)) , if(t(R),f(S)) ).
if it's sunny then it's not raining
ergo
if it's raining then it's not sunny



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.