From nobody@digitalkingdom.org Wed Jun 11 07:04:22 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 11 Jun 2008 07:04:23 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1K6Qw2-0002iv-Mj for lojban-list-real@lojban.org; Wed, 11 Jun 2008 07:04:22 -0700 Received: from narnia.blumen-schwarz.de ([80.190.195.21]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1K6Qvq-0002iK-LF for lojban-list@lojban.org; Wed, 11 Jun 2008 07:04:22 -0700 Received: from n5802.n.pppool.de ([89.50.88.2]) by narnia.blumen-schwarz.de with esmtpsa (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.68) (envelope-from ) id 1K6Qvb-0006Vd-41 for lojban-list@lojban.org; Wed, 11 Jun 2008 16:04:01 +0200 From: namor To: lojban-list@lojban.org Subject: [lojban] Re: priority of se and na/nai in logical connectives Date: Wed, 11 Jun 2008 16:03:27 +0200 User-Agent: KMail/1.9.6 (enterprise 0.20070907.709405) References: <200806110037.05049.eldrikdo@gmail.com> <925d17560806101650n2017e5easb0a46111465213dd@mail.gmail.com> In-Reply-To: <925d17560806101650n2017e5easb0a46111465213dd@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis Content-Disposition: inline Message-Id: <200806111604.31828.eldrikdo@gmail.com> X-Spam_score: -2.2 X-Spam_score_int: -21 X-Spam_bar: -- X-Spam_report: ------------- Start der SpamAssassin Auswertung --------------- Bei Fragen dazu bitte das Forum life.d.cvmx verwenden! Details der Inhaltsanalyse: (-2.2 Punkte, 5.0 benoetigt) -1.8 ALL_TRUSTED Nachricht wurde nur über vertrauenswürdige Rechner weitergeleitet 1.0 BAYES_40 BODY: Spamwahrscheinlichkeit nach Bayes-Test: 20-40% [score: 0.2604] -1.4 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: 14490 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: eldrikdo@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Am Mittwoch 11 Juni 2008 01:50:13 schrieb Jorge Llambías: > broda .isejunai brode > = broda .iseju na brode > = na brode .iju broda > > i.e. true whenever brode is false (FTFT). For the first line, "i.e. true whenever brode is false (FTFT)" is true. For the last line, however, this isn't true as far as I understand, as: {na brode .iju broda} is FFTT, not FTFT. Consider a truth table for {na brode .iju broda} or {brode .inaju broda} respectively. Here, A is the first (brode) and B is the second (broda) A B R(esult) T T F [(not true) whether or not true] T F F [(not true) whether or not false] F T T [(not false) whether or not true] F F T [(not false) whether or not false] This example, again, suggests se has higher priority than nai. -- mu'o mi'e namor 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.