Date: Sat, 27 Sep 2014 12:40:57 -0700 (PDT)
From: TR NS <transfire@gmail.com>
To: lojban@googlegroups.com
Cc: mbays@sdf.org
Message-Id: <bf1a257f-4b62-4d03-ad77-5bbfb1b91870@googlegroups.com>
In-Reply-To: <20140927192952.GS28734@gonzales>
References: <20140927163121.GO28734@gonzales>
 <3c3b1c5e-cac2-42df-9d67-553a849789d3@googlegroups.com>
 <20140927192952.GS28734@gonzales>
Subject: Re: [lojban] Re: tersmu 0.2
MIME-Version: 1.0
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; 
	boundary="----=_Part_1371_1778146033.1411846857260"
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

------=_Part_1371_1778146033.1411846857260
Content-Type: text/plain; charset=UTF-8


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

------=_Part_1371_1778146033.1411846857260
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><br>On Saturday, September 27, 2014 3:30:26 PM UTC-4, =
Martin Bays wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;marg=
in-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">* Saturday, =
2014-09-27 at 12:25 -0700 - TR NS &lt;<a href=3D"javascript:" target=3D"_bl=
ank" gdf-obfuscated-mailto=3D"yfFco5q-5_MJ" onmousedown=3D"this.href=3D'jav=
ascript:';return true;" onclick=3D"this.href=3D'javascript:';return true;">=
tran...@gmail.com</a>&gt;:
<br>
<br>&gt; On Saturday, September 27, 2014 12:31:55 PM UTC-4, Martin Bays wro=
te:
<br>&gt; Very cool!
<br>&gt;
<br>&gt; Could you explain some of the notation, e.g.
<br>&gt;
<br>&gt; non-veridical: FA x1. (gerku(f0(x1)) /\ srana(f0(x1),x1))
<br>&gt; EX x1. viska(f0(x1),mi)
<br>
<br>Yeah, there's quite a bit to the notation. But it outputs a lojban
<br>version too, so you should be able to work out things mean by comparing
<br>the logic with the lojban.
<br>
<br>To explain what's in your example:
<br>FA is for all
<br>EX is there exists
<br>/\ is and
<br>f0 is a function (glorked from context).
<br>
<br></blockquote><div><br></div><div>Thanks. That helps. Only the last one =
doesn't make sense to me. Is it something to do with `le`?</div><div><br></=
div><div><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

------=_Part_1371_1778146033.1411846857260--