Proposition about functions

"Robert Onslow" <[email protected]> Tue, 28 Jun 2011 21:37:14 +0100

Newsgroups	gmane.comp.ai.powerloom
Organization	XLegal Limited
Message-ID	<C3818B4ACAC143CD8385CE5C29C9BD2F@ThinkPadR61>

Dear All
Is it possible to have a proposition about a function:

(deffunction followed-by (?a ?b) :=> ?c)

(defproposition associativity (forall (?a ?b ?c) (=> (<=> (followed-by ?a 
(followed-by ?b ?c)) (followed-by (followed-by ?a ?b) ?c))))





Robert Onslow