From jjllambias2000@yahoo.com.ar Thu Dec 02 09:41:32 2004 Received: with ECARTIS (v1.0.0; list lojban-beginners); Thu, 02 Dec 2004 09:41:32 -0800 (PST) Received: from web41901.mail.yahoo.com ([66.218.93.152]) by chain.digitalkingdom.org with smtp (Exim 4.34) id 1CZuxQ-0006fh-1k for lojban-beginners@chain.digitalkingdom.org; Thu, 02 Dec 2004 09:41:32 -0800 Received: (qmail 5206 invoked by uid 60001); 2 Dec 2004 17:40:58 -0000 Message-ID: <20041202174058.5204.qmail@web41901.mail.yahoo.com> Received: from [200.49.74.2] by web41901.mail.yahoo.com via HTTP; Thu, 02 Dec 2004 09:40:58 PST Date: Thu, 2 Dec 2004 09:40:58 -0800 (PST) From: Jorge "Llambías" Subject: [lojban-beginners] Re: Where can I learn more about logic? To: lojban-beginners@chain.digitalkingdom.org In-Reply-To: <200412021621.iB2GLHIP012264@mole.e-mol.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-archive-position: 922 X-Approved-By: jjllambias2000@yahoo.com.ar X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@chain.digitalkingdom.org Errors-to: lojban-beginners-bounce@chain.digitalkingdom.org X-original-sender: jjllambias2000@yahoo.com.ar Precedence: bulk Reply-to: lojban-beginners@chain.digitalkingdom.org X-list: lojban-beginners --- Matt Arnold wrote: > That having been said, jbofi'e returned a syntax error on your string. But > I've translated it as follows. Oops! I should have used forethought connectives: [Ix]( Gx & [Ay](Fy <=> y=x)) su'o da zo'u ge da broda gi ro de zo'u go de brode gi de du da I always forget that you can't join a prenexed sentence with ije. > As I learned Lojban vocabulary, I long ago passed up "zo'u" since "end > prenex" means absolutely nothing to me and I thought it was specialized > expertise that would not be useful in normal language. Have I translated it > correctly as taking something as a given or an axiom? {su'o da zo'u} means "for at least one x, it is the case that (sentence)". {ro da zo'u} means "for every x, it is the case that (sentence)". I suspect pc made a typo and F and G were supposed to be the same predicate. If that is so then the sentence says: "there is at least one x such that x is a broda and for every y, if y is a broda then y is x", in other words, there is one and only one thing that is a broda. It is the expansion of {pa da broda}. mu'o mi'e xorxes __________________________________ Do you Yahoo!? Meet the all-new My Yahoo! - Try it today! http://my.yahoo.com