From ragnarok@pobox.com Fri Feb 28 20:02:15 2003
Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 28 Feb 2003 20:02:15 -0800 (PST)
Received: from smtp.intrex.net ([209.42.192.250])
	by digitalkingdom.org with esmtp (Exim 4.12)
	id 18oyC0-0002nX-00
	for lojban-list@lojban.org; Fri, 28 Feb 2003 20:01:45 -0800
Received: from craig [209.42.200.67] by smtp.intrex.net
  (SMTPD32-7.13) id A089134B02A8; Fri, 28 Feb 2003 23:01:13 -0500
From: "Craig" <ragnarok@pobox.com>
To: <lojban-list@lojban.org>
Subject: [lojban] Re: Any (was: Nick will be with you shortly)
Date: Fri, 28 Feb 2003 23:01:18 -0500
Message-ID: <LPBBLNNHBOGBGAINBIEFEEAJDBAA.ragnarok@pobox.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0)
In-Reply-To: <20030301033112.GA7560@digitalkingdom.org>
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
Importance: Normal
X-Declude-Sender: ragnarok@pobox.com [209.42.200.67]
X-archive-position: 4255
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: ragnarok@pobox.com
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list

>> No, it can't. Not when some of us have no training in predicate logic
>> and can only follow the discussion with Lojban instead of Logji.

>Since da is only defined in terms of predicate logic, those people
>should either go read a book on same or bow out of the discussion.  You
>can't expect us to teach a course in basic predicate logic here.  Well,
>you can, but you'd be silly to do so.

I understand the logic behind da just fine. What I don't know is the logical
notation used to denote this.