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