[Top] [All Lists]

Re: [ontolog-forum] First-Order Semantics

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
Date: Sat, 16 Jun 2007 08:31:00 +0200
Message-id: <467383A4.7010901@xxxxxxxxxxx>
Waclaw Kusnierczyk wrote:
>>>> To cover the general case of D any size, insert "at least" above  
>>>> after "There are".
>>> At least, unless n=1.
>> Huh?  That's not even true if "relation" is understood to mean  
>> "property".  
> ?  If n=1, then there are exactly 2^card(D) properties over D?    (01)

So, I mean, the replacement above is not necessary in the case n=1.    (02)

vQ    (03)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

<Prev in Thread] Current Thread [Next in Thread>