Re: [lojban-beginners] Conditionals--da'i etc.

[Jorge Llambías <jjllambias@gmail.com>]

On Thu, Apr 29, 2010 at 8:03 PM, Ian Johnson <blindbravado@gmail.com> wrote:
> Related question: how is nibli defined, exactly? Based on what I've learned
> in logic-heavy math classes, this should be true:
>
> .i lo du'u broda cu nibli lo du'u brode .ijo ganai broda gi brode
>
> Is it?

Not really. The nibli-statement on the left is a much stronger
statement than the material implication connective on the right.

Suppose:

broda = Eyjafjallajökull is a volcano in Iceland.
brode = Paris is the capital of France.

Both "broda" and "brode" happen to be true, so "ganai broda gi brode"
is also true.

But "lo du'u broda cu nibli lo du'u brode" says that starting from
"broda", and applying the logical rules of inference (implicit in the
x3 of nibli, let's assume the usual ones) then you can infer "brode".
But you can't really infer "Paris is the capital of France" from
"Eyjafjallajökull is a volcano in Iceland".

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.