[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Re: priority of se and na/nai in logical connectives
- To: lojban-list@lojban.org
- Subject: [lojban] Re: priority of se and na/nai in logical connectives
- From: "Jorge Llambías" <jjllambias@gmail.com>
- Date: Tue, 10 Jun 2008 20:50:13 -0300
- 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=
- In-reply-to: <200806110037.05049.eldrikdo@gmail.com>
- References: <200806110037.05049.eldrikdo@gmail.com>
- Reply-to: lojban-list@lojban.org
- Sender: lojban-list-bounce@lojban.org
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.