Re: Guessing?

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Tue, 08 Jul 2008 15:19:51 -0300
Message-ID: <4873afc8$0$4066$9a566e8b@news.aliant.net>


paul c wrote:

> Bob Badour wrote:
>

>> paul c wrote:

>
> ...
>
>>> Since when does a predicate (ie., a conventional FOL predicate) 
>>> mention a relation name?
>>
>> Usually when discussing the composition operator. f(g(x)) sort of thing.
>>
>>> (Surely relation names aren't anything but an implementation device.)
>>
>> I don't think I entirely agree.

>
> Is the mention of g(x) not equivalent to enumerating g(x)?

No, g is just the name of the relation. Composition is usually written with some symbol like f*g. Received on Tue Jul 08 2008 - 13:19:51 CDT

Original text of this message