From jjllambias2000@yahoo.com.ar Thu Dec 02 07:06:07 2004
Received: with ECARTIS (v1.0.0; list lojban-beginners); Thu, 02 Dec 2004 07:06:07 -0800 (PST)
Received: from web41903.mail.yahoo.com ([66.218.93.154])
	by chain.digitalkingdom.org with smtp (Exim 4.34)
	id 1CZsX1-0004RO-C2
	for lojban-beginners@chain.digitalkingdom.org; Thu, 02 Dec 2004 07:06:07 -0800
Received: (qmail 79000 invoked by uid 60001); 2 Dec 2004 15:05:36 -0000
Message-ID: <20041202150536.78998.qmail@web41903.mail.yahoo.com>
Received: from [200.49.74.2] by web41903.mail.yahoo.com via HTTP; Thu, 02 Dec 2004 07:05:36 PST
Date: Thu, 2 Dec 2004 07:05:36 -0800 (PST)
From: Jorge "Llambías" <jjllambias2000@yahoo.com.ar>
Subject: [lojban-beginners] Re: Where can I learn more about logic?
To: lojban-beginners@chain.digitalkingdom.org
In-Reply-To: <200412021435.iB2EZmIP000408@mole.e-mol.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-archive-position: 919
X-Approved-By: jjllambias2000@yahoo.com.ar
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-beginners-bounce@chain.digitalkingdom.org
Errors-to: lojban-beginners-bounce@chain.digitalkingdom.org
X-original-sender: jjllambias2000@yahoo.com.ar
Precedence: bulk
Reply-to: lojban-beginners@chain.digitalkingdom.org
X-list: lojban-beginners


--- 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