Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies

From: "Jorge Llambias" <[email-masked]>
Date: Wed, 27 Feb 2002 20:05:29

la pycyn cusku di'e

>{1} =df {0'}
>0' = 0' (by reflexivity of identity)
>1 = 0' (by definitional replacement).

How does the first line go into Lojban?
Is it: {ca'e li pa du li no y'ybu}? Something
else?

mu'o mi'e xorxes

_________________________________________________________________
Send and receive Hotmail on your mobile device: http://mobile.msn.com