Re: [lojban] Re: tersmu 0.2

[TR NS <transfire@gmail.com>]

On Saturday, September 27, 2014 3:30:26 PM UTC-4, Martin Bays wrote:

* Saturday, 2014-09-27 at 12:25 -0700 - TR NS <tran...@gmail.com>:

> On Saturday, September 27, 2014 12:31:55 PM UTC-4, Martin Bays wrote:
> Very cool!
>
> Could you explain some of the notation, e.g.
>
> non-veridical: FA x1. (gerku(f0(x1)) /\ srana(f0(x1),x1))
> EX x1. viska(f0(x1),mi)

Yeah, there's quite a bit to the notation. But it outputs a lojban
version too, so you should be able to work out things mean by comparing
the logic with the lojban.

To explain what's in your example:
FA is for all
EX is there exists
/\ is and
f0 is a function (glorked from context).

Thanks. That helps. Only the last one doesn't make sense to me. Is it something to do with `le`?

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