From lojban+bncCJ2UzZHuDRDlsp7pBBoE04-a1A@googlegroups.com Fri Jan 07 14:53:39 2011 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PbLBf-0002Xo-B5; Fri, 07 Jan 2011 14:53:39 -0800 Received: by fxm10 with SMTP id 10sf6945283fxm.16 for ; Fri, 07 Jan 2011 14:53:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:received :in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=lMPkCVm/6pyZ/v+ci4sWrZJWuVNFfmtZua5iY7ddazI=; b=4LHdCCzw9UarOr7N/6KoVg4Fh3YIi0phb5HDkkyBqYafPvSbEDez8JVJ+nQG0lGOVo Z/dJVIdqcMv8Q6XOd2viUg66fHeBMhgMoCjb4HH6TDNMVPuWI1LRkWhvFZLnl5UTUwHo y7pn09wSXCaXBwDslv+kWDxVVLMAPxF23UXAs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-transfer-encoding; b=0tO0PwSyfz0iwoupzOg29G1Dim2Mxhi2Jck7u4dm/afocYKjczGtNk3VC98zk6o1qW 8aXa7/USqlMzhTvJk7mKXE9NpI5TAXOEl0hajCQPyp473VH5Dc5hU1wR/EFCeXU7NSvi WVKO8KOzFASBibcLXu27ZSON3iSMCclhurMfw= Received: by 10.223.86.142 with SMTP id s14mr1891109fal.35.1294440805309; Fri, 07 Jan 2011 14:53:25 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.227.6.216 with SMTP id a24ls5008372wba.2.p; Fri, 07 Jan 2011 14:53:24 -0800 (PST) Received: by 10.227.137.17 with SMTP id u17mr900641wbt.11.1294440804413; Fri, 07 Jan 2011 14:53:24 -0800 (PST) Received: by 10.227.137.17 with SMTP id u17mr900640wbt.11.1294440804385; Fri, 07 Jan 2011 14:53:24 -0800 (PST) Received: from mail-wy0-f170.google.com (mail-wy0-f170.google.com [74.125.82.170]) by gmr-mx.google.com with ESMTP id t13si4007981wbc.0.2011.01.07.14.53.23; Fri, 07 Jan 2011 14:53:23 -0800 (PST) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.170 as permitted sender) client-ip=74.125.82.170; Received: by wyb39 with SMTP id 39so17594159wyb.1 for ; Fri, 07 Jan 2011 14:53:23 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.69.84 with SMTP id y20mr298758wbi.86.1294440803244; Fri, 07 Jan 2011 14:53:23 -0800 (PST) Received: by 10.227.54.72 with HTTP; Fri, 7 Jan 2011 14:53:23 -0800 (PST) In-Reply-To: <848989.4209.qm@web81302.mail.mud.yahoo.com> References: <294930.94884.qm@web81304.mail.mud.yahoo.com> <20110107194348.GT23787@digitalkingdom.org> <201101071606.28875.phma@phma.optus.nu> <20110107210820.GB23787@digitalkingdom.org> <848989.4209.qm@web81302.mail.mud.yahoo.com> Date: Fri, 7 Jan 2011 19:53:23 -0300 Message-ID: Subject: Re: Cake, Pie or Ice Cream? (was: Re: Lojban is *NOT* broken! Stop saying that! (was Re: [lojban] Re: Vote for the Future Global Language)) From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.170 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Jan 7, 2011 at 7:42 PM, John E Clifford wrot= e: > Just so, hence the requirement that the connectives be taken as connectin= g only > atomic expressions, i.e., not grouped ones. =A0That's a hard rule to just= ify > within Lojban, but it works fine in Logic (Skolem normal forms), where th= e > negations are not part of the connective. =A0Of course, then, the 'ji' tr= ick > doesn't work exactly. =A0On the other hand, using the groupings does cove= r some > cases that simple normal forms don't -- that is, more that one TT line at= once. Actually, the "... (na).e(nai) ... .e(nai) ... .e(nai) ..." form does work fine, so you can pinpoint exactly which ones you do want and which ones you don't in an intuitive way. It's the "na.e" form that causes trouble after the first one, because it negates everything that came before. mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.