W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

Notation 3 Logic

From: marcos rebelo <oleber@gmail.com>
Date: Fri, 7 Apr 2006 09:31:00 +0100
Message-ID: <319d96980604070131v60ef6e26oa8da9571d6fac05d@mail.gmail.com>
To: "public-cwm-talk@w3.org" <public-cwm-talk@w3.org>

I would consider to pass this document by a Spell Checker.

On the section Equalaty you can find '(∀i . ∃j .  Si = Tj. )   &  (∀i
. ∃j .  Si = Tj. )' for the equalaty of sets. Probably you mean '(∀i .
∃j .  Si = Tj. )   &  (∀i . ∃j .  Sj = Ti. )'


path : http://www.w3.org/DesignIssues/N3Logic
Marcos

--
Marcos Rebelo
http://oleber.awardspace.com/
Received on Friday, 7 April 2006 08:31:12 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT