[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[lojban] Re: Logic Terminology in Lojban



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.