From nobody@digitalkingdom.org Sat May 31 19:32:34 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Sat, 31 May 2008 19:32:35 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1K2dN4-0004Pn-QI for lojban-list-real@lojban.org; Sat, 31 May 2008 19:32:34 -0700 Received: from narnia.blumen-schwarz.de ([80.190.195.21]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1K2dMw-0004Oy-TK for lojban-list@lojban.org; Sat, 31 May 2008 19:32:34 -0700 Received: from n5806.n.pppool.de ([89.50.88.6]) by narnia.blumen-schwarz.de with esmtpsa (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.68) (envelope-from ) id 1K2dMl-0005ZD-Ly for lojban-list@lojban.org; Sun, 01 Jun 2008 04:32:19 +0200 From: Roman Naumann To: lojban-list@lojban.org Subject: [lojban] Re: Possible error in CLL:14:7:3 Date: Sun, 1 Jun 2008 04:32:24 +0200 User-Agent: KMail/1.9.6 (enterprise 0.20070907.709405) References: <200806010341.34056.eldrikdo@gmail.com> <6F0F7B21-DB94-409D-8D68-35C9E400C614@gmail.com> In-Reply-To: <6F0F7B21-DB94-409D-8D68-35C9E400C614@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200806010432.31895.roman_naumann@fastmail.fm> X-Spam_score: -5.3 X-Spam_score_int: -52 X-Spam_bar: ----- X-Spam_report: ------------- Start der SpamAssassin Auswertung --------------- Bei Fragen dazu bitte das Forum life.d.cvmx verwenden! Details der Inhaltsanalyse: (-5.3 Punkte, 5.0 benoetigt) -1.8 ALL_TRUSTED Nachricht wurde nur über vertrauenswürdige Rechner weitergeleitet -4.0 BAYES_00 BODY: Spamwahrscheinlichkeit nach Bayes-Test: 0-1% [score: 0.0002] 0.5 AWL AWL: From: address is in the auto white-list ---------------- Ende der SpamAssassin Auswertung ----------------- X-Spam-Score: 1.2 X-Spam-Score-Int: 12 X-Spam-Bar: + X-archive-position: 14467 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: roman_naumann@fastmail.fm Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list I see, ki'e for the easy explanation! Am Sonntag 01 Juni 2008 04:03:19 schrieb Minimiscience: > No, the translation given is correct. This can be demonstrated with a > truth table: > > d|r|n|d<->r|d<->r<->n > -|-|-|-----|--------- > T|T|T| T | T > T|T|F| T | F > T|F|T| F | F > T|F|F| F | T > F|T|T| F | F > F|T|F| F | T > F|F|T| T | T > F|F|F| T | F > > Remember that (a) an "iff" statement is true only if both elements are > true *or* neither element is true, and (b) Lojban connectives are left- > associative. To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.