naja JA* cmavo-compound

logical connective: tanru-internal afterthought conditional/only if.


On grammatical class:

ja
logical connective: tanru-internal afterthought or.
je
logical connective: tanru-internal afterthought and.
je'i
logical connective: tanru-internal afterthought conn question.
jo
logical connective: tanru-internal afterthought biconditional/iff/if-and-only-if.
ju
logical connective: tanru-internal afterthought whether-or-not.
je'u'a (exp!)
logical connective: tanru-internal afterthought always true.
ji'a'a (exp!)
logical connective: tanru-internal afterthought always false.
ija (comp!)
logical connective: sentence afterthought or.
ijanai (comp!)
logical connective: sentence afterthought: (preceding sentence) if this sentence.
ije (comp!)
logical connective: sentence afterthought and.
ije'i (comp!)
logical connective: sentence afterthought conn question.
ijenai (comp!)
logical connective: sentence afterthought x but not y.
ijo (comp!)
logical connective: sentence afterthought biconditional/iff/if-and-only-if.
ijonai (comp!)
logical connective: sentence afterthought exclusive or; Latin 'aut'.
iju (comp!)
logical connective: sentence afterthought whether-or-not.
inaja (comp!)
logical connective: sentence afterthought conditional/only if.
jenai (comp!)
logical connective: tanru-internal afterthought x but not y.
jonai (comp!)
logical connective: tanru-internal afterthought exclusive or; Latin 'aut'.
naja (comp!)
logical connective: tanru-internal afterthought conditional/only if.

In definition:

ji'oi (exp!)
This cmavo precedes a predicate (at least binary) and turns it into a conjunction, which syntactically behaves like JA cmavo. The predicate indicates the relationship between the two connected propositions. Terminator: {te'u}.
ni'oi (exp!)
This cmavo precedes a predicate (at least binary) and turns it into an incidental conjunction, which syntactically behaves like JA cmavo. The predicate indicates the relationship between the two connected propositions. Terminator: {te'u}.
cmavrja
x1 is the selma'o "JA".

In notes:

vlina
x1 is a logical alternation/disjunction, stating that x2 (du'u) and/or x3 (du'u) is/are true.
sigda
x1 is a material conditional/'IF' statement (logical statement) saying that x2 (du'u) logically implies x3 (du'u) ("x3 is true if x2 is true; if x2, then x3; x2 being true is sufficient to guarantee the truth of x3").
ta'u'i (exp!)
Copy and paste the overall seltau of immediately preceding sumti at this location.
vy'y
brisni/statement terminator.
jorlge
x1 is the result of applying logical connective/conjunction x2 to the terms of the ordered list x3 in the order given, in system x4
tseingu
x1 (node in a tree graph) and x2 (node in the same tree graph) have an essentially unique most recent (graph-nearest) common ancestor node A such that x3 [nonnegative integer; li] is the minimum element of the set consisting only of d(A, x1) and of d(A, x2), and such that x4 [integer; li] is d(A, x1) - d(A, x2), where d is the graph geodesic distance (defined to be infinite if nodes are not connected in the correct direction).
jek zei uanta
x1 is a part of Lojban text representing rule 'jek' according to the first edition of the book 'The Complete Lojban Language'.