From sentto-44114-18113-1040574407-lojban-in=lojban.org@returns.groups.yahoo.com Sun Dec 22 08:27:27 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 22 Dec 2002 08:27:28 -0800 (PST) Received: from n15.grp.scd.yahoo.com ([66.218.66.70]) by digitalkingdom.org with smtp (Exim 4.05) id 18Q8wl-0006XL-01 for lojban-in@lojban.org; Sun, 22 Dec 2002 08:27:23 -0800 X-eGroups-Return: sentto-44114-18113-1040574407-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.194] by n15.grp.scd.yahoo.com with NNFMP; 22 Dec 2002 16:26:47 -0000 X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 22 Dec 2002 16:26:46 -0000 Received: (qmail 66956 invoked from network); 22 Dec 2002 16:26:45 -0000 Received: from unknown (66.218.66.216) by m12.grp.scd.yahoo.com with QMQP; 22 Dec 2002 16:26:45 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.194) by mta1.grp.scd.yahoo.com with SMTP; 22 Dec 2002 16:26:45 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Sun, 22 Dec 2002 08:26:45 -0800 Received: from 200.69.2.52 by lw8fd.law8.hotmail.msn.com with HTTP; Sun, 22 Dec 2002 16:26:45 GMT To: lojban@yahoogroups.com Bcc: Message-ID: X-OriginalArrivalTime: 22 Dec 2002 16:26:45.0765 (UTC) FILETIME=[EB6C8B50:01C2A9D6] From: "Jorge Llambias" X-Originating-IP: [200.69.2.52] X-Yahoo-Profile: jjllambias2000 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: Sun, 22 Dec 2002 16:26:45 +0000 Subject: [lojban] Re: Lemma and conjecture Content-Type: text/plain; charset=US-ASCII X-archive-position: 3625 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@hotmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list la pier cusku di'e >On Saturday 21 December 2002 22:42, Jorge Llambias wrote: > > la pier cusku di'e > > >Is it possible for S1 to be a tosmabru of S3, while S4 is a > > >slinku'i of S2? > > > > S1 was the lujvo beginning with CVVRC, so it can't be a > > tosmabru of anything. S2 was a corresponding fu'ivla > > beginning with CVVKC, which can't be a slinku'i. > >You have completely missed my point. S1 and S2 begin CVCC, and S3 and S4 >are >the same words minus the initial CV. If S1, S2, and S3 are, ignoring the >tosmabru test, lujvo, while S4 is not, then S2 is valid but S1 is not. How could S4 not be lujvo if S3 is? Two words beginning with CC are either both lujvo-form or neither is. Such words cannot be affected by r-hyphens. The only words that use r-hyphen are of the form CVVRC... Therefore, r-hyphen words are never tosmabru, smabru, slinku'i or paslinku'i. r-hyphen are necessarily CVVC/C... and tosmabru or paslinku'i could only be CVVCC... The conjecture says that for a given form, either every exemplar of the form is a valid brivla, or every exemplar is invalid. The only forms that could break the conjecture are forms involving r-hyphens, because every other rule for validity is purely in terms of forms and does not involve exemplars. Since forms involving r-hyphens can't participate in tosmabru or slinku'i failures, all we need to examine are CVVRC... lujvo forms and their CVVKC... counterparts. It is easy to show that the conjecture is valid for these forms, and therefore it is valid for all forms. mu'o mi'e xorxes _________________________________________________________________ Add photos to your e-mail with MSN 8. Get 3 months FREE*. http://join.msn.com/?page=features/featuredemail&xAPID=42&PS=47575&PI=7324&DI=7474&SU= http://www.hotmail.msn.com/cgi-bin/getmsg&HL=1216hotmailtaglines_addphotos_3mf To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/