[lojban-beginners] Re: logical proofs?

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Mon, Aug 23, 2004 at 03:38:30PM +1200, mikevdg@gulik.co.nz wrote:
> Is it possible to do logical proofs in lojban? 

Absolutely.  Give me a short one, and I'll translate it (*much* too
tired to do this now).

> The reason I'm asking is because, so far, I've seen no sign of
> language constructs to create a proof other than the very basic
> logical connectives (and, or, not, therefore) (disclaimer: I've only
> known lojban for a few days). 

The logical connectives include IFF and IF, and therefore are
sufficient.  {ro da} is "for all x", and {su'o da} is "there exists an x
such that".  Approximately.

> Also, I couldn't find "proof", "prove", "proves", "theory", "axiom",
> "contradiction", "implication" or "statement"

nibli, xusra, and natfe cover most of what you're looking for.

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
Reason #237 To Learn Lojban: "Homonyms: Their Grate!"