So nibli is not defined using the classical implication, then? Because in the classical implication "pigs can fly implies that the sky is green" is (assuming that we haven't done something really bizarre to the pigs) true.
mu'o mi'e latros.2010/4/30 Jorge Llambías <jjllambias@gmail.com>
On Thu, Apr 29, 2010 at 8:03 PM, Ian Johnson <blindbravado@gmail.com> wrote:Not really. The nibli-statement on the left is a much stronger
> 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?
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.
--
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.