From nobody@digitalkingdom.org Tue Jun 10 16:50:18 2008
Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 10 Jun 2008 16:50:19 -0700 (PDT)
Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69)	(envelope-from <nobody@digitalkingdom.org>)	id 1K6DbW-0007Cu-Ky	for lojban-list-real@lojban.org; Tue, 10 Jun 2008 16:50:18 -0700
Received: from rv-out-0708.google.com ([209.85.198.248])	by chain.digitalkingdom.org with esmtp (Exim 4.69)	(envelope-from <jjllambias@gmail.com>)	id 1K6DbS-00073R-5o	for lojban-list@lojban.org; Tue, 10 Jun 2008 16:50:18 -0700
Received: by rv-out-0708.google.com with SMTP id b17so2784576rvf.46        for <lojban-list@lojban.org>; Tue, 10 Jun 2008 16:50:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;        d=gmail.com; s=gamma;        h=domainkey-signature:received:received:message-id:date:from:to         :subject:in-reply-to:mime-version:content-type         :content-transfer-encoding:content-disposition:references;        bh=ggPKRMuDml6AO4N2ZplkY7kbvWZXkIKo1an28LTcKz4=;        b=B4viaKk15v815OyvvIy/pMF+SgzFVOFZwLuXuxMkMleen1h9XR77AwKU9HyOFepdBS         12kIfMpmaOEeCRUrl9+s2CzHXj5z2QmSI2eVvgFwDrz8eKFE4UQrLDOtJs6JWWVSkRUK         V/pwDxemm0ZrDF2p/v8XL3Qir3akoF+4bnkoE=
DomainKey-Signature: a=rsa-sha1; c=nofws;        d=gmail.com; s=gamma;        h=message-id:date:from:to:subject:in-reply-to:mime-version         :content-type:content-transfer-encoding:content-disposition         :references;        b=aT3oWmu0H/sLR0nN96OTX//a+Q/E2RwfSdtAcbuzh/zO730enbe/jDquR2qOop83Y6         LKdLeDibHcEu4y6irZKVuyBn7MHpQxA0s5tT3x/kNcKmdSZ+wFQvpPjSEIgRb6857RDR         wCTRKaeom4hOb3nVqzg/oXJOGo57WBGFe+Iys=
Received: by 10.140.139.3 with SMTP id m3mr3432980rvd.244.1213141813457;        Tue, 10 Jun 2008 16:50:13 -0700 (PDT)
Received: by 10.141.194.15 with HTTP; Tue, 10 Jun 2008 16:50:13 -0700 (PDT)
Message-ID: <925d17560806101650n2017e5easb0a46111465213dd@mail.gmail.com>
Date: Tue, 10 Jun 2008 20:50:13 -0300
From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" <jjllambias@gmail.com>
To: lojban-list@lojban.org
Subject: [lojban] Re: priority of se and na/nai in logical connectives
In-Reply-To: <200806110037.05049.eldrikdo@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <200806110037.05049.eldrikdo@gmail.com>
X-Spam-Score: 0.0
X-Spam-Score-Int: 0
X-Spam-Bar: /
X-archive-position: 14481
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: jjllambias@gmail.com
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list

On Tue, Jun 10, 2008 at 7:37 PM, namor <eldrikdo@gmail.com> wrote:
> But the line
> "FTFT    U with sentences exchanged and then second negated" from CLL:15:2
> indicates the contrary,
> for the order is the other way around.

broda .isejunai brode
= broda .iseju na brode
= na brode .iju broda

i.e. true whenever brode is false (FTFT).

(The wording "U with sentences exchanged and then second negated"
is not very clear. What is "the second"? The original second, or the
second after the exchange? In fact it's the original, brode, as can be
seen from the truth table,)

Similarly:

broda .isejenai brode
= broda .iseje na brode
= na brode .ije broda
(= broda .ije na brode)
(= broda .ijenai brode)

mu'o mi'e xorxes


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.