[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban-beginners] Re: Where can I learn more about logic?
--- Matt Arnold wrote:
> That having been said, jbofi'e returned a syntax error on your string. But
> I've translated it as follows.
Oops! I should have used forethought connectives:
[Ix]( Gx & [Ay](Fy <=> y=x))
su'o da zo'u ge da broda gi ro de zo'u go de brode gi de du da
I always forget that you can't join a prenexed sentence with ije.
> As I learned Lojban vocabulary, I long ago passed up "zo'u" since "end
> prenex" means absolutely nothing to me and I thought it was specialized
> expertise that would not be useful in normal language. Have I translated it
> correctly as taking something as a given or an axiom?
{su'o da zo'u} means "for at least one x, it is the case that (sentence)".
{ro da zo'u} means "for every x, it is the case that (sentence)".
I suspect pc made a typo and F and G were supposed to be the same
predicate. If that is so then the sentence says:
"there is at least one x such that x is a broda and for every y,
if y is a broda then y is x", in other words, there is one and only
one thing that is a broda. It is the expansion of {pa da broda}.
mu'o mi'e xorxes
__________________________________
Do you Yahoo!?
Meet the all-new My Yahoo! - Try it today!
http://my.yahoo.com