Received: from mail-qy0-f189.google.com ([209.85.216.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QRBhY-0008Ec-VJ; Mon, 30 May 2011 16:16:52 -0700 Received: by qyk36 with SMTP id 36sf7201284qyk.16 for ; Mon, 30 May 2011 16:16:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature: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; bh=dwjrr5xY5JJN10I3549QnwtQeNy4kLTTc9WmvFnUvX8=; b=3J05j/W7H3t8bXKTFxa4AKTbjnYcAOQgHYTFwzZ9kdZAu5d9PR+YlqLDQd8iltuJlk I9MhQ/MzA9bnrQQHlyEspGI/CEGAy2k5jmchxdpMYLUoVeAvNQkXa+GPbsD6uL/VForU ksZ7/zSIkr46hhWY09xz82yHjClsYqy7/Rf4g= 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:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; b=4HZuUoweS8OplVdDlcGFatVr1vtcrhUuCu+4K1IK+DX13NPm7hdcyQw8p3a5QxWg1D Fklhqn932O10qZn/m8WbcvzPPD4jCuEIRqkbaGB5vA38DRA5s0YXaZKrFgNNj6hjpR/6 FLOusDshj4EwNk4GV/ittqTId2B/kG/nOZUw0= Received: by 10.229.45.203 with SMTP id g11mr1222386qcf.38.1306797399912; Mon, 30 May 2011 16:16:39 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.224.187.71 with SMTP id cv7ls1005136qab.1.gmail; Mon, 30 May 2011 16:16:39 -0700 (PDT) Received: by 10.224.215.67 with SMTP id hd3mr1725427qab.18.1306797399474; Mon, 30 May 2011 16:16:39 -0700 (PDT) Received: by 10.224.215.67 with SMTP id hd3mr1725426qab.18.1306797399464; Mon, 30 May 2011 16:16:39 -0700 (PDT) Received: from mail-vw0-f50.google.com (mail-vw0-f50.google.com [209.85.212.50]) by gmr-mx.google.com with ESMTPS id k32si4233052qcs.1.2011.05.30.16.16.39 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 30 May 2011 16:16:39 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.50 as permitted sender) client-ip=209.85.212.50; Received: by vws14 with SMTP id 14so3054077vws.9 for ; Mon, 30 May 2011 16:16:39 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.180.135 with SMTP id do7mr4422607vdc.273.1306797398983; Mon, 30 May 2011 16:16:38 -0700 (PDT) Received: by 10.52.183.129 with HTTP; Mon, 30 May 2011 16:16:38 -0700 (PDT) In-Reply-To: References: Date: Mon, 30 May 2011 20:16:38 -0300 Message-ID: Subject: Re: [lojban-beginners] Just to double check, about {da} and quantifiers From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban-beginners@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.50 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: X-Google-Group-Id: 300742228892 List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Length: 867 On Mon, May 30, 2011 at 7:48 PM, .arpis. wrote: > > Specifically, in the restricted case, > (assuming there are no cat-dogs in the universe) what does {ro da poi ke'a > gerku je mlatu cu broda} mean? It means: ro da zo'u ganai da gerku je mlatu gi da broda it means that whether there are cat-dogs or not. > Is it false, true, meaningless? If there are no cat-dogs, it's true, since for every value of da it will be false that da gerku je mlatu. mu'o mi'e xorxes -- You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To post to this group, send email to lojban-beginners@googlegroups.com. To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.