From sentto-44114-18365-1043412620-lojban-in=lojban.org@returns.groups.yahoo.com Fri Jan 24 04:51:25 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 24 Jan 2003 04:51:25 -0800 (PST) Received: from n34.grp.scd.yahoo.com ([66.218.66.102]) by digitalkingdom.org with smtp (Exim 4.05) id 18c3Im-000771-00 for lojban-in@lojban.org; Fri, 24 Jan 2003 04:51:20 -0800 X-eGroups-Return: sentto-44114-18365-1043412620-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.201] by n34.grp.scd.yahoo.com with NNFMP; 24 Jan 2003 12:50:20 -0000 X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 24 Jan 2003 12:50:20 -0000 Received: (qmail 32081 invoked from network); 24 Jan 2003 12:50:18 -0000 Received: from unknown (66.218.66.218) by m9.grp.scd.yahoo.com with QMQP; 24 Jan 2003 12:50:18 -0000 Received: from unknown (HELO lakemtao02.cox.net) (68.1.17.243) by mta3.grp.scd.yahoo.com with SMTP; 24 Jan 2003 12:50:18 -0000 Received: from lojban.lojban.org ([68.100.206.153]) by lakemtao02.cox.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with ESMTP id <20030124125017.ZJOD6744.lakemtao02.cox.net@lojban.lojban.org> for ; Fri, 24 Jan 2003 07:50:17 -0500 Message-Id: <5.2.0.9.0.20030124074320.03606200@pop.east.cox.net> X-Sender: rlechevalier@pop.east.cox.net X-Mailer: QUALCOMM Windows Eudora Version 5.2.0.9 To: lojban@yahoogroups.com In-Reply-To: <20030123191635.GB1942@digitalkingdom.org> References: <5.2.0.9.0.20030119093824.0359cca0@pop.east.cox.net> <5.2.0.9.0.20030119093824.0359cca0@pop.east.cox.net> From: Robert LeChevalier X-Yahoo-Profile: lojbab MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Fri, 24 Jan 2003 07:47:00 -0500 Subject: [lojban] Re: loi preti be fi lo nincli zo'u tu'e Content-Type: text/plain; charset=US-ASCII X-archive-position: 3878 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: lojbab@lojban.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list At 11:16 AM 1/23/03 -0800, Robin Lee Powell wrote: >On Sun, Jan 19, 2003 at 10:19:24AM -0500, Robert LeChevalier wrote: > > At 01:33 PM 1/19/03 +0000, Martin Bays wrote: > > >How to use functions with ranges beyond the numbers? E.g. if I have a > > >function f:A->B with A and B sets {fy fancu abu noi selcmi ku'o by > > >noi selcmi}, what's f(x)? According to jbofi'e, {ma'o fy boi xy} and > > >{le ma'o fy boi xy} are both ungrammatical, and does {li ma'o fy boi > > >xy} make sense? > > > > You're missing needed grammatical markers. Exactly which ones can be > > elided and still work might take some experimentation, but > > > > vei ma'o fy boi xy works > > the complete grammar of the above is > > vei ma'o fy boi [te'u] xy [boi] [ku'e] [ve'o] > >I don't know what "vei ma'o fy boi xy" is, but it's *not* f(x), IMO. It >could be (f(x)), but I don't know why one would do that. Lojban does require some bracketing that may not be required by normal mathematics notation because our f(x)'s might be embedded as text in a text string. The extra left bracket (with implied right bracket) is required for any complex mex expression in Lojban for LALR parsing reasons. lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/