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_at_news.aliant.net>
>
> ...
>
>
> Is the mention of g(x) not equivalent to enumerating g(x)?
Date: Tue, 08 Jul 2008 15:19:51 -0300
Message-ID: <4873afc8$0$4066$9a566e8b_at_news.aliant.net>
paul c 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 - 20:19:51 CEST