From lojban+bncCJ2UzZHuDRDLuLvyBBoEtQjkEg@googlegroups.com Fri Aug 19 14:57:44 2011 Received: from mail-vx0-f189.google.com ([209.85.220.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QuX4P-0002zx-AF; Fri, 19 Aug 2011 14:57:43 -0700 Received: by vxh2 with SMTP id 2sf4263091vxh.16 for ; Fri, 19 Aug 2011 14:57:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; 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:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=UE+1IN/nALnxjrmwp2xm4rF39lNvue+fKaiJ3Yeryj8=; b=kgl8gLNdI4q7UwfZLHIjyTeKMfdiZ5Wn/HpLtzJzbdm2BdpCev+3F5ccu5iHYQsNAB GmkRrCQA2ZHuGYfo0Eex2WlVgRnT1LumGXtthcB9pvnSPWEXSFH8uwtzjU+CUh1+Sqq3 IecYbXhRsLAku1ZDtXx93rqALsh64pP2VIuyU= Received: by 10.220.119.84 with SMTP id y20mr113623vcq.5.1313791051574; Fri, 19 Aug 2011 14:57:31 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.52.28.171 with SMTP id c11ls6538355vdh.1.gmail; Fri, 19 Aug 2011 14:57:31 -0700 (PDT) Received: by 10.52.117.164 with SMTP id kf4mr293169vdb.24.1313791051047; Fri, 19 Aug 2011 14:57:31 -0700 (PDT) Received: by 10.52.117.164 with SMTP id kf4mr293168vdb.24.1313791051039; Fri, 19 Aug 2011 14:57:31 -0700 (PDT) Received: from mail-vw0-f45.google.com (mail-vw0-f45.google.com [209.85.212.45]) by gmr-mx.google.com with ESMTPS id bh5si10304959vdc.3.2011.08.19.14.57.30 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 19 Aug 2011 14:57:31 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.45 as permitted sender) client-ip=209.85.212.45; Received: by vws17 with SMTP id 17so3831878vws.18 for ; Fri, 19 Aug 2011 14:57:30 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.77.98 with SMTP id r2mr210222vdw.433.1313791050641; Fri, 19 Aug 2011 14:57:30 -0700 (PDT) Received: by 10.52.101.170 with HTTP; Fri, 19 Aug 2011 14:57:29 -0700 (PDT) In-Reply-To: <20110819100840.GA27065@SDF.ORG> References: <1313511086.45473.YahooMailRC@web81308.mail.mud.yahoo.com> <20110817114634.GE6674@gonzales> <1313593494.36002.YahooMailRC@web81306.mail.mud.yahoo.com> <20110819002533.GG6674@gonzales> <20110819100840.GA27065@SDF.ORG> Date: Fri, 19 Aug 2011 18:57:29 -0300 Message-ID: Subject: Re: [lojban] xorlo and masses 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 209.85.212.45 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: X-Google-Group-Id: 1004133512417 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, Aug 19, 2011 at 7:08 AM, Martin Bays wrote: > * Thursday, 2011-08-18 at 23:28 -0300 - Jorge Llamb=EDas : >> On Thu, Aug 18, 2011 at 9:25 PM, Martin Bays wrote: >> > >> > A unary predicate P is 'distributive' iff >> > =A0 =A0\forall x,y. ( ( x Part y /\ P(y) ) --> P(x) ). >> >> A predicate P is 'distributive with respect to Q' iff >> =A0\forall x,y. ( ( Q(x) /\ x Part y /\ P(y) ) --> P(x) ). > > Do you mean that we could then talk not about global atoms but about > "P-atoms", by which I mean the x which are minimal such that P(x)? And > so have {re P cu broda} mean that two of the P-atoms broda? Yes, but since we will still want to use the same word in different contexts for the predicate that is distributive with respect to P and the related predicate that is not distributive with respect to P (say "bevri" with respect to "prenu") then we haven't advanced much with all this. 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.