Subject: RE: [lojban] Re: interactions between tenses, other tenses, and NA

From: "And Rosta" <[email-masked]>
Date: Sat, 28 Sep 2002 00:48:26 +0100

jorge:
> If I understand correctly, "the usual language of formal
> logic" would have something like ~Fab
> 
> This can be described as:
> 
> 1- Negation in front of the predicate
> 2- Negation in front of the whole expression
> 
> Lojban does: a~Fb, so as far as negation goes, it either follows 
> the usual language of formal logic (by 1) or it does not follow the
> usual language of formal logic (by 2).

But try adding a quantifier. Ax~Fxb. But in Lojban {ro da na brode
ko'a} means ~AxFxb. So there is no way that Lojban follows the
language of formal logic.

--And.