From chris@balcomie.freeserve.co.uk Wed Aug 25 16:29:46 2004
Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 25 Aug 2004 16:29:46 -0700 (PDT)
Received: from cmailm3.svr.pol.co.uk ([195.92.193.19])
	by chain.digitalkingdom.org with esmtp (Exim 4.34)
	id 1C07D6-00051E-Ux
	for lojban-beginners@chain.digitalkingdom.org; Wed, 25 Aug 2004 16:29:46 -0700
Received: from modem-119.hassium.dialup.pol.co.uk ([62.136.74.119] helo=crh37)
	by cmailm3.svr.pol.co.uk with esmtp (Exim 4.14)
	id 1C07D1-0005kg-CO
	for lojban-beginners@chain.digitalkingdom.org; Thu, 26 Aug 2004 00:29:39 +0100
From: "Chris Howlett" <chris@balcomie.freeserve.co.uk>
To: <lojban-beginners@chain.digitalkingdom.org>
Subject: [lojban-beginners] Re: logical proofs?
Date: Thu, 26 Aug 2004 00:29:51 +0100
Message-ID: <000101c48afb$6c347ca0$774a883e@crh37>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
In-Reply-To: <20040823183626.GM3257@chain.digitalkingdom.org>
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409
X-archive-position: 746
X-Approved-By: chris@balcomie.freeserve.co.uk
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: chris@balcomie.freeserve.co.uk
Precedence: bulk
Reply-to: lojban-beginners@chain.digitalkingdom.org
X-list: lojban-beginners

> 
> The rest of you should note that this isn't even *close* to 
> begginer Lojban.
>

I concur - although the maths is quite fun (I'm a maths grad). But I do
have one lojban query:

What does broda do, and how does it work? My wordlist gives it as
"predicate var 1: 1st assignable variable predicate (context determines
place structure)", which makes it sound like a pro-bridi. So why not
just use the bridi itself?

Curiously,

Chris.