[lojban-beginners] ganai-gi and if-then

[ravas <ravas@outlook.com>]

first second result
True  True   True
True  False  True
False True   True
False False  False

...

Perhaps the most important of the truth functions commonly expressed in forethought is TFTT, which can be paraphrased as “if ... then ... ”
...

8.3)   ro da zo'u ganai da klama le zarci gi cadzu le foldi
       For-every X: if X is-a-goer-to the store then X is-a-walker-on the field.

----

Why is ganai-gi (TFTT) the preferred gek-gik structure for "if...then..."?
Given my limited understanding of "truth functions" it seems like ge-gi (TFFF) is clearer.
Isn't the first row the only thing we want to result in True?

Something else I don't understand:
"Since GA cmavo precede the first bridi, a following “nai” negates the first bridi instead."

Why are we negating anything?
Aren't we trying to assert both bridi are true?

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners.
For more options, visit https://groups.google.com/d/optout.