From jjllambias2000@yahoo.com.ar Thu Mar 27 13:27:59 2003
Return-Path: <lojban-out@lojban.org>
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?= <jjllambias2000@yahoo.com.ar>
Reply-To: jjllambias2000@yahoo.com.ar
X-Yahoo-Group-Post: member; u=142311107
X-Yahoo-Profile: jjllambias2000


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




