From jjllambias2000@yahoo.com.ar Thu Mar 27 13:27:59 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_6_5); 27 Mar 2003 21:27:58 -0000 Received: (qmail 69791 invoked from network); 27 Mar 2003 21:27:58 -0000 Received: from unknown (66.218.66.217) by m6.grp.scd.yahoo.com with QMQP; 27 Mar 2003 21:27:58 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 27 Mar 2003 21:27:58 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.12) id 18yeuk-0004UE-00 for lojban@yahoogroups.com; Thu, 27 Mar 2003 13:27:58 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.12) id 18yeub-0004Tv-00; Thu, 27 Mar 2003 13:27:49 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 27 Mar 2003 13:27:47 -0800 (PST) Received: from web20505.mail.yahoo.com ([216.136.226.140]) by digitalkingdom.org with smtp (Exim 4.12) id 18yeuU-0004Tm-00 for lojban-list@lojban.org; Thu, 27 Mar 2003 13:27:42 -0800 Message-ID: <20030327212741.51863.qmail@web20505.mail.yahoo.com> Received: from [200.49.74.2] by web20505.mail.yahoo.com via HTTP; Thu, 27 Mar 2003 18:27:41 ART Date: Thu, 27 Mar 2003 18:27:41 -0300 (ART) Subject: [lojban] definitions of connectives in Lojban To: lojban-list@lojban.org MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 X-archive-position: 4653 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias2000@yahoo.com.ar Precedence: bulk X-list: lojban-list From: =?iso-8859-1?q?Jorge=20Llamb=EDas?= Reply-To: jjllambias2000@yahoo.com.ar X-Yahoo-Group-Post: member; u=142311107 X-Yahoo-Profile: jjllambias2000 X-Yahoo-Message-Num: 19133 In writing the definitions of logical connectives in Lojban, I'm using {kanxe} to define {ge} and {vlina} to define {ga}. There are no equivalents for {go} and {gu}. I have defined this lujvo for the biconditional: rolnonvlina: x1 vlina le kanxe be x2 bei x3 le kanxe be le natfe be x2 be'o bei le natfe be x3 In English: "x1 states that either x2 and x3 are both true or neither x2 nor x3 is true". More directly: "x1 is the all-or-nothing of x2 and x3". Any better ideas for this place structure? Any ideas for a lujvo for {gu}? It has to mean "x1 states that x2 is true whether or not x3 is true". mu'o mi'e xorxes ------------ ¡Internet GRATIS es Yahoo! Conexión! Usuario "yahoo", contraseña "yahoo". Desde Buenos Aires, 4004-1010. Otras ciudades: http://conexion.yahoo.com.ar/avanzados.html