Received: from mail-oi0-f60.google.com ([209.85.218.60]:55626) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1YIYP8-0001Fq-Vh for lojban-beginners-archive@lojban.org; Tue, 03 Feb 2015 00:00:15 -0800 Received: by mail-oi0-f60.google.com with SMTP id i138sf14203493oig.5 for ; Tue, 03 Feb 2015 00:00:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=from:to:subject:date:message-id:user-agent:in-reply-to:references :mime-version:content-type: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; bh=lYHi5iqzapo2aGIRqExtA7VjtVhoPXJA7dRNp5yn3lg=; b=DjuqlWCugsJOWVzfk6Qjquice6L3Jh0ybZvswsYVpFvuQ0HeqO0c4kYfHnTX00m5+K F9RFaFAzbWh6e7IHJxdg7QjakNCcHqJQt6FQRQ2u+LJDW9g2zyc5xclu+tEZiC9vrebd QjtqfT2PjPFPi+eFvqa4uneUXA00OTmH29R5LaFKeMWUoXRJRQ9Bs6pKMuqCXdwrac/o Y+k+S1/zHwmfnHv2e7fwiDjQ2VCi9aGjbtxLSJz3ByI6VPhwKE74kUtiiWW4eMg/bqyX 6saP7s65PrkngDDpFy/SDf4c0fcbf6+GP7xR+tG3+jmROPN5KITSJQtVDjnsqdPXFp3J sU6A== X-Received: by 10.140.30.118 with SMTP id c109mr281522qgc.15.1422950408852; Tue, 03 Feb 2015 00:00:08 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.140.17.115 with SMTP id 106ls3175861qgc.57.gmail; Tue, 03 Feb 2015 00:00:08 -0800 (PST) X-Received: by 10.236.2.227 with SMTP id 63mr12840125yhf.12.1422950408142; Tue, 03 Feb 2015 00:00:08 -0800 (PST) Received: from cdptpa-oedge-vip.email.rr.com (cdptpa-outbound-snat.email.rr.com. [107.14.166.231]) by gmr-mx.google.com with ESMTP id ks4si160900pbc.1.2015.02.03.00.00.07 for ; Tue, 03 Feb 2015 00:00:07 -0800 (PST) Received-SPF: none (google.com: phma@bezitopo.org does not designate permitted sender hosts) client-ip=107.14.166.231; Received: from [98.122.190.249] ([98.122.190.249:60043] helo=bezitopo.org) by cdptpa-oedge03 (envelope-from ) (ecelerity 3.5.0.35861 r(Momo-dev:tip)) with ESMTP id 57/23-07348-70080D45; Tue, 03 Feb 2015 08:00:07 +0000 Received: from caracal.localnet (localhost [127.0.0.1]) by bezitopo.org (Postfix) with ESMTP id 3284D4AB0 for ; Tue, 3 Feb 2015 03:00:06 -0500 (EST) From: Pierre Abbat To: lojban-beginners@googlegroups.com Subject: Re: [lojban-beginners] ganai-gi and if-then Date: Tue, 03 Feb 2015 03:00:04 -0500 Message-ID: <2856335.3Zhz41LSmU@caracal> User-Agent: KMail/4.13.3 (Linux/3.13.0-44-generic; KDE/4.13.3; x86_64; ; ) In-Reply-To: <555b3462-f947-42b0-8dc8-00782f128988@googlegroups.com> References: <555b3462-f947-42b0-8dc8-00782f128988@googlegroups.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-RR-Connecting-IP: 107.14.168.142:25 X-Cloudmark-Score: 0 X-Original-Sender: phma@bezitopo.org X-Original-Authentication-Results: gmr-mx.google.com; spf=none (google.com: phma@bezitopo.org does not designate permitted sender hosts) smtp.mail=phma@bezitopo.org 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: , List-Unsubscribe: , X-Spam-Score: 0.8 (/) X-Spam_score: 0.8 X-Spam_score_int: 8 X-Spam_bar: / X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: On Monday, February 02, 2015 22:59:59 ravas wrote: > In the example I provided, why is ganai-gi (TFTT) preferred over ge-gi > (TFFF)? > I don't understand how the last two rows of the truth table resulting in > True is useful to the statement. > Can the example be translated the same way if we replace ganai with ge? > If not: why not, and what changes? > > 8.3) ro da zo'u ganai da klama le zarci gi cadzu le foldi > For-every X: if X is-a-goer-to the store then X is-a-walker-on the > field. [...] Content analysis details: (0.8 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: googlegroups.com] 2.7 DNS_FROM_AHBL_RHSBL RBL: Envelope sender listed in dnsbl.ahbl.org [listed in googlegroups.com.rhsbl.ahbl.org. IN] [A] -0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.60 listed in wl.mailspike.net] 0.0 T_HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail domains are different -0.0 SPF_PASS SPF: sender matches SPF record -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily valid -0.0 RCVD_IN_MSPIKE_WL Mailspike good senders Content-Length: 1590 On Monday, February 02, 2015 22:59:59 ravas wrote: > In the example I provided, why is ganai-gi (TFTT) preferred over ge-gi > (TFFF)? > I don't understand how the last two rows of the truth table resulting in > True is useful to the statement. > Can the example be translated the same way if we replace ganai with ge? > If not: why not, and what changes? > > 8.3) ro da zo'u ganai da klama le zarci gi cadzu le foldi > For-every X: if X is-a-goer-to the store then X is-a-walker-on the > field. That should be "... gi da cadzu le foldi", right? ro da zo'u ganai da klama le zarci gi da cadzu le foldi Everyone doesn't go to the store or does walk on the field. Everyone, if he goes to the store, walks on the field. ro da zo'u ge da klama le zarci gi da cadzu le foldi Everyone goes to the store and walks on the field. The first sentence can be true; the store can be surrounded by the field in such a way that the only way to go to the store is to walk on the field. The second is clearly false, as there are people who live their entire lives without going to any store. Pierre -- sei do'anai mi'a djuno puze'e noroi nalselganse srera -- You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com. To post to this group, send email to lojban-beginners@googlegroups.com. Visit this group at http://groups.google.com/group/lojban-beginners. For more options, visit https://groups.google.com/d/optout.