Received-SPF: none (google.com: mbays@sdf.org does not designate permitted sender hosts) client-ip=192.94.73.24;
Date: Sat, 27 Sep 2014 15:29:52 -0400
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Re: tersmu 0.2
Message-ID: <20140927192952.GS28734@gonzales>
References: <20140927163121.GO28734@gonzales>
 <3c3b1c5e-cac2-42df-9d67-553a849789d3@googlegroups.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="TDVcAd+kFgbLxwBe"
Content-Disposition: inline
In-Reply-To: <3c3b1c5e-cac2-42df-9d67-553a849789d3@googlegroups.com>
X-cunselcu'a-valsi: burcu
User-Agent: Mutt/1.5.22 (2013-10-16)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=neutral
 (google.com: mbays@sdf.org does not designate permitted sender hosts) smtp.mail=mbays@sdf.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>,
 <http://groups.google.com/group/lojban/subscribe>
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -


--TDVcAd+kFgbLxwBe
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

* Saturday, 2014-09-27 at 12:25 -0700 - TR NS <transfire@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).

Martin

--TDVcAd+kFgbLxwBe
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iEYEARECAAYFAlQnEDAACgkQULC7OLX7LNZZmACgyiYnL5MeOFLu4jNUTwBgaMhj
EYgAn3CFOTj7KhtlGIuXdpKgFL6YXUia
=nSis
-----END PGP SIGNATURE-----

--TDVcAd+kFgbLxwBe--