From nobody@digitalkingdom.org Wed Apr 08 08:03:23 2009 Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 08 Apr 2009 08:03:27 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LrZJC-0007sf-In for lojban-beginners-real@lojban.org; Wed, 08 Apr 2009 08:03:23 -0700 Received: from mx.freeshell.org ([192.94.73.19] helo=sdf.lonestar.org ident=root) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LrZJ1-0007q3-OL for lojban-beginners@lojban.org; Wed, 08 Apr 2009 08:03:21 -0700 Received: from sdf.lonestar.org (IDENT:jwodder@iceland.freeshell.org [192.94.73.5]) by sdf.lonestar.org (8.14.3/8.13.8) with ESMTP id n38F2ogx028251 for ; Wed, 8 Apr 2009 15:02:50 GMT Received: (from jwodder@localhost) by sdf.lonestar.org (8.14.3/8.12.8/Submit) id n38F2osI025483 for lojban-beginners@lojban.org; Wed, 8 Apr 2009 15:02:50 GMT Date: Wed, 8 Apr 2009 15:02:50 +0000 From: Minimiscience To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: .ijo w/ more than one argument Message-ID: <20090408150248.GA28693@sdf.lonestar.org> References: <5715b9300904080740r17f52d3bmdae74423de602f6a@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <5715b9300904080740r17f52d3bmdae74423de602f6a@mail.gmail.com> Organization: SDF Public Access UNIX System User-Agent: Mutt/1.5.19 (2009-01-05) X-Spam_score: -2.6 X-Spam_score_int: -25 X-Spam_bar: -- X-Spam_report: Spam detection software, running on the system "chain.digitalkingdom.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: de'i li 08 pi'e 04 pi'e 2009 la'o fy. Luke Bergen .fy. cusku zoi skamyxatra. > so in example 7.3 of chapter 14 in the CLL, we have the following: > mi dotco .ijo mi ricfu .ijo mi nanmu > I am-German. If-and-only-if I am-rich. If-and-only-if I am-a-man. > > after which it says that if we work out the truth table for this we > see that an accurate translation of this would be: > Of the three properties --- German-ness, wealth, and manhood -- I > possess either exactly one or else all three. > > But this looks to me like this would be exactly 0 or all three, not > exactly 1. Could someone explain this (admittedly) very > counter-intuitive result? .skamyxatra [..X-archive-position: 1478 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: minimiscience@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners de'i li 08 pi'e 04 pi'e 2009 la'o fy. Luke Bergen .fy. cusku zoi skamyxatra. > so in example 7.3 of chapter 14 in the CLL, we have the following: > mi dotco .ijo mi ricfu .ijo mi nanmu > I am-German. If-and-only-if I am-rich. If-and-only-if I am-a-man. > > after which it says that if we work out the truth table for this we > see that an accurate translation of this would be: > Of the three properties --- German-ness, wealth, and manhood -- I > possess either exactly one or else all three. > > But this looks to me like this would be exactly 0 or all three, not > exactly 1. Could someone explain this (admittedly) very > counter-intuitive result? .skamyxatra A single "iff" statement is true if both operands are true OR both operands are false. Thus, if you are neither German nor rich, then "{mi dotco .ijo mi ricfu}" is true, and so "{mi dotco .ijo mi ricfu .ijo mi nanmu}" would require that you are a man in order to be true. Similarly, if you are German or rich, but not both, then "{mi dotco .ijo mi ricfu}" is false, and so you cannot also be a man. The truth table looks like this: d|r|n|d<->r<->n -|-|-|--------- T|T|T| T T|T|F| F T|F|T| F T|F|F| T F|T|T| F F|T|F| T F|F|T| T F|F|F| F mu'omi'e .kamymecraijun. -- bu'u la lojbangug. lo bangu cu daspo do