From lojbab@lojban.org Fri Jan 24 04:50:20 2003 Return-Path: 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 Date: Fri, 24 Jan 2003 07:47:00 -0500 To: lojban@yahoogroups.com Subject: Re: [lojban] Re: loi preti be fi lo nincli zo'u tu'e 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> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: Robert LeChevalier X-Yahoo-Group-Post: member; u=1120595 X-Yahoo-Profile: lojbab 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