Re: [lojban] Re: tersmu 0.2

["'John E Clifford' via lojban" <lojban@googlegroups.com>]

Well, there was just some discussion about Lojban to Logic algorithms and this is the first sign (in quite a while at least) that someone has at least the rudiments of that project in hand.  Thank you for your efforts and keep up the good work on this central project.

On Saturday, September 27, 2014 2:40 PM, TR NS <transfire@gmail.com> wrote:

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

.

-- 
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.