Subject: [lojban] Re: importing ro

From: Jordan DeLong <[email-masked]>
Date: Wed, 6 Nov 2002 20:48:43 -0600

On Wed, Nov 06, 2002 at 08:41:43PM -0600, Jordan DeLong wrote:
> On Thu, Nov 07, 2002 at 01:59:04AM -0000, And Rosta wrote:
[...]
> Furthermore, it is false that
> Ax(Ux -> Wx) |- Ex(Ux & !Wx)

I meant to type:
~Ax(Ux -> Wx) |- Ex(Ux & ~Wx)

(but you could probably guess that anyway).

-- 
Jordan DeLong - [email-masked]
lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u
sei la mark. tuen. cusku