Re: compound propositions

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Mon, 15 Mar 2010 20:44:42 -0300
Message-ID: <4b9ec5f3$0$12422$9a566e8b_at_news.aliant.net>


paul c wrote:

> Bob Badour wrote:
>

>> paul c wrote:
>>
>>> Bob Badour wrote:
>>> ...
>>>
>>>> What is the predicate of Customer[id] join Client[id] where [] 
>>>> signifies project? ...
>>>
>>> If you mean what is the 'external' predicate, I can't say, 
>>
>> No, I meant the internal predicate but I screwed up in any case. I 
>> meant to use union not join. Sadly, you removed all reference to the 
>> original context.
>> ...

>
> Wasn't trying to obscure any context, the predicate I started with was "
> 'C1' is a customer OR 'C1' is a client".

Which is equivalent to an instance of (Customer union Client) Received on Tue Mar 16 2010 - 00:44:42 CET

Original text of this message