[lojban-beginners] Re: Where can I learn more about logic?

[Jorge "Llambías" <jjllambias2000@yahoo.com.ar>]

--- Matt Arnold  wrote:
> If Bertrand
> Russell's quote ?[Ix]( Gx & [Ay](Fy <=> y=x)).? is any indication, the
> practice of symbolic logic invented a new language already. Just not a
> speakable one.

That goes more or less directly into Lojban:
I: su'o
x: da
[ ]: zo'u
G: broda
&: ije
A: ro
y: de
F: brode
<=>: ijo 
=: du

With Lojban grammar, we have:

[Ix]( Gx & [Ay](Fy <=> y=x))
su'o da zo'u da broda ije ro de zo'u de brode ijo de du da

Almost word for word.

mu'o mi'e xorxes



		
__________________________________ 
Do you Yahoo!? 
The all-new My Yahoo! - Get yours free! 
http://my.yahoo.com