From nobody@digitalkingdom.org Wed Apr 08 07:40:46 2009 Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 08 Apr 2009 07:40:47 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LrYxJ-0005mu-TS for lojban-beginners-real@lojban.org; Wed, 08 Apr 2009 07:40:46 -0700 Received: from mail-qy0-f122.google.com ([209.85.221.122]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LrYxC-0005mC-PI for lojban-beginners@lojban.org; Wed, 08 Apr 2009 07:40:45 -0700 Received: by qyk28 with SMTP id 28so223706qyk.28 for ; Wed, 08 Apr 2009 07:40:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type:content-transfer-encoding; bh=zYIWtXF2iboMIdgUI7k+jvNlJH05PqjO23q2RFr2Ei0=; b=GWsosxhbhSU1RcqjJFZoBPeSFO2dWgDeDaTrLKPnnZ53SQNApz7FTbUXGtj2bkizHo adVXtmLmXpmboeb0KhiJyXGtETfzSpnHlsKRudhM2UZysQSndu14b6IMSONOyEDcsdvl 6dt9fU/jBDu2xuI5gu95W6ZIeG/5euCQZ2eok= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=DMIF3Fpnp+iF07iHrK5IuWNqTL8IamB2Y61A968gR1ackx51YPRz8Du1pljxUXPFy9 zWBJ9JDkxkrH2UAfPjqs+edUFD7Ynka7XhloIJHb/iLux+ampZoBp5ug3UlW+zv0tz0j 3/VO+afkakVifQtV5bEiIhlvAAdgoVadTMM0s= MIME-Version: 1.0 Received: by 10.220.75.199 with SMTP id z7mr1917896vcj.112.1239201632437; Wed, 08 Apr 2009 07:40:32 -0700 (PDT) Date: Wed, 8 Apr 2009 10:40:32 -0400 Message-ID: <5715b9300904080740r17f52d3bmdae74423de602f6a@mail.gmail.com> Subject: [lojban-beginners] .ijo w/ more than one argument From: Luke Bergen To: lojban-beginners@lojban.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit 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: 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. [...] Content analysis details: (-2.6 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -2.6 BAYES_00 BODY: Bayesian spam probability is 0 to 1% [score: 0.0000X-archive-position: 1477 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: lukeabergen@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners 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? A -> B -> C I would think that this means either they are all T or they are all F. Maybe I'm misunderstanding iff. The truth value of iff is TFFT is it not? -- - Luke Bergen