[lojban-beginners] logical proofs?

[mikevdg@gulik.co.nz]

Hi all.

I'm a programmer in Auckland, New Zealand. I have a question about lojban, and
I'm hoping that this list is the best place to ask stupid questions :-).

Is it possible to do logical proofs in lojban? When I learned logic at uni
(which, btw, is a course I only just passed...), we learned that there were
proofs by contradiction, direct proofs and some other form of proof that I've
completely forgotten about.

Anyway, the idea was that a proof is a set of nested mini-proofs. For example, a
proof by contradiction would be something like:

Assume A
    do some stuff here.
    discover "A and not A".
    aha! This mini-world can't exist!
Therefore, "not A".

...or something like that. This was a few years ago and I'm really rusty. The
proof would be a very nice looking paper filled with lots of ^, v, ->, inverted
A's and reversed E's.

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). Also,
I couldn't find "proof", "prove", "proves", "theory", "axiom", "contradiction",
"implication" or "statement" (jufra? found only when looking up "sentence") in
the jbovlaste dictionary. I'm certain there are probably other ways of talking
about these concepts in lojban.

Michael.