No. You are making a common mistake of confusing the English "if" with the logician's if. When we are not talking about one thing depending on another ("if I get my car fixed, then we can go to the movies"), but rather logical implication (two statements that relate in their truth value) ("if it is raining, then the ground is wet"). Is that statement true if the ground is wet from a sprinkler, but yet it is sunny?, Yes, because we are only told what happens if it is rainy. But if it is NOT rainy, we aren't making any conclusion about the wetness of the ground, so the combined statement is still true. The only time it can be false if the hypothesis ("it is sunny") is true, but the conclusion ("the ground is wet") is false.(read articles about implication for more details)--gejyspaOn Mon, Feb 2, 2015 at 4:40 PM, ravas <ravas@outlook.com> wrote: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.