[lojban] definitions of connectives in Lojban

5 views
Skip to first unread message

Jorge Llambías

unread,
Mar 27, 2003, 4:27:41 PM3/27/03
to lojba...@lojban.org

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

Reply all
Reply to author
Forward
0 new messages