From jjllambias2000@yahoo.com.ar Thu Mar 27 13:27:47 2003 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) From: =?iso-8859-1?q?Jorge=20Llamb=EDas?= 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 Reply-to: lojban-list@lojban.org X-list: lojban-list 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