Re: Guessing?
From: paul c <toledobysea_at_ac.ooyah>
Date: Tue, 08 Jul 2008 18:12:03 GMT
Message-ID: <T5Ock.65064$Jx.50728_at_pd7urf1no>
>
> Usually when discussing the composition operator. f(g(x)) sort of thing.
>
>
>
> I don't think I entirely agree.
Date: Tue, 08 Jul 2008 18:12:03 GMT
Message-ID: <T5Ock.65064$Jx.50728_at_pd7urf1no>
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)? Received on Tue Jul 08 2008 - 20:12:03 CEST