Re: [lojban] {lo broda cu brode} vs. {lo brode cu broda} vs. {broda je brode} vs. {brode no'oi broda} vs. Lesniewski vs. NLP

[".arpis." <rpglover64+jbobau@gmail.com>]

Not that I'm an expert, but I'd expect that you understand it the same way.

Assuming for simplicity one-place predicates, you can view them as sets.

{lo broda cu brode} asserts that a thing which is a broda is a member
of the set of brode, while {lo brode cu broda} asserts the
corresponding fact.

{broda je brode} creates a new predicate which is a set intersection
of broda and brode.

On Sat, Aug 11, 2012 at 5:42 AM, Gleki Arxokuna
<gleki.is.my.name@gmail.com> wrote:
> Can anyone tell me the difference between
>
> {lo broda cu brode} vs. {lo brode cu broda} vs. {broda je brode}
> What is more interesting that latros entered a new cmavo {no'oi} which is
> the same as {noi} but applied to selbri.
> And {lo=zo'e noi}.
> If so what's the difference between
> {lo broda cu brode} vs. {lo brode cu broda} vs. {broda je brode} vs. {brode
> no'oi broda}?
>
> Next.
> In Lesniewski's logic "a ε b" means "Earth is a planet", "Alice is a human"
> but not vice versa.
> In Natural Language Processing there is a predicate "instance-of" so that
> "New York is a city" turns into "New York is an-instance-of a city".
>
> How should I understand the same stuff in Lojban?
>
> --
> You received this message because you are subscribed to the Google Groups
> "lojban" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/lojban/-/TCytGgWgTjUJ.
> To post to this group, send email to lojban@googlegroups.com.
> To unsubscribe from this group, send email to
> lojban+unsubscribe@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/lojban?hl=en.



-- 
mu'o mi'e .arpis.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.