Re: Guessing?

From: Brian Selzer <brian_at_selzer-software.com>
Date: Tue, 8 Jul 2008 19:33:39 -0400
Message-ID: <oPSck.15062$N87.8324_at_nlpi068.nbdc.sbc.com>

"paul c" <toledobysea_at_ac.ooyah> wrote in message news:NyRck.65245$Jx.43062_at_pd7urf1no...

> Brian Selzer wrote:

>> "paul c" <toledobysea_at_ac.ooyah> wrote in message
>> news:33Ock.59297$kx.264_at_pd7urf3no...

>>>> Brian Selzer wrote:
>>>> ...
>>>>> Consider the following statements:
>>>>>
>>>>> 1. Susan is an electrical engineer.
>>>>> 2. Susan is a mechanical engineer.
>>>>> 3. Susan is an electrical engineer or Susan is a mechanical engineer.
>>>>> ...
>>>
>>> I have another question.  Suppose we have a database that involves only 
>>> statement 3.  Just what does its extension look like?
>>>
>>

>> Correctly formed, each extension of the database would consist of two
>> relations: one for mechanical engineers and one for electrical engineers.
>> There are three possible extensions:

>>

>> one where Susan is both an electrical engineer and a mechanical engineer,

>>

>> MechanicalEngineers {{Person:Susan}}
>> ElectricalEngineers {{Person:Susan}};
>> ...

>
> Okay, now stop right there.  (It is the case you originally gave, ie., 
> statements 1 and 2 are both true.)  What is the extension of 'statement' 
> 3?

You've lost me. When did I say that statements 1 and 2 are both true? IIRC, I wrote, "consider the following statements:" Received on Wed Jul 09 2008 - 01:33:39 CEST