From nobody@digitalkingdom.org Fri Jun 13 06:20:18 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 13 Jun 2008 06:20:18 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1K79CU-0001H6-BQ for lojban-list-real@lojban.org; Fri, 13 Jun 2008 06:20:18 -0700 Received: from fg-out-1718.google.com ([72.14.220.157]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1K79CI-0001GK-D2 for lojban-list@lojban.org; Fri, 13 Jun 2008 06:20:18 -0700 Received: by fg-out-1718.google.com with SMTP id e12so2848811fga.0 for ; Fri, 13 Jun 2008 06:20:04 -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=N+w+gmrD5pRaVCeYuDDgkmAPM3RPXg3AiPijTvwxJho=; b=TTK76l8fmAEy8kPvvK/l4vF586MWIxjQKtZT1xLgSIlQZZ3c6Jk9/Dvtg8bj65YOlH 34rmuGM7P4A0lUlyw/gZQYg0c/Hm2uRuMOv2rIy7+89N6ohsPZSjdz44hCU/8UaQ+FYd YLLqium+KtlGD4h2uRiqF5ueaMGaxj2PmR2Sc= 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=wDv4biNTdwy/gKzMQS/GPBQztJ67/1upcLp6h1BnalNU00ICignBP96XpE6a6OY2eV ma3P12C6i+/jyfUP422HtBk5lv2lnoRiJl3TFmvEq2ppLDhSolFKOcZxg20tscG8brHh bnBsdiSQisiYV/KEfFlYzOp2tgNFr0MiopJkQ= Received: by 10.86.9.8 with SMTP id 8mr3858981fgi.41.1213363204270; Fri, 13 Jun 2008 06:20:04 -0700 (PDT) Received: by 10.86.89.11 with HTTP; Fri, 13 Jun 2008 06:20:04 -0700 (PDT) Message-ID: <925d17560806130620u1492e349r30e22bacab254c36@mail.gmail.com> Date: Fri, 13 Jun 2008 10:20:04 -0300 From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" To: lojban-list@lojban.org Subject: [lojban] Re: priority of se and na/nai in logical connectives In-Reply-To: <200806130237.19732.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> <200806111604.31828.eldrikdo@gmail.com> <925d17560806110753m637b2513n404130ce79ffb5a4@mail.gmail.com> <200806130237.19732.eldrikdo@gmail.com> X-Spam-Score: 0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 14500 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 Thu, Jun 12, 2008 at 9:37 PM, namor wrote: > > The order in which you actually apply the 'se'- or 'na'/'nai'-changes on the > truth table doesn't matter then. Given a connective with the truth table 1234, where each number can stand for T or F, {na} will change it to 3412, {nai} will change it to 2143, and {se} will change it to 1324. The {na} and {nai} shifts can be applied together in any order with respect to each other, in both cases applying na-nai we get 4321. But the {se} shift must be applied to the truth table before the na/nai shifts. 1234 --> 1234 1234 -nai-> 2143 1234 -na-> 3412 1234 -na-nai-> 4321 1234 -se-> 1324 1234 -se-nai-> 3142 1234 -na-se-> 2413 1234 -na-se-nai-> 4231 The remaining 8 permutations are unreachable, but they wouldn't produce any new truth table in any case. > Thanks for your patient explaining xorxes Thank you, this was interesting as I had never thought about it this way. 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.