[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