Date: Sun, 26 Jul 2015 10:32:49 -0700 (PDT)
From: sorpa'as plat <sorpaas@gmail.com>
To: lojban <lojban@googlegroups.com>
Cc: sorpaas@gmail.com
Message-Id: <c7d6b159-6a17-4130-bf62-1c08b05f9a01@googlegroups.com>
In-Reply-To: <aad53f30-986e-4349-a46b-e2585870a867@googlegroups.com>
References: <aad53f30-986e-4349-a46b-e2585870a867@googlegroups.com>
Subject: [lojban] Re: Logic Terminology in Lojban
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_2335_1554252710.1437931969715"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: -1.8
X-Spam_score_int: -17
X-Spam_bar: -

------=_Part_2335_1554252710.1437931969715
Content-Type: multipart/alternative; 
	boundary="----=_Part_2336_1714823204.1437931969716"

------=_Part_2336_1714823204.1437931969716
Content-Type: text/plain; charset=UTF-8

Just invented a word myself. {la bridi logji} (predicate logic) may be 
suitable to represent it :)

On Wednesday, July 22, 2015 at 9:48:26 PM UTC-4, sorpa'as plat wrote:
>
> Hi all,
>
> Recently I'm trying to create some works in Lojban, but I can't find 
> appropriate logic terms like "first-order logic", "existence claims" and 
> "universal claims" (which are used in Chapter 14 of Complete Lojban 
> Language). Is there a word in Lojban that describe those things? Is there a 
> list of all the Lojban terminologies?
>
> mu'o mi'e la sorpa'as 
>

-- 
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_2336_1714823204.1437931969716
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Just invented a word myself. {la bridi logji} (predicate l=
ogic) may be suitable to represent it :)<br><br>On Wednesday, July 22, 2015=
 at 9:48:26 PM UTC-4, sorpa&#39;as plat wrote:<blockquote class=3D"gmail_qu=
ote" style=3D"margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padd=
ing-left: 1ex;"><div dir=3D"ltr">Hi all,<br><br>Recently I&#39;m trying to =
create some works in Lojban, but I can&#39;t find appropriate logic terms l=
ike &quot;first-order logic&quot;, &quot;existence claims&quot; and &quot;u=
niversal claims&quot; (which are used in Chapter 14 of Complete Lojban Lang=
uage). Is there a word in Lojban that describe those things? Is there a lis=
t of all the Lojban terminologies?<br><br>mu&#39;o mi&#39;e la sorpa&#39;as=
 <br></div></blockquote></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_2336_1714823204.1437931969716--
------=_Part_2335_1554252710.1437931969715--