Difference between revisions of "ELG. Conjunctions"

From Lojban
Jump to: navigation, search
 
(Created page with "=Conjunctions= {{image|chapter-connectives-picture|The picture for chapter 14|CLL-chapter-connectives.gif}} {{ssp|section-connectives-introduction}} ==Logical connection and t...")
Line 1: Line 1:
 +
=Conjunctions=
 +
{{image|chapter-connectives-picture|The picture for chapter 14|CLL-chapter-connectives.gif}}
 +
{{ssp|section-connectives-introduction}}
 +
==Logical connection and truth tables==
  
 +
{{ind|general-imported|truth functions}}  {{ind|general-imported|logical language|truth functions}} Lojban is a logical language: the name of the language itself means
 +
 +
“logical language”. The fundamentals of ordinary logic (there are variant logics, which aren't addressed in this book) include the notions of a “sentence” (sometimes called a “statement” or “proposition”), which asserts a truth or falsehood, and a small set of “truth functions”, which combine two sentences to create a new sentence. The truth functions have the special characteristic that the truth value (that is, the truth or falsehood) of the results depends only on the truth value of the component sentences. For example,
 +
 +
{{dsp|example-random-id-mJ6y}}
 +
{{judri|c14e1d1}}
 +
{{ind|example|man or woman|example}}
 +
John is a man or James is a woman.
 +
 +
is true if
 +
“John is a man” is true, or if
 +
“James is a woman” is true. If we know whether John is a man, and we know whether James is a woman, we know whether
 +
“John is a man or James is a woman” is true, provided we know the meaning of
 +
“or”. Here
 +
“John is a man” and
 +
“James is a woman” are the component sentences.
 +
 +
{{ind|general-imported|negating a sentence|and truth value}} We will use the phrase “negating a sentence” to mean changing its truth value. An English sentence may always be negated by prefixing
 +
 +
“It is false that ...”, or more idiomatically by inserting
 +
“not” at the right point, generally before the verb.
 +
“James is not a woman” is the negation of
 +
“James is a woman”, and vice versa. Recent slang can also negate a sentence by following it with the exclamation
 +
“Not!”
 +
 +
{{ind|general-imported|logical connectives}} Words like
 +
“or” are called “logical connectives”, and Lojban has many of them, as befits a logical language. This chapter is mostly concerned with explaining the forms and uses of the Lojban logical connectives. There are a number of other logical connectives in English such as “and”, “and/or”, “if”, “only if”, “whether or not”, and others; however, not every use of these English words corresponds to a logical connective. This point will be made clear in particular cases as needed. The other English meanings are supported by different Lojban connective constructs.
 +
 +
The Lojban connectives form a system (as the title of this chapter suggests), regular and predictable, whereas natural-language connectives are rather less systematic and therefore less predictable.
 +
 +
{{ind|general-imported|truth table|explanation}}  {{ind|general-imported|truth functions|16 possible}} There exist 16 possible different truth functions. A truth table is a graphical device for specifying a truth function, making it clear what the value of the truth function is for every possible value of the component sentences. Here is a truth table for
 +
 +
“or”:
 +
 +
<tab class=wikitable header=true>
 +
first second result
 +
True True True
 +
True False True
 +
False True True
 +
False False False
 +
</tab>
 +
This table means that if the first sentence stated is true, and the second sentence stated is true, then the result of the truth function is also true. The same is true for every other possible combination of truth values except the one where both the first and the second sentences are false, in which case the truth value of the result is also false.
 +
 +
Suppose that
 +
“John is a man” is true (and
 +
“John is not a man” is false), and that
 +
“James is a woman” is false (and
 +
“James is not a woman” is true). Then the truth table tells us that
 +
 +
:''“John is a man, or James is not a woman”            (true  true )  is true''
 +
:''“John is a man, or James is a woman”                (true , false)  is true''
 +
:''“John is not a man, or James is not a woman”        (false, true )  is true''
 +
:''“John is not a man, or James is a woman”            (false, false)  is false''
 +
 +
{{ind|general-imported|&quot;or&quot;|&quot;and/or&quot; contrasted with &quot;either … or … but not both&quot;}} Note that the kind of
 +
“or” used in this example can also be expressed (in formal English) with
 +
“and/or”. There is a different truth table for the kind of “or” that means “either ... or ... but not both”.
 +
 +
{{ind|general-imported|truth tables|notation convention}}  {{ind|general-imported|truth tables|abbreviated format}} To save space, we will write truth tables in a shorter format henceforth. Let the letters T and F stand for True and False. The rows will always be given in the order shown above: TT, TF, FT, FF for the two sentences. Then it is only necessary to give the four letters from the result column, which can be written TTTF, as can be seen by reading down the third column of the table above. So TTTF is the abbreviated truth table for the
 +
 +
“or” truth function. Here are the 16 possible truth functions, with an English version of what it means to assert that each function is, in fact, true (
 +
“first” refers to the first sentence, and
 +
“second” to the second sentence):
 +
 +
{{ind|general-imported|truth tables|list of 16 in abbreviated form}}
 +
<tab class=wikitable header=true>
 +
TTTT (always true)
 +
TTTF first is true and/or second is true.
 +
TTFT first is true if second is true.
 +
TTFF first is true whether or not second is true.
 +
TFTT first is true only if second is true.
 +
TFTF whether or not first is true, second is true.
 +
TFFT first is true if and only if second is true.
 +
TFFF first is true and second is true
 +
FTTT first and second are not both true.
 +
FTTF first or second is true, but not both.
 +
FTFT whether or not first is true, second is false.
 +
FTFF first is true, but second is false.
 +
FFTT first is false whether or not second is true.
 +
FFTF first is false, but second is true.
 +
FFFT neither first nor second is true.
 +
FFFF (always false)
 +
</tab>
 +
Skeptics may work out the detailed truth tables for themselves.
 +
 +
{{ssp|section-four-basics}}
 +
==The Four basic vowels==
 +
{{ind|general-imported|logical connectives|relation to truth functions}}  {{ind|general-imported|truth functions|relation to logical connectives}}  {{ind|general-imported|truth functions|fundamental 4 in Lojban}} Lojban regards four of these 16 truth functions as fundamental, and assigns them the four vowels A, E, O, and U. These letters do not represent actual cmavo or selma'o, but rather a component vowel from which actual logical-connective cmavo are built up, as explained in the next section. Here are the four vowels, their truth tables, and rough English equivalents:
 +
 +
{{ind|general-imported|fancy U|notation convention}}  {{ind|general-imported|fancy O|notation convention}}  {{ind|general-imported|fancy E|notation convention}}  {{ind|general-imported|fancy A|notation convention}}  {{ind|general-imported|truth tables|for 4 fundamental Lojban truth functions}}
 +
<tab class=wikitable header=true>
 +
A TTTF or, and/or
 +
E TFFF and
 +
O TFFT if and only if
 +
U TTFF whether or not
 +
</tab>
 +
More precisely:
 +
 +
:'''A is true if either or both sentences are true'''
 +
:'''E is true if both sentences are true, but not otherwise'''
 +
:'''O is true if the sentences are both true or both false'''
 +
:'''U is true if the first sentence is true, regardless of the truth value of the second sentence'''
 +
 +
{{ind|general-imported|truth functions|creating all 16 with Lojban's basic set}} With the four vowels, the ability to negate either sentence, and the ability to exchange the sentences, as if their order had been reversed, we can create all of the 16 possible truth functions except TTTT and FFFF, which are fairly useless anyway. The following table illustrates how to create each of the 14 remaining truth functions:
 +
 +
<tab class=wikitable header=true>
 +
TTTF A
 +
TTFT A with second sentence negated
 +
TTFF U
 +
TFTT A with first sentence negated
 +
TFTF U with sentences exchanged
 +
TFFT O
 +
TFFF E
 +
FTTT A with both sentences negated
 +
FTTF O with either first or second negated (not both)
 +
FTFT U with sentences exchanged and then second negated
 +
FTFF E with second sentence negated
 +
FFTT U with first sentence negated
 +
FFTF E with first sentence negated
 +
FFFT E with both sentences negated
 +
</tab>
 +
{{ind|general-imported|truth functions|commutative}}  {{ind|general-imported|commutative truth functions}} Note that exchanging the sentences is only necessary with U. The three other basic truth functions are commutative; that is, they mean the same thing regardless of the order of the component sentences. There are other ways of getting some of these truth tables; these just happen to be the methods usually employed.
 +
 +
{{ssp|section-six-types}}
 +
==The six types of logical connectives==
 +
{{ind|general-imported|logical connectives|rationale for multiple sets in grammar}} In order to remain unambiguous, Lojban cannot have only a single logical connective for each truth function. There are many places in the grammar of the language where logical connection is permitted, and each must have its appropriate set of connectives. If the connective suitable for sumti were used to connect selbri, ambiguity would result.
 +
 +
Consider the English sentence:
 +
 +
{{dsp|example-random-id-ptgf}}
 +
{{judri|c14e3d1}}
 +
{{ind|example|window|example}}
 +
Mary went to the window and ...
 +
 +
where the last word could be followed by
 +
“the door”, a noun phrase, or by
 +
“saw the horses”, a sentence with subject omitted, or by
 +
“John went to the door”, a full sentence, or by one of a variety of other English grammatical constructions. Lojban cannot tolerate such grammatical looseness.
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|general-imported|logical connectives|selma'o|enumerated}} Instead, there are a total of five different selma'o used for logical connection: A, GA, GIhA, GUhA, and JA. Each of these includes four cmavo, one based on each of the four vowels, which is always the last vowel in the cmavo. In selma'o A, the vowel is the entire cmavo.
 +
 +
{{ind|general-imported|logical connectives|cmavo|format for each selma'o}} Thus, in selma'o A, the cmavo for the function A is {{vla|a}}. (Do not confuse A, which is a selma'o, with A, which is a truth function, or {{vla|a}}, which is a cmavo.) Likewise, the cmavo for E in selma'o GIhA is {{vla|gi'e}}, and the cmavo for U in selma'o GA is {{vla|gu}}. This systematic regularity makes the cmavo easier to learn.
 +
 +
{{ind|general-imported|compound logical connectives|components}} Obviously, four cmavo are not enough to express the 14 truth functions explained in
 +
{{ls|section-connectives-introduction}}. Therefore, compound cmavo must be used. These compound cmavo follow a systematic pattern: each has one cmavo from the five logical connection selma'o at its heart, and may also contain one or more of the auxiliary cmavo
 +
{{vla|se}},
 +
{{vla|na}}, or
 +
{{vla|nai}}. Which auxiliaries are used with which logical connection cmavo, and with what grammar and meaning, will be explained in the following sections. The uses of each of these auxiliary cmavo relates to its other uses in other parts of Lojban grammar.
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|general-imported|jek|definition}}  {{ind|general-imported|ek|definition}}  {{ind|general-imported|-ek|in name for logical connectives}}  {{ind|general-imported|compound logical connectives|naming convention}} For convenience, each of the types of compound cmavo used for logical connection is designated by a Lojban name. The name is derived by changing the final
 +
“-A” of the selma'o name to
 +
“-ek”; the reasons for using
 +
“-ek” are buried deep in the history of the Loglan Project. Thus, compound cmavo based on selma'o A are known as eks, and those based on selma'o JA are known as jeks. (When writing in English, it is conventional to use
 +
“eks” as the plural of “ek”.) When the term “logical connective” is used in this chapter, it refers to one or more of these kinds of compound cmavo.
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|general-imported|ijek|definition}} Why does the title of this section refer to
 +
“six types” when there are only five selma'o? A jek may be preceded by
 +
{{vla|i}}, the usual Lojban cmavo for connecting two sentences. The compound produced by
 +
{{vla|i}} followed by a jek is known as an ijek. It is useful to think of ijeks as a sixth kind of logical connective, parallel to eks, jeks, geks, giheks, and guheks.
 +
 +
{{ind|lojban-word-imported|JOI selma'o}}  {{ind|lojban-word-imported|GI selma'o}}  {{ind|general-imported|ijoik|as name for compound cmavo}}  {{ind|general-imported|joigik|as name for compound cmavo}}  {{ind|general-imported|joik|as name for compound cmavo}}  {{ind|general-imported|gik|as name for compound cmavo}} There also exist giks, joiks, ijoiks, and joigiks, which are not logical connectives, but are other kinds of compound cmavo which will be introduced later.
 +
 +
{{ssp|section-bridi-connection}}
 +
==Logical connection of bridi==
 +
{{ind|general-imported|bridi|logical connective for}}  {{ind|general-imported|ijek logical connectives|connecting bridi}} Now we are ready to express
 +
{{lex|example-random-id-mJ6y}} in Lojban! The kind of logical connective which is placed between two Lojban bridi to connect them logically is an ijek:
 +
 +
{{dsp|example-random-id-h2hN}}{{example|interlinear-gloss-example|example-random-id-h2hN}}
 +
{{judri|c14e4d1}}
 +
:'''la djan. nanmu .ija la djeimyz. ninmu'''
 +
:<code>John is-a-man or James is-a-woman.</code>
 +
 +
Here we have two separate Lojban bridi, {{jbo|la djan. nanmu}} and {{jbo|la djeimyz. ninmu}}. These bridi are connected by {{vla|.i}}{{vla|ja}}, the ijek for the truth function A. The {{vla|i}} portion of the ijek tells us that we are dealing with separate sentences here. Similarly, we can now say:
 +
 +
{{dsp|example-random-id-qGiu}}{{example|interlinear-gloss-example|example-random-id-qGiu}}
 +
{{judri|c14e4d2}}
 +
:'''la djan. nanmu .ije la djeimyz. ninmu'''
 +
:<code>John is-a-man and James is-a-woman.</code>
 +
 +
{{dsp|example-random-id-qGIu}}{{example|interlinear-gloss-example|example-random-id-qGIu}}
 +
{{judri|c14e4d3}}
 +
:'''la djan. nanmu .ijo la djeimyz. ninmu'''
 +
:<code>John is-a-man if-and-only-if James is-a-woman.</code>
 +
 +
{{dsp|example-random-id-qgJC}}{{example|interlinear-gloss-example|example-random-id-qgJC}}
 +
{{judri|c14e4d4}}
 +
:'''la djan. nanmu .iju la djeimyz. ninmu'''
 +
:<code>John is-a-man whether-or-not James is-a-woman.</code>
 +
 +
{{ind|general-imported|bridi|logical connection with negation}} To obtain the other truth tables listed in
 +
 +
{{ls|section-four-basics}}, we need to know how to negate the two bridi which represent the component sentences. We could negate them directly by inserting
 +
{{vla|na}} before the selbri, but Lojban also allows us to place the negation within the connective itself.
 +
 +
{{ind|lojban-word-imported|JA selma'o}} To negate the first or left-hand bridi, prefix
 +
{{vla|na}} to the JA cmavo but after the
 +
{{vla|i}}. To negate the second or right-hand bridi, suffix
 +
:{{jbo|-nai}} to the JA cmavo. In either case, the negating word is placed on the side of the connective that is closest to the bridi being negated.
 +
 +
So to express the truth table FTTF, which requires O with either of the two bridi negated (not both), we can say either:
 +
 +
{{dsp|example-random-id-qgKB}}{{example|interlinear-gloss-example|example-random-id-qgKB}}
 +
{{judri|c14e4d5}}
 +
:'''la djan. nanmu .inajo la djeimyz. ninmu'''
 +
:<code>John is-not-a-man if-and-only-if James is-a-woman.</code>
 +
 +
{{dsp|example-random-id-qgLH}}{{example|interlinear-gloss-example|example-random-id-qgLH}}
 +
{{judri|c14e4d6}}
 +
:'''la djan. nanmu .ijonai la djeimyz. ninmu'''
 +
:<code>John is a man if-and-only-if James is-not-a-woman</code>
 +
 +
The meaning of both
 +
{{lex|example-random-id-qgKB}} and
 +
{{lex|example-random-id-qgLH}} is the same as that of:
 +
 +
{{dsp|example-random-id-1Kp9}}
 +
{{judri|c14e4d7}}
 +
John is a man or James is a woman, but not both.
 +
 +
Here is another example:
 +
 +
{{dsp|example-random-id-FXSC}}{{example|interlinear-gloss-example|example-random-id-FXSC}}
 +
{{judri|c14e4d8}}
 +
:'''la djan. nanmu .ijanai la djeimyz. ninmu'''
 +
:<code>John is-a-man or James is-not-a-woman.</code>
 +
:''John is a man if James is a woman.''
 +
 +
{{ind|general-imported|if|English usage contrasted with Lojban logical connective}}  {{ind|general-imported|if|meaning in logical connections}} How's that again? Are those two English sentences in
 +
{{lex|example-random-id-FXSC}} really equivalent? In English, no. The Lojban TTFT truth function can be glossed
 +
“A if B”, but the
 +
“if” does not quite have its English sense.
 +
{{lex|example-random-id-FXSC}} is true so long as John is a man, even if James is not a woman; likewise, it is true just because James is not a woman, regardless of John's gender. This kind of
 +
“if-then” is technically known as a
 +
“material conditional”.
 +
 +
Since James is not a woman (by our assertions in
 +
{{ls|section-connectives-introduction}}), the English sentence
 +
“John is a man if James is a woman” seems to be neither true nor false, since it assumes something which is not true. It turns out to be most convenient to treat this
 +
“if” as TTFT, which on investigation means that
 +
{{lex|example-random-id-FXSC}} is true.
 +
{{lex|example-random-id-EdY5}}, however, is equally true:
 +
 +
{{dsp|example-random-id-EdY5}}{{example|interlinear-gloss-example|example-random-id-EdY5}}
 +
{{judri|c14e4d9}}
 +
:'''la djan. ninmu .ijanai la djeimyz. ninmu'''
 +
:''John is a woman if James is a woman.''
 +
 +
{{ind|general-imported|false statement|implications of}}  {{ind|general-imported|principle of consistency|of logical-if statements}} This can be thought of as a principle of consistency, and may be paraphrased as follows:
 +
 +
“If a false statement is true, any statement follows from it.” All uses of English “if” must be considered very carefully when translating into Lojban to see if they really fit this Lojban mold.
 +
 +
{{ind|general-imported|only if|compared with if … then}}  {{ind|general-imported|if … then|compared with only if}}
 +
{{lex|example-random-id-9CCS}}, which uses the TFTT truth function, is subject to the same rules: the stated gloss of TFTT as
 +
“only if” works naturally only when the right-hand bridi is false; if it is true, the left-hand bridi may be either true or false. The last gloss of
 +
{{lex|example-random-id-9CCS}} illustrates the use of
 +
“if ... then” as a more natural substitute for “only if”.
 +
 +
{{dsp|example-random-id-9CCS}}{{example|interlinear-gloss-example|example-random-id-9CCS}}
 +
{{judri|c14e4d10}}
 +
:'''la djan. nanmu .inaja la djeimyz. ninmu'''
 +
:<code>John is-not-a-man or James is-a-woman.</code>
 +
:''John is a man only if James is a woman.''
 +
:''If John is a man, then James is a woman.''
 +
 +
{{ind|general-imported|se|in logical connective to exchange sentences}} The following example illustrates the use of
 +
{{vla|se}} to, in effect, exchange the two sentences. The normal use of
 +
{{vla|se}} is to (in effect) transpose places of a bridi, as explained in
 +
{{ls|section-place-conversion}}.
 +
 +
{{dsp|example-random-id-z43X}}{{example|interlinear-gloss-example|example-random-id-z43X}}
 +
{{judri|c14e4d11}}
 +
:'''la djan. nanmu .iseju la djeimyz. ninmu'''
 +
:''Whether or not John is a man, James is a woman.''
 +
 +
{{ind|lojban-word-imported|nai}}  {{ind|general-imported|na|order in logical connectives with se}}  {{ind|general-imported|se|order in logical connectives with na}} If both
 +
{{vla|na}} and
 +
{{vla|se}} are present, which is legal but never necessary,
 +
{{vla|na}} would come before
 +
{{vla|se}}.
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|lojban-word-imported|I selma'o}}  {{ind|general-imported|ijeks|syntax of}} The full syntax of ijeks, therefore, is:
 +
 +
{{grammar|.i [na] [se] JA [nai]}}
 +
where the cmavo in brackets are optional.
 +
 +
{{ssp|section-forethought-bridi-connection}}
 +
==Forethought bridi connection==
 +
 +
{{ind|general-imported|forethought connectives|contrasted with afterthought connectives}}  {{ind|general-imported|afterthought connectives|contrasted with forethought connectives}} Many concepts in Lojban are expressible in two different ways, generally referred to as
 +
“afterthought” and
 +
“forethought”.
 +
{{ls|section-bridi-connection}} discussed what is called
 +
“afterthought bridi logical connection”. The word
 +
 +
“afterthought” is used because the connective cmavo and the second bridi were added, as it were, afterwards and without changing the form of the first bridi. This form might be used by someone who makes a statement and then wishes to add or qualify that statement after it has been completed. Thus,
 +
 +
{{dsp|example-random-id-dp8V}}{{example|interlinear-gloss-example|example-random-id-dp8V}}
 +
{{judri|c14e5d1}}
 +
:'''la djan. nanmu'''
 +
 +
is a complete bridi, and adding an afterthought connection to make
 +
 +
{{dsp|example-random-id-7h3s}}{{example|interlinear-gloss-example|example-random-id-7h3s}}
 +
{{judri|c14e5d2}}
 +
:'''la djan. nanmu .ija la djeimyz. ninmu'''
 +
:''John is a man or James is a woman (or both)''
 +
 +
provides additional information without requiring any change in the form of what has come before; changes which may not be possible or practical, especially in speaking. (The meaning, however, may be changed by the use of a negating connective.) Afterthought connectives make it possible to construct all the important truth-functional relationships in a variety of ways.
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|general-imported|afterthought bridi connectives|contrasted with forethought bridi connectives}}  {{ind|general-imported|forethought bridi connectives|contrasted with afterthought bridi connectives}}  {{ind|general-imported|gek bridi connectives|contrasted with ijeks}}  {{ind|general-imported|ijek bridi connectives|contrasted with geks}}  {{ind|general-imported|gek|definition}} In forethought style the speaker decides in advance, before expressing the first bridi, that a logical connection will be expressed. Forethought and afterthought connectives are expressed with separate selma'o. The forethought logical connectives corresponding to afterthought ijeks are geks:
 +
 +
{{dsp|example-random-id-mYeS}}{{example|interlinear-gloss-example|example-random-id-mYeS}}
 +
{{judri|c14e5d3}}
 +
:'''ga la djan. nanmu gi la djeimyz. ninmu'''
 +
:''Either John is a man or James is a woman (or both).''
 +
 +
{{vla|ga}} is the cmavo which represents the
 +
A truth function in selma'o GA. The word
 +
{{vla|gi}} does not belong to GA at all, but constitutes its own selma'o: it serves only to separate the two bridi without having any content of its own. The English translation of
 +
{{vla|ga}}&hellip;{{vla|gi}} is
 +
“either ... or”, but in the English form the truth function is specified both by the word
 +
“either” and by the word
 +
“or”: not so in Lojban.
 +
 +
{{ind|general-imported|i|regarding forethought bridi connection}}  {{ind|general-imported|forethought bridi connection|as grammatically one sentence}} Even though two bridi are being connected, geks and giks do not have any
 +
 +
{{vla|i}} in them. The forethought construct binds up the two bridi into a single sentence as far as the grammar is concerned.
 +
 +
Some more examples of forethought bridi connection are:
 +
 +
{{dsp|example-random-id-qGLh}}{{example|interlinear-gloss-example|example-random-id-qGLh}}
 +
{{judri|c14e5d4}}
 +
:'''ge la djan. nanmu gi la djeimyz. ninmu'''
 +
:''(It is true that) both John is a man and James is a woman.''
 +
 +
{{dsp|example-random-id-qgMN}}{{example|interlinear-gloss-example|example-random-id-qgMN}}
 +
{{judri|c14e5d5}}
 +
:'''gu la djan. nanmu gi la djeimyz. ninmu'''
 +
:''It is true that John is a man, whether or not James is a woman.''
 +
 +
It is worth emphasizing that
 +
{{lex|example-random-id-qgMN}} does not assert that James is (or is not) a woman. The
 +
{{vla|gu}} which indicates that
 +
:{{jbo|la djeimyz. ninmu}} may be true or false is unfortunately rather remote from the bridi thus affected.
 +
 +
Perhaps the most important of the truth functions commonly expressed in forethought is TFTT, which can be paraphrased as
 +
“if ... then ...”:
 +
 +
{{dsp|example-random-id-Xcg1}}{{example|interlinear-gloss-example|example-random-id-Xcg1}}
 +
{{judri|c14e5d6}}
 +
:'''ganai la djan. nanmu gi la djeimyz. ninmu'''
 +
:<code>Either John is not a man, or James is a woman.</code>
 +
:''If John is a man, then James is a woman.''
 +
 +
{{ind|general-imported|nai|placement in afterthought bridi connection contrasted with forethought}}  {{ind|general-imported|nai|placement in forethought bridi connection contrasted with afterthought}} Note the placement of the
 +
{{vla|nai}} in
 +
{{lex|example-random-id-Xcg1}}. When added to afterthought selma'o such as JA, a following
 +
{{vla|nai}} negates the second bridi, to which it is adjacent. Since GA cmavo precede the first bridi, a following
 +
{{vla|nai}} negates the first bridi instead.
 +
 +
{{ind|general-imported|logical connectives|negated first sentence as a potential problem for understanding}} Why does English insist on forethought in the translation of
 +
{{lex|example-random-id-Xcg1}}? Possibly because it would be confusing to seemingly assert a sentence and then make it conditional (which, as the Lojban form shows, involves a negation). Truth functions which involve negating the first sentence may be confusing, even to the Lojbanic understanding, when expressed using afterthought.
 +
 +
{{ind|general-imported|if … then|logical connectives contrasted with other translations}} It must be reiterated here that not every use of English
 +
“if ... then” is properly translated by
 +
 +
{{vla|.i}}{{vla|na}}{{vla|ja}} or
 +
{{vla|ganai}}&hellip;{{vla|gi}}; anything with implications of time needs a somewhat different Lojban translation, which will be discussed in
 +
{{ls|section-sumtcita}}. Causal sentences like
 +
“If you feed the pig, then it will grow” are not logical connectives of any type, but rather need a translation using
 +
 +
{{vla|rinka}} as the selbri joining two event abstractions, thus:
 +
 +
{{dsp|example-random-id-TQP9}}{{example|interlinear-gloss-example|example-random-id-TQP9}}
 +
{{judri|c14e5d7}}
 +
:'''le nu do cidja dunda fi le xarju cu rinka le nu ri ba banro'''
 +
:<code>The event-of (you food-give to the pig) causes the event-of (it will grow).</code>
 +
 +
Causality is discussed in far more detail in
 +
{{ls|section-causals}}.
 +
 +
{{lex|example-random-id-I2jU}} and
 +
{{lex|example-random-id-Tiz6}} illustrates a truth function, FTTF, which needs to negate either the first or the second bridi. We already understand how to negate the first bridi:
 +
 +
{{dsp|example-random-id-I2jU}}{{example|interlinear-gloss-example|example-random-id-I2jU}}
 +
{{judri|c14e5d8}}
 +
:'''gonai la djan. nanmu gi la djeimyz. ninmu'''
 +
:<code>John is-not-a-man if-and-only-if James is-a-woman.</code>
 +
:''Either John is a man or James is a woman but not both.''
 +
 +
How can the second bridi be negated? By adding
 +
:{{jbo|-nai}} to the
 +
{{vla|gi}}.
 +
 +
{{dsp|example-random-id-Tiz6}}{{example|interlinear-gloss-example|example-random-id-Tiz6}}
 +
{{judri|c14e5d9}}
 +
:'''go la djan. nanmu ginai la djeimyz. ninmu'''
 +
:<code>John is-a-man if-and-only-if James is-not-a-woman.</code>
 +
:''Either John is a man or James is a woman but not both.''
 +
 +
{{ind|general-imported|gik|definition}} A compound cmavo based on
 +
{{vla|gi}} is called a gik; the only giks are
 +
 +
{{vla|gi}} itself and
 +
{{vla|gi}}{{vla|nai}}.
 +
 +
Further examples:
 +
 +
{{dsp|example-random-id-qgmv}}{{example|interlinear-gloss-example|example-random-id-qgmv}}
 +
{{judri|c14e5d10}}
 +
:'''ge la djan. nanmu ginai la djeimyz. ninmu'''
 +
:<code>John is-a-man and James is-not-a-woman.</code>
 +
 +
{{dsp|example-random-id-qgMy}}{{example|interlinear-gloss-example|example-random-id-qgMy}}
 +
{{judri|c14e5d11}}
 +
:'''ganai la djan. nanmu ginai la djeimyz. ninmu'''
 +
:<code>John is-not-a-man or James is-not-a-woman.</code>
 +
 +
{{ind|lojban-word-imported|GA selma'o}}  {{ind|lojban-word-imported|nai}}  {{ind|lojban-word-imported|se}}  {{ind|lojban-word-imported|GA selma'o}}  {{ind|lojban-word-imported|ganai}}  {{ind|general-imported|geks|syntax of}} The syntax of geks is:
 +
 +
{{grammar|[se] GA [nai]}}
 +
{{ind|lojban-word-imported|nai}}  {{ind|general-imported|giks|syntax of}} and of giks (which are not themselves connectives, but part of the machinery of forethought connection) is:
 +
 +
{{grammar|{{vla|gi}} [nai]}}
 +
 +
{{ssp|section-sumti-connection}}
 +
==sumti connection==
 +
 +
{{ind|general-imported|bridi logical connection|compared with sumti logical connections}}  {{ind|general-imported|sumti logical connection|compared with bridi logical connections}}  {{ind|general-imported|sumti logical connection|rationale for}}  {{ind|general-imported|sumti logical connection}} Geks and ijeks are sufficient to state every possible logical connection between two bridi. However, it is often the case that two bridi to be logically connected have one or more portions in common:
 +
 +
{{dsp|example-random-id-Ecnq}}{{example|interlinear-gloss-example|example-random-id-Ecnq}}
 +
{{judri|c14e6d1}}
 +
:'''la djan. klama le zarci .ije la .alis. klama le zarci'''
 +
:''John goes to the market, and Alice goes to the market.''
 +
 +
Here only a single sumti differs between the two bridi. Lojban does not require that both bridi be expressed in full. Instead, a single bridi can be given which contains both of the different sumti and uses a logical connective from a different selma'o to combine the two sumti:
 +
 +
{{dsp|example-random-id-JTIm}}{{example|interlinear-gloss-example|example-random-id-JTIm}}
 +
{{judri|c14e6d2}}
 +
:'''la djan .e la .alis. klama le zarci'''
 +
:<code>John and Alice go-to the market.</code>
 +
 +
{{ind|lojban-word-imported|A selma'o}}  {{ind|lojban-word-imported|.e}}  {{ind|general-imported|logical connection|transformation between forms}}
 +
{{lex|example-random-id-JTIm}} means exactly the same thing as
 +
{{lex|example-random-id-Ecnq}}: one may be rigorously transformed into the other without any change of logical meaning. This rule is true in general for every different kind of logical connection in Lojban; all of them, with one exception (See {{ls|section-tanru}}), can always be transformed into a logical connection between sentences that expresses the same truth function.
 +
 +
{{ind|lojban-word-imported|A selma'o}}  {{ind|general-imported|eks|in sumti forethought logical connection}}  {{ind|general-imported|sumti connection|afterthought}} The afterthought logical connectives between sumti are eks, which contain a connective cmavo of selma'o A. If ijeks were used in
 +
{{lex|example-random-id-JTIm}}, the meaning would be changed:
 +
 +
{{dsp|example-random-id-7KHA}}{{example|interlinear-gloss-example|example-random-id-7KHA}}
 +
{{judri|c14e6d3}}
 +
:'''la djan. .ije la .alis. klama le zarci'''
 +
:<code>John [is/does something]. And Alices goes-to the market.</code>
 +
 +
leaving the reader uncertain why John is mentioned at all.
 +
 +
Any ek may be used between sumti, even if there is no direct English equivalent:
 +
 +
{{dsp|example-random-id-BDLS}}{{example|interlinear-gloss-example|example-random-id-BDLS}}
 +
{{judri|c14e6d4}}
 +
:'''la djan. .o la .alis. klama le zarci'''
 +
:<code>John if-and-only-if Alice goes-to the market.</code>
 +
:''John goes to the market if, and only if, Alice does.''
 +
 +
The second line of
 +
{{lex|example-random-id-7KHA}} is highly stilted English, but the first line (of which it is a literal translation) is excellent Lojban.
 +
 +
{{ind|lojban-word-imported|GA selma'o}}  {{ind|general-imported|geks|in forethought sumti connection}}  {{ind|general-imported|sumti connection|forethought}} What about forethought sumti connection? As is the case for bridi connection, geks are appropriate. They are not the only selma'o of forethought logical-connectives, but are the most commonly used ones.
 +
 +
{{dsp|example-random-id-YEa4}}{{example|interlinear-gloss-example|example-random-id-YEa4}}
 +
{{judri|c14e6d5}}
 +
:'''ga la djan. gi la .alis. klama le zarci'''
 +
:<code>Either John or Alice (or both) goes-to the market.</code>
 +
 +
{{ind|general-imported|se writing convention|in eks}}  {{ind|general-imported|na writing convention|in eks}} Of course, eks include all the same patterns of compound cmavo that ijeks do. When
 +
{{vla|na}} or
 +
{{vla|se}} is part of an ek, a special writing convention is invoked, as in the following example:
 +
 +
{{dsp|example-random-id-caoY}}{{example|interlinear-gloss-example|example-random-id-caoY}}
 +
{{judri|c14e6d6}}
 +
:'''la djan. na.a la .alis. klama le zarci'''
 +
:<code>John only if Alice goes-to the market.</code>
 +
:''John goes to the market only if Alice does.''
 +
 +
Note the period in
 +
{{vla|na}}{{vla|.a}}. The cmavo of A begin with vowels, and therefore must always be preceded by a pause. It is conventional to write all connective compounds as single words (with no spaces), but this pause must still be marked in writing as in speech; otherwise, the
 +
{{vla|na}} and
 +
{{vla|a}} would tend to run together.
 +
 +
{{ssp|section-more-propositions}}
 +
==More than two propositions==
 +
{{ind|general-imported|logical connectives|more than 2 sentences}} So far we have seen logical connectives used to connect exactly two sentences. How about connecting three or more? Is this possible in Lojban? The answer is yes, subject to some warnings and some restrictions.
 +
 +
{{ind|general-imported|logical connectives|associative}} Of the four primitive truth functions A, E, O, and U, all but O have the same truth values no matter how their component sentences are associated in pairs. Therefore,
 +
 +
{{dsp|example-random-id-9tHr}}{{example|interlinear-gloss-example|example-random-id-9tHr}}
 +
{{judri|c14e7d1}}
 +
:'''mi dotco .ije mi ricfu .ije mi nanmu'''
 +
:<code>I am-German. And I am-rich. And I am-a-man.</code>
 +
 +
means that all three component sentences are true. Likewise,
 +
 +
{{dsp|example-random-id-MCsf}}{{example|interlinear-gloss-example|example-random-id-MCsf}}
 +
{{judri|c14e7d2}}
 +
:'''mi dotco .ija mi ricfu .ija mi nanmu'''
 +
:<code>I am-German. Or I am-rich. Or I am-a-man.</code>
 +
 +
means that one or more of the component sentences is true.
 +
 +
{{ind|general-imported|logical connectives|equivalence relation on 3 sentences}}  {{ind|general-imported|logical connectives|non-associative}}
 +
O, however, is different. Working out the truth table for
 +
 +
{{dsp|example-random-id-3zE1}}{{example|interlinear-gloss-example|example-random-id-3zE1}}
 +
{{judri|c14e7d3}}
 +
:'''mi dotco .ijo mi ricfu .ijo mi nanmu'''
 +
:<code>I am-German. If-and-only-if I am-rich. If-and-only-if I am-a-man.</code>
 +
 +
shows that
 +
{{lex|example-random-id-3zE1}} does not mean that either I am all three of these things or none of them; instead, an accurate translation would be:
 +
 +
:''Of the three properties &ndash; German-ness, wealth, and manhood &ndash; I possess either exactly one or else all three.''
 +
{{ind|general-imported|logical connection|negation in connecting more than 2 sentences}}  {{ind|general-imported|logical connection|of more than 2 sentences|things to avoid}} Because of the counterintuitiveness of this outcome, it is safest to avoid
 +
O with more than two sentences. Likewise, the connectives which involve negation also have unexpected truth values when used with more than two sentences.
 +
 +
{{ind|general-imported|logical connection|of more than 2 sentences|all or none}} In fact, no combination of logical connectives can produce the
 +
“all or none” interpretation intended (but not achieved) by
 +
{{lex|example-random-id-3zE1}} without repeating one of the bridi. See {{lex|example-random-id-KyHw}}.
 +
 +
There is an additional difficulty with the use of more than two sentences. What is the meaning of:
 +
 +
{{ind|general-imported|logical connection of more than 2 sentences|mixed &quot;and&quot; and &quot;or&quot;}}
 +
 +
{{dsp|example-random-id-mLo1}}{{example|interlinear-gloss-example|example-random-id-mLo1}}
 +
{{judri|c14e7d4}}
 +
:'''mi nelci la djan. .ije mi nelci la martas. .ija mi nelci la meris.'''
 +
:''I like John. And I like Martha. Or I like Mary.''
 +
 +
Does this mean:
 +
 +
{{dsp|example-random-id-BSuT}}
 +
{{judri|c14e7d5}}
 +
I like John, and I like either Martha or Mary or both.
 +
 +
Or is the correct translation:
 +
 +
{{dsp|example-random-id-dPcI}}
 +
{{judri|c14e7d6}}
 +
Either I like John and I like Martha, or I like Mary, or both.
 +
 +
{{ind|general-imported|logical connection|of more than 2 sentences|forethought}}  {{ind|general-imported|logical connectives|pairing from left}}
 +
{{lex|example-random-id-dPcI}} is the correct translation of
 +
{{lex|example-random-id-mLo1}}. The reason is that Lojban logical connectives pair off from the left, like many constructs in the language. This rule, called the left-grouping rule, is easy to forget, especially when intuition pulls the other way. Forethought connectives are not subject to this problem:
 +
 +
{{dsp|example-random-id-487z}}{{example|interlinear-gloss-example|example-random-id-487z}}
 +
{{judri|c14e7d7}}
 +
:'''ga ge mi nelci la djan. gi mi nelci la martas. gi mi nelci la meris.'''
 +
:''Either (Both I like John and I like Martha) or I like Mary.''
 +
 +
is equivalent in meaning to
 +
{{lex|example-random-id-mLo1}}, whereas
 +
 +
{{dsp|example-random-id-1Dd2}}{{example|interlinear-gloss-example|example-random-id-1Dd2}}
 +
{{judri|c14e7d8}}
 +
:'''ge mi nelci la djan. gi ga mi nelci la martas. gi mi nelci la meris.'''
 +
:''Both I like John and (Either I like Martha or I like Mary).''
 +
 +
is not equivalent to
 +
{{lex|example-random-id-mLo1}}, but is instead a valid translation into Lojban, using forethought, of
 +
{{lex|example-random-id-BSuT}}.
 +
 +
{{ssp|section-afterthought-connectives-grouping}}
 +
==Grouping of afterthought connectives==
 +
{{ind|general-imported|bo|in logical connectives}}  {{ind|general-imported|logical connection|with bo|precedence}}  {{ind|general-imported|logical connectives|grouping with bo}} There are several ways in Lojban to render
 +
{{lex|example-random-id-BSuT}} using afterthought only. The simplest method is to make use of the cmavo
 +
{{vla|bo}} (of selma'o BO). This cmavo has several functions in Lojban, but is always associated with high precedence and short scope. In particular, if
 +
{{vla|bo}} is placed after an ijek, the result is a grammatically distinct kind of ijek which overrides the regular left-grouping rule. Connections marked with
 +
{{vla|bo}} are interpreted before connections not so marked.
 +
{{lex|example-random-id-Uu7D}} is equivalent in meaning to
 +
{{lex|example-random-id-1Dd2}}:
 +
 +
{{dsp|example-random-id-Uu7D}}{{example|interlinear-gloss-example|example-random-id-Uu7D}}
 +
{{judri|c14e8d1}}
 +
:'''mi nelci la djan. .ije mi nelci la martas. .ijabo mi nelci la meris.'''
 +
:''I like John, and I like Martha or I like Mary.''
 +
 +
The English translation feebly indicates with a comma what the Lojban marks far more clearly: the
 +
“I like Martha” and
 +
“I like Mary” sentences are joined by
 +
{{vla|.i}}{{vla|ja}} first, before the result is joined to
 +
“I like John” by
 +
{{vla|.i}}{{vla|je}}.
 +
 +
Eks can have
 +
{{vla|bo}} attached in exactly the same way, so that
 +
{{lex|example-random-id-JVhK}} is equivalent in meaning to {{lex|example-random-id-Uu7D}}:
 +
 +
{{dsp|example-random-id-JVhK}}{{example|interlinear-gloss-example|example-random-id-JVhK}}
 +
{{judri|c14e8d2}}
 +
:'''mi nelci la djan. .e la martas. .abo la meris.'''
 +
 +
{{ind|general-imported|bo and forethought connectives}}  {{ind|general-imported|forethought connectives and bo}} Forethought connectives, however, never can be suffixed with
 +
{{vla|bo}}, for every use of forethought connectives clearly indicates the intended pattern of grouping.
 +
 +
What happens if
 +
{{vla|bo}} is used on both connectives, giving them the same high precedence, as in
 +
{{lex|example-random-id-YJeE}}?
 +
 +
{{dsp|example-random-id-YJeE}}{{example|interlinear-gloss-example|example-random-id-YJeE}}
 +
{{judri|c14e8d3}}
 +
:'''mi nelci la djan. .ebo la martas. .abo la meris.'''
 +
 +
{{ind|general-imported|logical connectives|right-grouping with bo}}  {{ind|general-imported|bo|right-grouping}} Does this wind up meaning the same as
 +
{{lex|example-random-id-mLo1}} and
 +
{{lex|example-random-id-dPcI}}? Not at all. A second rule relating to
 +
{{vla|bo}} is that where several
 +
{{vla|bo}}-marked connectives are used in succession, the normal Lojban left-grouping rule is replaced by a right-grouping rule. As a result,
 +
 +
{{lex|example-random-id-YJeE}} in fact means the same as
 +
{{lex|example-random-id-Uu7D}} and
 +
{{lex|example-random-id-JVhK}}. This rule may be occasionally exploited for special effects, but is tricky to keep straight; in writing intended to be easy to understand, multiple consecutive connectives marked with
 +
{{vla|bo}} should be avoided.
 +
 +
{{ind|general-imported|complex logical connectives|grouping with parentheses}}  {{ind|general-imported|logical connection|grouping strategies for complex cases contrasted}}  {{ind|general-imported|complex logical connection|grouping strategies contrasted}} The use of
 +
{{vla|bo}}, therefore, gets tricky in complex connections of more than three sentences. Looking back at the English translations of
 +
{{lex|example-random-id-487z}} and
 +
{{lex|example-random-id-1Dd2}}, parentheses were used to clarify the grouping. These parentheses have their Lojban equivalents, two sets of them actually.
 +
{{vla|tu'e}} and
 +
{{vla|tu'u}} are used with ijeks, and
 +
{{vla|ke}} and
 +
{{vla|ke'e}} with eks and other connectives to be discussed later. (
 +
{{vla|ke}} and
 +
{{vla|ke'e}} are also used in other roles in the language, but always as grouping markers). Consider the English sentence:
 +
 +
{{dsp|example-random-id-aqIg}}
 +
{{judri|c14e8d4}}
 +
I kiss you and you kiss me, if I love you and you love me.
 +
 +
{{ind|general-imported|complex logical connectives|grouping with bo}} where the semantics tells us that the instances of
 +
“and” are meant to have higher precedence than that of
 +
“if”. If we wish to express
 +
{{lex|example-random-id-aqIg}} in afterthought, we can say:
 +
 +
{{dsp|example-random-id-1PSK}}{{example|interlinear-gloss-example|example-random-id-1PSK}}
 +
{{judri|c14e8d5}}
 +
:'''mi cinba do .ije[bo] do cinba mi .ijanai mi prami do .ijebo do prami mi'''
 +
:''I kiss you and you kiss me, if I love you and you love me.''
 +
 +
marking two of the ijeks with
 +
{{vla|bo}} for high precedence. (The first
 +
{{vla|bo}} is not strictly necessary, because of the left-grouping rule, and is shown here in brackets.)
 +
 +
{{ind|general-imported|complex logical connectives|grouping with parentheses}} But it may be clearer to use explicit parenthesis words and say:
 +
 +
{{dsp|example-random-id-erTb}}{{example|interlinear-gloss-example|example-random-id-erTb}}
 +
{{judri|c14e8d6}}
 +
:'''tu'e mi cinba do .ije do cinba mi tu'u .ijanai tu'e mi prami do .ije do prami mi [tu'u]'''
 +
:<code>( I kiss you and you kiss me ) if ( I love you and you love me ).</code>
 +
 +
where the
 +
{{vla|tu'e}}&hellip;{{vla|tu'u}} pairs set off the structure. The cmavo
 +
{{vla|tu'u}} is an elidable terminator, and its second occurrence in
 +
{{lex|example-random-id-erTb}} is bracketed, because all terminators may be elided at the end of a text.
 +
 +
In addition, parentheses are a general solution: multiple parentheses may be nested inside one another, and additional afterthought material may be added without upsetting the existing structure. Neither of these two advantages apply to
 +
{{vla|bo}} grouping. In general, afterthought constructions trade generality for simplicity.
 +
 +
Because of the left-grouping rule, the first set of
 +
{{vla|tu'e}}&hellip;{{vla|tu'u}} parentheses may actually be left off altogether, producing:
 +
 +
{{dsp|example-random-id-QGBz}}{{example|interlinear-gloss-example|example-random-id-QGBz}}
 +
{{judri|c14e8d7}}
 +
:'''mi cinba do .ije do cinba mi .ijanai tu'e mi prami do .ije do prami mi [tu'u]'''
 +
:<code>I kiss you and you kiss me if ( I love you and you love me ).</code>
 +
 +
What about parenthesized sumti connection? Consider
 +
 +
{{dsp|example-random-id-y9CC}}
 +
{{judri|c14e8d8}}
 +
I walk to either the market and the house, or the school and the office.
 +
 +
{{ind|general-imported|sumti|beginning with &quot;ke&quot;}}  {{ind|general-imported|logical connection|of sumti|restriction on ke}}  {{ind|general-imported|logical connection|of sumti|grouping with parentheses}} Two pairs of parentheses, analogous to
 +
{{lex|example-random-id-erTb}}, would seem to be the right approach. However, it is a rule of Lojban grammar that a sumti may not begin with
 +
{{vla|ke}}, so the first set of parentheses must be omitted, producing
 +
{{lex|example-random-id-0mJM}}, which is instead parallel to
 +
{{lex|example-random-id-QGBz}}:
 +
 +
{{dsp|example-random-id-0mJM}}{{example|interlinear-gloss-example|example-random-id-0mJM}}
 +
{{judri|c14e8d9}}
 +
:'''mi dzukla le zarci .e le zdani .a ke le ckule .e le briju [ke'e]'''
 +
:<code>I walk-to the market and the house or ( the school and the office ).</code>
 +
 +
{{ind|general-imported|ke in sumti grouping|where allowed}} If sumti were allowed to begin with
 +
{{vla|ke}}, unavoidable ambiguities would result, so
 +
{{vla|ke}} grouping of sumti is allowed only just after a logical connective. This rule does not apply to
 +
{{vla|tu'e}} grouping of bridi, as
 +
{{lex|example-random-id-erTb}} shows.
 +
 +
Now we have enough facilities to handle the problem of
 +
{{lex|example-random-id-3zE1}}:
 +
“I am German, rich, and a man &ndash; or else none of these.” The following paraphrase has the correct meaning:
 +
 +
{{dsp|example-random-id-KyHw}}{{example|interlinear-gloss-example|example-random-id-KyHw}}
 +
{{judri|c14e8d10}}
 +
{{ind|example|German rich man|example}}
 +
:'''[tu'e] mi dotco .ijo mi ricfu [tu'u] .ije tu'e mi dotco .ijo mi nanmu [tu'u]'''
 +
:<code>( I am-German if-and-only-if I am-rich ) and (I am-German if-and-only-if I am-a-man ).</code>
 +
 +
The truth table, when worked out, produces T if and only if all three component sentences are true or all three are false.
 +
 +
{{ssp|section-compound-bridi}}
 +
==Compound bridi==
 +
{{ind|general-imported|logical connection|of selbri}} So far we have seen how to handle two sentences that need have no similarity at all (bridi connection) and sentences that are identical except for a difference in one sumti (sumti connection). It would seem natural to ask how to logically connect sentences that are identical except for having different selbri.
 +
 +
{{ind|general-imported|compound bridi|definition}} Surprise! Lojban provides no logical connective that is designed to handle selbri and nothing else. Instead, selbri connection is provided as part of a more general-purpose mechanism called
 +
“compound bridi”. Compound bridi result from logically connecting sentences that differ in their selbri and possibly some of their sumti.
 +
 +
{{ind|general-imported|compound bridi|one sumti in common}} The simplest cases result when the x1 sumti is the only common point:
 +
 +
{{dsp|example-random-id-WebJ}}{{example|interlinear-gloss-example|example-random-id-WebJ}}
 +
{{judri|c14e9d1}}
 +
:'''mi klama le zarci .ije mi nelci la djan.'''
 +
:''I go to the market, and I like John.''
 +
 +
is equivalent in meaning to the compound bridi:
 +
 +
{{dsp|example-random-id-9H9e}}{{example|interlinear-gloss-example|example-random-id-9H9e}}
 +
{{judri|c14e9d2}}
 +
:'''mi klama le zarci gi'e nelci la djan.'''
 +
:<code>I go-to the market and like John.</code>
 +
 +
{{ind|general-imported|compound bridi|logical connection of}}  {{ind|general-imported|bridi-tail|definition}}  {{ind|general-imported|gihek|definition}} As
 +
{{lex|example-random-id-9H9e}} indicates, giheks are used in afterthought to create compound bridi;
 +
 +
{{vla|gi'e}} is the gihek corresponding to
 +
“and”. The actual phrases
 +
:{{jbo|klama le zarci}} and
 +
:{{jbo|nelci la djan.}} that the gihek connects are known as
 +
“bridi-tails”, because they represent (in this use) the
 +
“tail end” of a bridi, including the selbri and any following sumti, but excluding any sumti that precede the selbri:
 +
 +
{{dsp|example-random-id-F3RE}}{{example|interlinear-gloss-example|example-random-id-F3RE}}
 +
{{judri|c14e9d3}}
 +
:'''mi ricfu gi'e klama le zarci'''
 +
:<code>I am-rich and go-to the market.</code>
 +
 +
In
 +
{{lex|example-random-id-F3RE}}, the first bridi-tail is
 +
{{vla|ricfu}}, a simple selbri, and the second bridi-tail is
 +
:{{jbo|klama le zarci}}, a selbri with one following sumti.
 +
 +
{{ind|general-imported|compound bridi|more than one sumti in common}} Suppose that more than a single sumti is identical between the two sentences:
 +
 +
{{dsp|example-random-id-PRxj}}{{example|interlinear-gloss-example|example-random-id-PRxj}}
 +
{{judri|c14e9d4}}
 +
:'''mi dunda le cukta do .ije mi lebna lo rupnu do'''
 +
:<code>I give the book to-you, and I take some currency-units from-you.</code>
 +
 +
{{ind|general-imported|compound bridi with more than one sumti in common|with common sumti first}} In
 +
{{lex|example-random-id-PRxj}}, the first and last sumti of each bridi are identical; the selbri and the second sumti are different. By moving the final sumti to the beginning, a form analogous to
 +
{{lex|example-random-id-9H9e}} can be achieved:
 +
 +
{{dsp|example-random-id-Evo4}}{{example|interlinear-gloss-example|example-random-id-Evo4}}
 +
{{judri|c14e9d5}}
 +
:'''fi do fa mi dunda le cukta gi'e lebna lo rupnu'''
 +
:<code>to/from you I give the book and take some currency-units.</code>
 +
 +
{{ind|general-imported|tail-terms|definition}}  {{ind|general-imported|logical connectives|bridi-tail connection}} where the
 +
{{vla|fi}} does not have an exact English translation because it merely places
 +
{{vla|do}} in the third place of both
 +
{{vla|lebna}} and
 +
{{vla|dunda}}. However, a form that preserves natural sumti order also exists in Lojban. Giheks connect two bridi-tails, but also allow sumti to be added following the bridi-tail. These sumti are known as tail-terms, and apply to both bridi. The straightforward gihek version of
 +
{{lex|example-random-id-PRxj}} therefore is:
 +
 +
{{dsp|example-random-id-DYBN}}{{example|interlinear-gloss-example|example-random-id-DYBN}}
 +
{{judri|c14e9d6}}
 +
:'''mi dunda le cukta gi'e lebna lo rupnu vau do'''
 +
:<code>I (give the book) and (take some currency-units) to/from you.</code>
 +
 +
{{ind|general-imported|bridi-tails|eliding vau in}}  {{ind|general-imported|compound bridi with more than one sumti in common|with vau}} The
 +
{{vla|vau}} (of selma'o VAU) serves to separate the bridi-tail from the tail-terms. Every bridi-tail is terminated by an elidable
 +
{{vla|vau}}, but only in connection with compound bridi is it ever necessary to express this
 +
 +
{{vla|vau}}. Thus:
 +
 +
{{dsp|example-random-id-L3eN}}{{example|interlinear-gloss-example|example-random-id-L3eN}}
 +
{{judri|c14e9d7}}
 +
:'''mi klama le zarci [vau]'''
 +
:<code>I go-to the market.</code>
 +
 +
has a single elided
 +
{{vla|vau}}, and
 +
{{lex|example-random-id-9H9e}} is equivalent to:
 +
 +
{{dsp|example-random-id-RfIR}}{{example|interlinear-gloss-example|example-random-id-RfIR}}
 +
{{judri|c14e9d8}}
 +
:'''mi klama le zarci [vau] gi'e nelci la djan. [vau] [vau]'''
 +
 +
where the double
 +
{{vla|vau}} at the end of
 +
{{lex|example-random-id-RfIR}} terminates both the right-hand bridi-tail and the unexpressed tail-terms.
 +
 +
{{ind|general-imported|logical connectives|observative sentence connection}} A final use of giheks is to combine bridi-tails used as complete sentences, the Lojban observative:
 +
 +
{{dsp|example-random-id-rvUD}}{{example|interlinear-gloss-example|example-random-id-rvUD}}
 +
{{judri|c14e9d9}}
 +
:'''klama le zarci gi'e dzukla le briju'''
 +
:<code>A goer to-the market and a walker to-the office.</code>
 +
 +
{{ind|general-imported|logical connection|of observatives|relation of first places}} Since x1 is omitted in both of the bridi underlying
 +
{{lex|example-random-id-rvUD}}, this compound bridi does not necessarily imply that the goer and the walker are the same. Only the presence of an explicit x1 (other than
 +
 +
{{vla|zo'e}}, which is equivalent to omission) can force the goer and the walker to be identical.
 +
 +
{{ind|general-imported|relation of first places in logical connection of observatives|rationale}} A strong argument for this convention is provided by analysis of the following example:
 +
 +
{{dsp|example-random-id-cBrg}}{{example|interlinear-gloss-example|example-random-id-cBrg}}
 +
{{judri|c14e9d10}}
 +
:'''klama la nu,IORK. la finyks. gi'e klama la nu,IORK. la rom.'''
 +
:<code>A goer to-New York from-Phoenix and a goer to-New York from-Rome.</code>
 +
 +
If the rule were that the x1 places of the two underlying bridi were considered identical, then (since there is nothing special about x1), the unspecified x4 (route) and x5 (means) places would also have to be the same, leading to the absurd result that the route from Phoenix to New York is the same as the route from Rome to New York. Inserting
 +
{{vla|da}}, meaning roughly
 +
“something”, into the x1 place cures the problem:
 +
 +
{{dsp|example-random-id-ij9G}}{{example|interlinear-gloss-example|example-random-id-ij9G}}
 +
{{judri|c14e9d11}}
 +
:'''da klama la nu,IORK. la finyks. gi'e klama la nu,IORK. la rom.'''
 +
:<code>Something is-a-goer to-New York from-Phoenix and is-a-goer to-New York from-Rome.</code>
 +
 +
{{ind|lojban-word-imported|GIhA selma'o}}  {{ind|lojban-word-imported|nai}}  {{ind|lojban-word-imported|se}}  {{ind|lojban-word-imported|na}}  {{ind|general-imported|giheks|syntax of}} The syntax of giheks is:
 +
 +
{{grammar|[na] [se] GIhA [nai]}}
 +
which is exactly parallel to the syntax of eks.
 +
 +
{{ssp|section-multiple-compound-bridi}}
 +
==Multiple compound bridi==
 +
 +
{{ind|general-imported|compound bridi|multiple with bo}} Giheks can be combined with
 +
{{vla|bo}} in the same way as eks:
 +
 +
{{dsp|example-random-id-DpCN}}{{example|interlinear-gloss-example|example-random-id-DpCN}}
 +
{{judri|c14e10d1}}
 +
:'''mi nelci la djan. gi'e nelci la martas. gi'abo nelci la meris.'''
 +
:''I like John and ( like Martha or like Mary ).''
 +
 +
{{ind|general-imported|compound bridi|multiple with ke…ke'e}} is equivalent in meaning to
 +
{{lex|example-random-id-Uu7D}} and
 +
{{lex|example-random-id-JVhK}}. Likewise,
 +
{{vla|ke}}&hellip;{{vla|ke'e}} grouping can be used after giheks:
 +
 +
{{dsp|example-random-id-rH4n}}{{example|interlinear-gloss-example|example-random-id-rH4n}}
 +
{{judri|c14e10d2}}
 +
:'''mi dzukla le zarci gi'e dzukla le zdani gi'a ke dzukla le ckule gi'e dzukla le briju [ke'e]'''
 +
:<code>I walk-to the market and walk-to the house, or walk-to the school and walk-to the office.</code>
 +
 +
{{ind|general-imported|logical connection|of bridi-tails|restriction on ke}}  {{ind|general-imported|multiple compound bridi|restriction on ke}} is the gihek version of
 +
{{lex|example-random-id-0mJM}}. The same rule about using
 +
{{vla|ke}}&hellip;{{vla|ke'e}} bracketing only just after a connective applies to bridi-tails as to sumti, so the first two bridi-tails in
 +
{{lex|example-random-id-rH4n}} cannot be explicitly grouped; implicit left-grouping suffices to associate them.
 +
 +
{{ind|general-imported|compound bridi|separate tail-terms for bridi-tails}} Each of the pairs of bridi-tails joined by multiple giheks can have its own set of tail-terms:
 +
 +
{{dsp|example-random-id-1asY}}{{example|interlinear-gloss-example|example-random-id-1asY}}
 +
{{judri|c14e10d3}}
 +
{{ind|example|owe money|example}}
 +
:'''mi dejni lo rupnu la djan. .inaja mi dunda le cukta la djan. .ijabo mi lebna le cukta la djan.'''
 +
:<code>[If] I owe some currency-units to John, then I give the book to John or I take the book from John.</code>
 +
 +
is equivalent in meaning to:
 +
 +
{{dsp|example-random-id-901t}}{{example|interlinear-gloss-example|example-random-id-901t}}
 +
{{judri|c14e10d4}}
 +
:'''mi dejni lo rupnu nagi'a dunda gi'abo lebna vau le cukta vau la djan.'''
 +
:<code>[If] I owe some currency-units then (give or take) a book to/from John.</code>
 +
 +
The literal English translation in
 +
{{lex|example-random-id-901t}} is almost unintelligible, but the Lojban is perfectly grammatical.
 +
{{vla|mi}} fills the x1 place of all three selbri;
 +
:{{jbo|lo rupnu}} is the x2 of
 +
{{vla|dejni}}, whereas
 +
:{{jbo|le cukta}} is a tail-term shared between
 +
{{vla|dunda}} and
 +
{{vla|lebna}};
 +
:{{jbo|la djan.}} is a tail-term shared by
 +
{{vla|dejni}} and by
 +
:{{jbo|dunda gi'abo lebna}}. In this case, greater clarity is probably achieved by moving
 +
:{{jbo|la djan.}} to the beginning of the sentence, as in
 +
{{lex|example-random-id-Evo4}}:
 +
 +
{{dsp|example-random-id-7NnV}}{{example|interlinear-gloss-example|example-random-id-7NnV}}
 +
{{judri|c14e10d5}}
 +
:'''fi la djan. fa mi dejni lo rupnu nagi'a dunda gi'abo lebna vau le cukta'''
 +
:<code>To/from John, [if] I owe some currency-units then [I] give or take the book.</code>
 +
 +
{{ind|general-imported|logical connection|of bridi-tails|forethought}} Finally, what about forethought logical connection of bridi-tails? There is no direct mechanism for the purpose. Instead, Lojban grammar allows a pair of forethought-connected sentences to function as a single bridi-tail, and of course the sentences need not have terms before their selbri. For example:
 +
 +
{{dsp|example-random-id-4gJC}}{{example|interlinear-gloss-example|example-random-id-4gJC}}
 +
{{judri|c14e10d6}}
 +
:'''mi ge klama le zarci gi nelci la djan.'''
 +
:''I both go to the market and like John.''
 +
 +
is equivalent in meaning to
 +
{{lex|example-random-id-9H9e}}.
 +
 +
Of course, either of the connected sentences may contain giheks:
 +
 +
{{dsp|example-random-id-mInd}}{{example|interlinear-gloss-example|example-random-id-mInd}}
 +
{{judri|c14e10d7}}
 +
:'''mi ge klama le zarci gi'e dzukla le zdani gi nelci la djan.'''
 +
:''I both ( go to the market and walk to the house ) and like John.''
 +
 +
{{ind|general-imported|negating a forethought-connected bridi-tail pair}}  {{ind|general-imported|negating a forethought-connected sentence pair}} The entire gek-connected sentence pair may be negated as a whole by prefixing
 +
{{vla|na}}:
 +
 +
{{dsp|example-random-id-DzgI}}{{example|interlinear-gloss-example|example-random-id-DzgI}}
 +
{{judri|c14e10d8}}
 +
:'''mi na ge klama le zarci gi dzukla le zdani'''
 +
:<code>[False!] I both go to the market and walk to the house.</code>
 +
 +
{{ind|general-imported|compound bridi|separate tail-terms for forethought-connected bridi-tails}} Since a pair of sentences joined by geks is the equivalent of a bridi-tail, it may be followed by tail terms. The forethought equivalent of
 +
{{lex|example-random-id-DYBN}} is:
 +
 +
{{dsp|example-random-id-BUsi}}{{example|interlinear-gloss-example|example-random-id-BUsi}}
 +
{{judri|c14e10d9}}
 +
:'''mi ge dunda le cukta gi lebna lo rupnu vau do'''
 +
:<code>I both ( give the book ) and ( take some currency-units ) to/from you.</code>
 +
 +
{{ind|general-imported|forethought connection|observatives}} Here is a pair of gek-connected observatives, a forethought equivalent of
 +
 +
{{lex|example-random-id-rvUD}}:
 +
 +
{{dsp|example-random-id-C5Wc}}{{example|interlinear-gloss-example|example-random-id-C5Wc}}
 +
{{judri|c14e10d10}}
 +
:'''ge klama le zarci gi dzukla le briju'''
 +
:<code>Both a goer to-the market and a walker to-the office.</code>
 +
 +
Finally, here is an example of gek-connected sentences with both shared and unshared terms before their selbri:
 +
 +
{{dsp|example-random-id-eJyK}}{{example|interlinear-gloss-example|example-random-id-eJyK}}
 +
{{judri|c14e10d11}}
 +
:'''mi gonai le zarci cu klama gi le bisli cu dansu'''
 +
:<code>I either-but-not-both to-the office go or on-the ice dance.</code>
 +
:''I either go to the office or dance on the ice (but not both).''
 +
 +
{{ssp|section-termsets}}
 +
==Termset logical connection==
 +
So far we have seen sentences that differ in all components, and require bridi connection; sentences that differ in one sumti only, and permit sumti connection; and sentences that differ in the selbri and possibly one or more sumti, and permit bridi-tail connection. Termset logical connectives are employed for sentences that differ in more than one sumti but not in the selbri, such as:
 +
 +
{{dsp|example-random-id-G02C}}
 +
{{judri|c14e11d1}}
 +
I go to the market from the office and to the house from the school.
 +
 +
{{ind|general-imported|logical connection|termsets}}  {{ind|general-imported|termset|formation}}  {{ind|general-imported|term|definition}} The Lojban version of
 +
{{lex|example-random-id-G02C}} requires two termsets joined by a logical connective. A
 +
“term” is either a sumti or a sumti preceded by a tense or modal tag such as
 +
{{vla|pu}} or
 +
{{vla|bai}}. Afterthought termsets are formed by linking terms together by inserting the cmavo
 +
{{vla|ce'e}} (of selma'o CEhE) between each of them. Furthermore, the logical connective (which is a jek) must be prefixed by the cmavo
 +
{{vla|pe'e}} (of selma'o PEhE). (We could refer to the combination of
 +
 +
{{vla|pe'e}} and a jek as a
 +
 +
“pehejek”, I suppose.)
 +
 +
{{ind|general-imported|to the market from the office}}
 +
 +
{{dsp|example-random-id-UVPj}}{{example|interlinear-gloss-example|example-random-id-UVPj}}
 +
{{judri|c14e11d2}}
 +
:'''mi klama le zarci ce'e le briju pe'e je le zdani ce'e le ckule'''
 +
:<code>I go to-the market [plus] from-the office [joint] and to-the house [plus] from-the school.</code>
 +
 +
The literal translation uses
 +
“[plus]” to indicate the termset connective, and
 +
“[joint]” to indicate the position of the logical connective joint. As usual, there is an equivalent bridi-connection form:
 +
 +
{{dsp|example-random-id-Bp2v}}{{example|interlinear-gloss-example|example-random-id-Bp2v}}
 +
{{judri|c14e11d3}}
 +
:'''mi klama le zarci le briju .ije mi klama le zdani le ckule'''
 +
:<code>I go to-the market from-the office, and I go to-the house from-the school.</code>
 +
 +
which illustrates that the two bridi differ in the x2 and x3 places only.
 +
 +
{{ind|general-imported|termset logical connection|unequal length}} What happens if the two joined sets of terms are of unequal length? Expanding to bridi connection will always make clear which term goes in which place of which bridi. It can happen that a sumti may fall in the x2 place of one bridi and the x3 place of another:
 +
 +
{{dsp|example-random-id-yYsr}}{{example|interlinear-gloss-example|example-random-id-yYsr}}
 +
{{judri|c14e11d4}}
 +
:'''mi pe'e ja do ce'e le zarci cu klama le briju'''
 +
:<code>I [joint] or you to-the market [plus] go to/from-the office.</code>
 +
 +
can be clearly understood by expansion to:
 +
 +
{{dsp|example-random-id-NIuS}}{{example|interlinear-gloss-example|example-random-id-NIuS}}
 +
{{judri|c14e11d5}}
 +
:'''mi klama le briju .ija do le zarci cu klama le briju'''
 +
:<code>I go to-the office, or you to-the market go from-the office.</code>
 +
 +
{{ind|general-imported|unequal termset connection|compared with compound bridi connection with unequal separate bridi-tails}} So
 +
:{{jbo|le briju}} is your origin but my destination, and thus falls in the x2 and x3 places of
 +
{{vla|klama}} simultaneously! This is legal because even though there is only one selbri,
 +
{{vla|klama}}, there are two distinct bridi expressed here. In addition,
 +
{{vla|mi}} in
 +
{{lex|example-random-id-yYsr}} is serving as a termset containing only one term. An analogous paradox applies to compound bridi with tail-terms and unequal numbers of sumti within the connected bridi-tails:
 +
 +
{{dsp|example-random-id-zsiy}}{{example|interlinear-gloss-example|example-random-id-zsiy}}
 +
{{judri|c14e11d6}}
 +
:'''mi klama le zarci gi'e dzukla vau le briju'''
 +
:<code>I ( go to-the market and walk ) to/from-the office.</code>
 +
 +
means that I go to the market from the office, and I walk to the office;
 +
 +
:{{jbo|le briju}} is the x3 place of
 +
{{vla|klama}} and the x2 place of
 +
{{vla|dzukla}}.
 +
 +
{{ind|general-imported|forethought termsets|logical connection of}}  {{ind|general-imported|logical connection|of forethought termsets}} Forethought termsets also exist, and use
 +
{{vla|nu'i}} of selma'o NUhI to signal the beginning and
 +
{{vla|nu'u}} of selma'o NUhU (an elidable terminator) to signal the end. Nothing is inserted between the individual terms: they simply sit side-by-side. To make a logical connection in a forethought termset, use a gek, with the gek just after the
 +
{{vla|nu'i}}, and an extra
 +
{{vla|nu'u}} just before the gik:
 +
 +
{{dsp|example-random-id-KeLv}}{{example|interlinear-gloss-example|example-random-id-KeLv}}
 +
{{judri|c14e11d7}}
 +
:'''mi klama nu'i ge le zarci le briju nu'u gi le zdani le ckule [nu'u]'''
 +
:<code>I go [start termset] both to-the market from-the office [joint] and to-the house from-the school [end termset].</code>
 +
 +
Note that even though two termsets are being connected, only one
 +
{{vla|nu'i}} is used.
 +
 +
The grammatical uses of termsets that do not contain logical connectives are explained in
 +
{{ls|section-modal-connectives}},
 +
{{ls|section-explicit-magnitudes}}, and
 +
{{ls|section-quantifier-grouping}}.
 +
 +
{{ssp|section-tanru}}
 +
==Logical connection within tanru==
 +
{{ind|general-imported|logical connectives in tanru}} As noted at the beginning of
 +
{{ls|section-compound-bridi}}, there is no logical connective in Lojban that joins selbri and nothing but selbri. However, it is possible to have logical connectives within a selbri, forming a kind of tanru that involves a logical connection. Consider the simple tanru
 +
:{{jbo|blanu zdani}}, blue house. Now anything that is a blue ball, in the most ordinary understanding of the phrase at least, is both blue and a ball. And indeed, instead of
 +
:{{jbo|blanu bolci}}, Lojbanists can say
 +
:{{jbo|blanu je bolci}}, using a jek connective within the tanru. (We saw jeks used in
 +
{{ls|section-termsets}} also, but there they were always prefixed by
 +
{{vla|pe'e}}; in this section they are used alone.) Here is a pair of examples:
 +
 +
{{dsp|example-random-id-qGoH}}{{example|interlinear-gloss-example|example-random-id-qGoH}}
 +
{{judri|c14e12d1}}
 +
{{ind|example|blue house|example}}
 +
:'''ti blanu zdani'''
 +
:<code>This is-a-blue type-of house.</code>
 +
 +
{{dsp|example-random-id-qgoW}}{{example|interlinear-gloss-example|example-random-id-qgoW}}
 +
{{judri|c14e12d2}}
 +
{{ind|example|blue house|example}}
 +
:'''ti blanu je zdani'''
 +
:<code>This is-blue and a-house.</code>
 +
 +
{{ind|general-imported|unconnected tanru|contrasted with logically connected version}}  {{ind|general-imported|logical connection|in tanru|contrasted with unconnected version}} But of course
 +
{{lex|example-random-id-qGoH}} and
 +
{{lex|example-random-id-qgoW}} are not necessarily equivalent in meaning! It is the most elementary point about Lojban tanru that
 +
{{lex|example-random-id-qGoH}} might just as well mean
 +
 +
{{dsp|example-random-id-DxVB}}
 +
{{judri|c14e12d3}}
 +
This is a house for blue inhabitants.
 +
 +
and
 +
{{lex|example-random-id-qgoW}} certainly is not equivalent in meaning to
 +
{{lex|example-random-id-DxVB}}.
 +
 +
{{ind|general-imported|logical connection|in tanru|expandability of}} A full explanation of logical connection within tanru belongs rather to a discussion of selbri structure than to logical connectives in general. Why? Because although
 +
{{lex|example-random-id-qgoW}} happens to mean the same as
 +
 +
{{dsp|example-random-id-XXX6}}{{example|interlinear-gloss-example|example-random-id-XXX6}}
 +
{{judri|c14e12d4}}
 +
:'''ti blanu gi'e zdani'''
 +
 +
and therefore as
 +
 +
{{dsp|example-random-id-HqYS}}{{example|interlinear-gloss-example|example-random-id-HqYS}}
 +
{{judri|c14e12d5}}
 +
:'''ti blanu .ije ti zdani'''
 +
 +
the rule of expansion into separate bridi simply does not always work for tanru connection. Supposing Alice to be a person who lives in blue houses, then
 +
 +
{{dsp|example-random-id-DG5K}}{{example|interlinear-gloss-example|example-random-id-DG5K}}
 +
{{judri|c14e12d6}}
 +
:'''la .alis. cu blanu je zdani prenu'''
 +
:<code>Alice is-a ( blue and house ) type-of-person.</code>
 +
 +
{{ind|general|tanru grouping|effect of jeks}}
 +
would be true, because tanru grouping with a jek has higher precedence than unmarked tanru grouping, but:
 +
 +
{{dsp|example-random-id-eh2i}}{{example|interlinear-gloss-example|example-random-id-eh2i}}
 +
{{judri|c14e12d7}}
 +
:'''la .alis. cu blanu prenu .ije la .alis. cu zdani prenu'''
 +
:<code>Alice is-a blue person, and Alice is-a house person.</code>
 +
 +
is probably false, because the blueness is associated with the house, not with Alice, even leaving aside the question of what it means to say
 +
“Alice is a blue person”. (Perhaps she belongs to the Blue team, or is wearing blue clothes.) The semantic ambiguity of tanru make such logical manipulations impossible.
 +
 +
{{ind|general-imported|logical connection|in tanru|grouping with bo}} It suffices to note here, then, a few purely grammatical points about tanru logical connection.
 +
 +
{{vla|bo}} may be appended to jeks as to eks, with the same rules:
 +
 +
{{dsp|example-random-id-RNMY}}{{example|interlinear-gloss-example|example-random-id-RNMY}}
 +
{{judri|c14e12d8}}
 +
:'''la teris. cu ricfu je nakni jabo fetsi'''
 +
:''Terry is rich and ( male or female ).''
 +
 +
{{ind|general-imported|logical connection|in tanru|grouping with ke}}
 +
The components of tanru may be grouped with
 +
{{vla|ke}} both before and after a logical connective:
 +
 +
{{dsp|example-random-id-JdID}}{{example|interlinear-gloss-example|example-random-id-JdID}}
 +
{{judri|c14e12d9}}
 +
:'''la .teris. cu [ke] ricfu ja pindi [ke'e] je ke nakni ja fetsi [ke'e]'''
 +
:''Terry is (rich or poor) and (male or female).''
 +
 +
where the first
 +
{{vla|ke}}&hellip;{{vla|ke'e}} pair may be omitted altogether by the rule of left-grouping, but is optionally permitted. In any case, the last instance of
 +
{{vla|ke'e}} may be elided.
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|lojban-word-imported|nai}}  {{ind|lojban-word-imported|se}}  {{ind|lojban-word-imported|na}}  {{ind|general-imported|jeks|syntax of}} The syntax of jeks is:
 +
 +
{{grammar|[na] [se] JA [nai]}}
 +
parallel to eks and giheks.
 +
 +
{{ind|lojban-word-imported|GUhA selma'o}}  {{ind|general-imported|guhek|definition}}  {{ind|general-imported|forethought tanru connection}} Forethought tanru connection does not use geks, but uses guheks instead. Guheks have exactly the same form as geks:
 +
 +
{{ind|lojban-word-imported|GUhA selma'o}}  {{ind|lojban-word-imported|nai}}  {{ind|lojban-word-imported|se}}  {{ind|general-imported|guheks|syntax of}}
 +
{{grammar|[se] GUhA [nai]}}
 +
{{ind|general-imported|logical connection|of tanru as opposed to bridi-tail}}  {{ind|general-imported|logical connection|of bridi-tail as opposed to tanru}}  {{ind|general-imported|guheks for tanru connection|rationale}} Using guheks in tanru connection (rather than geks) resolves what would otherwise be an unacceptable ambiguity between bridi-tail and tanru connection:
 +
 +
{{dsp|example-random-id-mjog}}{{example|interlinear-gloss-example|example-random-id-mjog}}
 +
{{judri|c14e12d10}}
 +
:'''la .alis. gu'e ricfu gi fetsi'''
 +
:''Alice is both rich and female.''
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|lojban-word-imported|GUhA selma'o}}  {{ind|general-imported|tanru connection grouping|guheks unmarked tanru}}  {{ind|general-imported|tanru grouping|guheks compared with jeks}}
 +
Note that giks are used with guheks in exactly the same way they are used with geks. Like jeks, guheks bind more closely than unmarked tanru grouping does:
 +
 +
{{dsp|example-random-id-Gyrc}}{{example|interlinear-gloss-example|example-random-id-Gyrc}}
 +
{{judri|c14e12d11}}
 +
:'''la .alis. gu'e blanu gi zdani prenu'''
 +
:<code>Alice is-a-(both blue and a-house) type-of-person.</code>
 +
 +
is the forethought version of
 +
{{lex|example-random-id-DG5K}}.
 +
 +
{{ind|general-imported|sumti logical connection|contrasted with tanru logical connection}}  {{ind|general-imported|tanru logical connection|contrasted with sumti logical connection}}  {{ind|general-imported|tanru|reducing logically connected sumti to|caveat}}  {{ind|general-imported|logical connection|of tanru|caveat}} A word of caution about the use of logically connected tanru within descriptions. English-based intuition can lead the speaker astray. In correctly reducing
 +
 +
{{dsp|example-random-id-8wbd}}{{example|interlinear-gloss-example|example-random-id-8wbd}}
 +
{{judri|c14e12d12}}
 +
:'''mi viska pa nanmu .ije mi viska pa ninmu'''
 +
:''I see a man, and I see a woman.''
 +
 +
to
 +
 +
{{dsp|example-random-id-qf3n}}{{example|interlinear-gloss-example|example-random-id-qf3n}}
 +
{{judri|c14e12d13}}
 +
:'''mi viska pa nanmu .e pa ninmu'''
 +
:''I see a man and a woman.''
 +
 +
there is a great temptation to reduce further to:
 +
 +
{{dsp|example-random-id-ag8r}}{{example|interlinear-gloss-example|example-random-id-ag8r}}
 +
{{judri|c14e12d14}}
 +
{{ind|example|man-woman|example}}
 +
:'''mi viska pa nanmu je ninmu'''
 +
:''I see a man and woman.''
 +
 +
But
 +
{{lex|example-random-id-ag8r}} means that you see one thing which is both a man and a woman simultaneously! A
 +
:{{jbo|nanmu je ninmu}} is a manwoman, a presumably non-existent creature who is both a
 +
{{vla|nanmu}} and a
 +
{{vla|ninmu}}.
 +
 +
{{ssp|section-truth-and-connective-questions}}
 +
==Truth questions and connective questions==
 +
 +
So far we have addressed only sentences which are statements. Lojban, like all human languages, needs also to deal with sentences which are questions. There are many ways of asking questions in Lojban, but some of these (like questions about quantity, tense, and emotion) are discussed in other chapters.
 +
 +
{{ind|general-imported|truth questions|simple}} The simplest kind of question is of the type
 +
“Is it true that ...” where some statement follows. This type is called a
 +
“truth question”, and can be represented in English by
 +
{{lex|example-random-id-bMjE}}:
 +
 +
{{dsp|example-random-id-bMjE}}
 +
{{judri|c14e13d1}}
 +
Is it true that Fido is a dog?
 +
 +
Is Fido a dog?
 +
 +
Note the two formulations. English truth questions can always be formed by prefixing
 +
“Is is true that” to the beginning of a statement; there is also usually a more idiomatic way involving putting the verb before its subject.
 +
“Is Fido a dog?” is the truth question corresponding to
 +
“Fido is a dog”. In Lojban, the equivalent mechanism is to prefix the cmavo
 +
{{vla|xu}} (of selma'o UI) to the statement:
 +
 +
{{dsp|example-random-id-gKaM}}{{example|interlinear-gloss-example|example-random-id-gKaM}}
 +
{{judri|c14e13d2}}
 +
:'''xu la faidon. gerku'''
 +
:<code>Is-it-true-that Fido is-a-dog?</code>
 +
 +
{{lex|example-random-id-bMjE}} and
 +
{{lex|example-random-id-gKaM}} are equivalent in meaning.
 +
 +
{{ind|general-imported|truth questions|answering &quot;no&quot;}}  {{ind|general-imported|truth questions|answering &quot;yes&quot;}}  {{ind|general-imported|truth questions|as yes-or-no questions}} A truth question can be answered
 +
“yes” or
 +
“no”, depending on the truth or falsity, respectively, of the underlying statement. The standard way of saying
 +
“yes” in Lojban is
 +
{{vla|go'i}} and of saying
 +
“no” is
 +
{{vla|na}}{{vla|go'i}}. (The reasons for this rule are explained in
 +
 +
{{ls|section-ri-gohi-series}}.) In answer to
 +
{{lex|example-random-id-gKaM}}, the possible answers are:
 +
 +
{{dsp|example-random-id-XSmq}}{{example|interlinear-gloss-example|example-random-id-XSmq}}
 +
{{judri|c14e13d3}}
 +
:'''go'i'''
 +
:''Fido is a dog.''
 +
 +
and
 +
 +
{{dsp|example-random-id-WI3P}}{{example|interlinear-gloss-example|example-random-id-WI3P}}
 +
{{judri|c14e13d4}}
 +
:'''nago'i'''
 +
:''Fido is not a dog.''
 +
 +
{{ind|general-imported|truth questions|contrasted with connection questions}} Some English questions seemingly have the same form as the truth questions so far discussed. Consider
 +
 +
{{dsp|example-random-id-mftC}}
 +
{{judri|c14e13d5}}
 +
{{ind|example|dog or cat|example}}
 +
Is Fido a dog or a cat?
 +
 +
Superficially,
 +
{{lex|example-random-id-mftC}} seems like a truth question with the underlying statement:
 +
 +
{{dsp|example-random-id-n6Ec}}
 +
{{judri|c14e13d6}}
 +
{{ind|example|dog or cat|example}}
 +
Fido is a dog or a cat.
 +
 +
By translating
 +
{{lex|example-random-id-n6Ec}} into Lojban and prefixing
 +
{{vla|xu}} to signal a truth question, we get:
 +
 +
{{dsp|example-random-id-hz4S}}{{example|interlinear-gloss-example|example-random-id-hz4S}}
 +
{{judri|c14e13d7}}
 +
{{ind|example|dog or cat|example}}
 +
:'''xu la faidon. gerku gi'onai mlatu'''
 +
:<code>Is-it-true-that Fido is-a-dog or is-a-cat (but not both)?</code>
 +
 +
Given that Fido really is either a dog or a cat, the appropriate answer would be
 +
{{vla|go'i}}; if Fido were a fish, the appropriate answer would be
 +
{{vla|na}}{{vla|go'i}}.
 +
 +
But that is not what an English-speaker who utters
 +
{{lex|example-random-id-mftC}} is asking! The true significance of
 +
{{lex|example-random-id-mftC}} is that the speaker desires to know the truth value of either of the two underlying bridi (it is presupposed that only one is true).
 +
 +
{{ind|general-imported|questions|connection}} Lojban has an elegant mechanism for rendering this kind of question which is very unlike that used in English. Instead of asking about the truth value of the connected bridi, Lojban users ask about the truth function which connects them. This is done by using a special question cmavo: there is one of these for each of the logical connective selma'o, as shown by the following table:
 +
<tab class=wikitable>
 +
cmavo selma'o subclass meaning
 +
'''ge'i''' GA forethought connective question
 +
'''gi'i''' GIhA bridi-tail connective question
 +
'''gu'i''' GUhA tanru forethought connective question
 +
'''je'i''' JA tanru connective question
 +
'''ji''' A sumti connective question
 +
</tab>
 +
 +
{{ind|general-imported|connective question cmavo|departure from regularity of}} (This list unfortunately departs from the pretty regularity of the other cmavo for logical connection. The two-syllable selma'o, GIhA and GUhA, make use of the cmavo ending in
 +
“-i” which is not used for a truth function, but
 +
{{vla|gi}} and
 +
{{vla|i}} were not available, and different cmavo had to be chosen. This table must simply be memorized, like most other non-connective cmavo assignments.)
 +
 +
{{ind|general-imported|connective questions|answering}} One correct translation of
 +
{{lex|example-random-id-mftC}} employs a question gihek:
 +
 +
{{dsp|example-random-id-G1Xs}}{{example|interlinear-gloss-example|example-random-id-G1Xs}}
 +
{{judri|c14e13d8}}
 +
:'''la .alis gerku gi'i mlatu'''
 +
:<code>Alice is-a-dog [truth function?] is-a-cat?</code>
 +
 +
Here are some plausible answers:
 +
 +
{{dsp|example-random-id-qGPp}}{{example|interlinear-gloss-example|example-random-id-qGPp}}
 +
{{judri|c14e13d9}}
 +
:'''nagi'e'''
 +
:''Alice is not a dog and is a cat.''
 +
 +
{{dsp|example-random-id-qGPq}}{{example|interlinear-gloss-example|example-random-id-qGPq}}
 +
{{judri|c14e13d10}}
 +
:'''gi'enai'''
 +
:''Alice is a dog and is not a cat.''
 +
 +
{{dsp|example-random-id-qgrw}}{{example|interlinear-gloss-example|example-random-id-qgrw}}
 +
{{judri|c14e13d11}}
 +
:'''nagi'enai'''
 +
:''Alice is not a dog and is not a cat.''
 +
 +
{{dsp|example-random-id-qGRz}}{{example|interlinear-gloss-example|example-random-id-qGRz}}
 +
{{judri|c14e13d12}}
 +
:'''nagi'o'''
 +
:'''gi'onai'''
 +
:''Alice is a dog or is a cat but not both (I'm not saying which).''
 +
 +
{{lex|example-random-id-qGRz}} is correct but uncooperative.
 +
 +
{{ind|general-imported|afterthought connectives|as complete grammatical utterance}}  {{ind|general-imported|connectives|as complete grammatical utterance}} As usual, Lojban questions are answered by filling in the blank left by the question. Here the blank is a logical connective, and therefore it is grammatical in Lojban to utter a bare logical connective without anything for it to connect.
 +
 +
The answer
 +
{{vla|gi'e}}, meaning that Alice is a dog and is a cat, is impossible in the real world, but for:
 +
 +
{{dsp|example-random-id-xtIf}}{{example|interlinear-gloss-example|example-random-id-xtIf}}
 +
{{judri|c14e13d13}}
 +
{{ind|example|coffee or tea|example}}
 +
:'''do djica tu'a loi ckafi ji loi tcati'''
 +
:<code>You desire something-about a-mass-of coffee [truth function?] a-mass-of tea?</code>
 +
:''Do you want coffee or tea?''
 +
 +
the answer
 +
{{vla|e}}, meaning that I want both, is perfectly plausible, if not necessarily polite.
 +
 +
{{ind|general-imported|afterthought connection|contrasted with forethought for grammatical utterances}}  {{ind|general-imported|forethought connection|contrasted with afterthought for grammatical utterances}}  {{ind|general-imported|forethought connectives|as ungrammatical utterance}}  {{ind|general-imported|connectives|as ungrammatical utterance}} The forethought questions
 +
{{vla|ge'i}} and
 +
 +
{{vla|gu'i}} are used like the others, but ambiguity forbids the use of isolated forethought connectives as answers &ndash; they sound like the start of forethought-connected bridi. So although
 +
 +
{{lex|example-random-id-286J}} is the forethought version of
 +
{{lex|example-random-id-xtIf}}:
 +
 +
{{dsp|example-random-id-286J}}{{example|interlinear-gloss-example|example-random-id-286J}}
 +
{{judri|c14e13d14}}
 +
:'''do djica tu'a ge'i loi ckafi gi loi tcati'''
 +
:<code>You desire something-about [truth function?] a-mass-of coffee [or] a-mass-of tea?</code>
 +
 +
the answer must be in afterthought form.
 +
 +
{{ind|general-imported|connective questions|compared with other languages}} There are natural languages, notably Chinese, which employ the Lojbanic form of connective question. The Chinese sentence
 +
 +
{{dsp|example-random-id-HyVv}}
 +
{{judri|c14e13d15}}
 +
:''ni<sup>3</sup> zou<sup>3</sup> hai<sup>2</sup>shi pao<sup>3</sup>''
 +
 +
means
 +
“Do you walk or run?”, and is exactly parallel to the Lojban:
 +
 +
{{dsp|example-random-id-3jIq}}{{example|interlinear-gloss-example|example-random-id-3jIq}}
 +
{{judri|c14e13d16}}
 +
:'''do cadzu gi'i bajra'''
 +
:<code>You walk [or?] run?</code>
 +
 +
{{ind|general-imported|connective question answers|contrasted with other languages}} However, Chinese does not use logical connectives in the reply to such a question, so the resemblance, though striking, is superficial.
 +
 +
{{ind|general-imported|imperatives|and truth}}  {{ind|general-imported|truth|in imperative sentences}}  {{ind|general-imported|bridi connection|use of imperatives in}}  {{ind|general-imported|bridi connection|use of truth questions in}} Truth questions may be used in bridi connection. This form of sentence is perfectly legitimate, and can be interpreted by using the convention that a truth question is true if the answer is “yes” and false if the answer is {{vla|no}}. Analogously, an imperative sentence (involving the special pro-sumti {{vla|ko}}, which means “you” but marks the sentence as a command) is true if the command is obeyed, and false otherwise. A request of Abraham Lincoln's may be translated thus:
 +
 +
{{dsp|example-random-id-BPv0}}{{example|interlinear-gloss-example|example-random-id-BPv0}}
 +
{{judri|c14e13d17}}
 +
{{ind|example|if coffee|bring tea|example}} 
 +
{{ind|example|Abraham Lincoln|example}}
 +
:'''ganai ti ckafi gi ko bevri loi tcati mi .ije ganai ti tcati gi ko bevri loi ckafi mi'''
 +
:<code>If this is-coffee then [you!] bring a-mass-of tea to-me, and if this is-tea then [you!] bring a-mass-of coffee to-me.</code>
 +
:''If this is coffee, bring me tea; but if this is tea, bring me coffee.''
 +
 +
{{ind|general-imported|and|compared with but}}  {{ind|general-imported|but|compared with and}} In logical terms, however,
 +
“but” is the same as
 +
“and”; the difference is that the sentence after a
 +
“but” is felt to be in tension or opposition to the sentence before it. Lojban represents this distinction by adding the discursive cmavo
 +
{{vla|ku'i}} (of selma'o UI), which is explained in
 +
 +
{{ls|section-discursives}}, to the logical
 +
{{vla|.i}}{{vla|je}}.)
 +
 +
{{ssp|section-non-logical-connectives}}
 +
==Non-logical connectives==
 +
{{ind|general-imported|and|as non-logical connective}} Way back in
 +
{{ls|section-connectives-introduction}}, the point was made that not every use of English
 +
“and”,
 +
“if ... then”, and so on represents a Lojban logical connective. In particular, consider the “and” of:
 +
 +
{{dsp|example-random-id-x6JW}}
 +
{{judri|c14e14d1}}
 +
{{ind|example|carried piano|example}}
 +
John and Alice carried the piano.
 +
 +
{{ind|general-imported|mass|joining elements into a}} Given the nature of pianos, this probably means that John carried one end and Alice the other. So it is not true that:
 +
 +
{{dsp|example-random-id-58yv}}
 +
{{judri|c14e14d2}}
 +
John carried the piano, and Alice carried the piano.
 +
 +
which would mean that each of them carried the piano by himself/herself. Lojban deals with this particular linguistic phenomenon as a
 +
“mass”. John and Alice are joined together into a mass, John-and-Alice, and it is this mass which carried the piano, not either of them separately. The cmavo
 +
{{vla|joi}} (of selma'o JOI) is used to join two or more components into a mass:
 +
 +
{{dsp|example-random-id-pC5x}}{{example|interlinear-gloss-example|example-random-id-pC5x}}
 +
{{judri|c14e14d3}}
 +
:'''la djan. joi la .alis. cu bevri le pipno'''
 +
:<code>John massed-with Alice carry the piano.</code>
 +
 +
{{ind|general-imported|components contrasted with mass|in properties of}}  {{ind|general-imported|mass contrasted with components|in properties of}}  {{ind|general-imported|supervising|as a contribution to mass action}}
 +
{{lex|example-random-id-pC5x}} covers the case mentioned, where John and Alice divide the labor; it also could mean that John did all the hauling and Alice did the supervising. This possibility arises because the properties of a mass are the properties of its components, which can lead to apparent contradictions: if John is small and Alice is large, then John-and-Alice is both small and large. Masses are also discussed in
 +
 +
{{ls|section-masses}}.
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|lojban-word-imported|A selma'o}}  {{ind|general-imported|non-logical connection|in tanru|distinguishing from connection of sumti}}  {{ind|general-imported|non-logical connection|of sumti|distinguishing from connection in tanru}}  {{ind|general-imported|joi grammar|contrasted with jeks}}  {{ind|general-imported|joi grammar|contrasted with eks}}  {{ind|general-imported|non-logical connection|and elidability of terminators}} Grammatically,
 +
{{vla|joi}} can appear between two sumti (like an ek) or between two tanru components (like a jek). This flexibility must be paid for in the form of occasional terminators that cannot be elided:
 +
 +
{{ind|general-imported|terminators|eliding ku in non-logical connections}}
 +
 +
{{dsp|example-random-id-NN93}}{{example|interlinear-gloss-example|example-random-id-NN93}}
 +
{{judri|c14e14d4}}
 +
:'''le nanmu ku joi le ninmu [ku] cu klama le zarci'''
 +
:<code>The man massed-with the woman go-to the market.</code>
 +
 +
The cmavo
 +
{{vla|ku}} is the elidable terminator for
 +
{{vla|le}}, which can almost always be elided, but not in this case. If the first
 +
{{vla|ku}} were elided here, Lojban's parsing rules would see {{jbo|le nanmu joi}} and assume that another tanru component is to follow; since the second
 +
{{vla|le}} cannot be part of a tanru, a parsing error results. No such problem can occur with logical connectives, because an ek signals a following sumti and a jek a following tanru component unambiguously.
 +
 +
{{ind|general-imported|joik|definition}} Single or compound cmavo involving members of selma'o JOI are called joiks, by analogy with the names for logical connectives. It is not grammatical to use joiks to connect bridi-tails.
 +
 +
{{ind|general-imported|tanru connection|connotation of non-logical}} In tanru,
 +
{{vla|joi}} has the connotation
 +
“mixed with”, as in the following example:
 +
 +
{{dsp|example-random-id-Xxp2}}{{example|interlinear-gloss-example|example-random-id-Xxp2}}
 +
{{judri|c14e14d5}}
 +
{{ind|example|blue and red|example}}
 +
{{ind|example|mixed with|example}} 
 +
:'''ti blanu joi xunre bolci'''
 +
:<code>This is-a-(blue mixed-with red) ball.</code>
 +
:''This is a blue and red ball.''
 +
 +
Here the ball is neither wholly blue nor wholly red, but partly blue and partly red. Its blue/redness is a mass property. (Just how blue something has to be to count as
 +
“wholly blue” is an unsettled question, though. A
 +
:{{jbo|blanu zdani}} may be so even though not every part of it is blue.)
 +
 +
There are several other cmavo in selma'o JOI which can be used in the same grammatical constructions. Not all of them are well-defined as yet in all contexts. All have clear definitions as sumti connectives; those definitions are shown in the following table:
 +
 +
<tab class=wikitable header=true>
 +
A {{vla|joi}} B the mass with components A and B
 +
A {{vla|ce}} B the set with elements A and B
 +
A {{vla|ce'o}} B the sequence with elements A and B in order
 +
A {{vla|se}}{{vla|ce'o}} B the sequence with elements B and A in order
 +
A {{vla|jo'u}} B A and B considered jointly
 +
A {{vla|fa'u}} B A and B respectively
 +
A {{vla|se}}{{vla|fa'u}} B B and A respectively
 +
A {{vla|jo'e}} B the union of sets A and B
 +
A {{vla|ku'a}} B the intersection of sets A and B
 +
A {{vla|pi'u}} B the cross product of sets A and B
 +
A {{vla|se}}{{vla|pi'u}} B the cross product of sets B and A
 +
</tab>
 +
{{ind|general-imported|joiks|use of &quot;se&quot; in}}  {{ind|general-imported|se|as grammatical in JOI compounds}} The cmavo
 +
{{vla|se}} is grammatical before any JOI cmavo, but only useful with those that have inherent order. Here are some examples of joiks:
 +
 +
{{dsp|example-random-id-cwG8}}{{example|interlinear-gloss-example|example-random-id-cwG8}}
 +
{{judri|c14e14d6}}
 +
{{ind|example|choose from|example}}
 +
:'''mi cuxna la .alis. la frank. ce la .alis. ce la djeimyz.'''
 +
:<code>I choose Alice from Frank and-member Alice and-member James.</code>
 +
:''I choose Alice from among Frank, Alice, and James.''
 +
 +
{{ind|general-imported|mass|contrasted with set in distribution of properties}}  {{ind|general-imported|set|contrasted with mass in distribution of properties}}  {{ind|general-imported|set|as specified by members}} The x3 place of
 +
{{vla|cuxna}} is a set from which the choice is being made. A set is an abstract object which is determined by specifying its members. Unlike those of a mass, the properties of a set are unrelated to its members' properties: the set of all rats is large (since many rats exist), but the rats themselves are small. This chapter does not attempt to explain set theory (the mathematical study of sets) in detail: explaining propositional logic is quite enough for one chapter!
 +
 +
{{ind|general-imported|set|by listing members with ce}} In
 +
{{lex|example-random-id-cwG8}} we specify that set by listing the members with
 +
{{vla|ce}} joining them.
 +
 +
{{dsp|example-random-id-Emw0}}{{example|interlinear-gloss-example|example-random-id-Emw0}}
 +
{{judri|c14e14d7}}
 +
{{ind|example|list|example}}
 +
:'''ti liste mi ce'o do ce'o la djan.'''
 +
:<code>This is-a-list-of me and-sequence you and-sequence John.</code>
 +
:''This is a list of you, me, and John.''
 +
 +
{{ind|general-imported|set|contrasted with ordered sequence}}  {{ind|general-imported|mass|contrasted with ordered sequence}}  {{ind|general-imported|ordered sequence|contrasted with mass}}  {{ind|general-imported|ordered sequence|contrasted with set}}  {{ind|general-imported|ordered sequence|by listing members}}  {{ind|general-imported|sequence|as an abstract list}}  {{ind|general-imported|list|as a physical object}}  {{ind|general-imported|sequence|contrasted with list}}  {{ind|general-imported|list|contrasted with sequence}} The x2 place of
 +
{{vla|liste}} is a sequence of the things which are mentioned in the list. (It is worth pointing out that
 +
:{{jbo|lo liste}} means a physical object such as a grocery list: a purely abstract list is
 +
:{{jbo|lo porsi}}, a sequence.) Here the three sumti connected by
 +
{{vla|ce'o}} are in a definite order, not just lumped together in a set or a mass.
 +
 +
{{ind|general-imported|jo'u|result of connection with}}  {{ind|general-imported|jo'u|contrasted with ce'o}}  {{ind|general-imported|jo'u|contrasted with ce}}  {{ind|general-imported|jo'u|contrasted with joi}}  {{ind|general-imported|individuals into set|by non-logical connection}}  {{ind|general-imported|individuals into mass|by non-logical connection}}  {{ind|general-imported|non-logical connection|of individuals into set}}  {{ind|general-imported|non-logical connection|of individuals into mass}} So
 +
{{vla|joi}},
 +
{{vla|ce}}, and
 +
{{vla|ce'o}} are parallel, in that the sumti connected are taken to be individuals, and the result is something else: a mass, a set, or a sequence respectively. The cmavo
 +
 +
{{vla|jo'u}} serves as a fourth element in this pattern: the sumti connected are individuals, and the result is still individuals &ndash; but inseparably so. The normal Lojban way of saying that James and George are brothers is:
 +
 +
{{dsp|example-random-id-sy2V}}{{example|interlinear-gloss-example|example-random-id-sy2V}}
 +
{{judri|c14e14d8}}
 +
{{ind|example|brothers|example}}
 +
:'''la djeimyz. bruna la djordj.'''
 +
:<code>James is-the-brother-of George.</code>
 +
 +
possibly adding a discursive element meaning
 +
“and vice versa”. However,
 +
“James and George are brothers” cannot be correctly translated as:
 +
 +
{{dsp|example-random-id-1PHN}}{{example|interlinear-gloss-example|example-random-id-1PHN}}
 +
{{judri|c14e14d9}}
 +
{{ind|example|brothers|example}}
 +
:'''la djeimyz. .e la djordj. bruna'''
 +
:<code>James and George is-a-brother.</code>
 +
 +
since that expands to two bridi and means that James is a brother and so is George, but not necessarily of each other. If the
 +
{{vla|e}} is changed to
 +
{{vla|jo'u}}, however, the meaning of
 +
 +
{{lex|example-random-id-sy2V}} is preserved:
 +
 +
{{dsp|example-random-id-gnwy}}{{example|interlinear-gloss-example|example-random-id-gnwy}}
 +
{{judri|c14e14d10}}
 +
{{ind|example|brothers|example}}
 +
:'''la djeimyz. jo'u la djordj. cu remei bruna'''
 +
:<code>James in-common-with George are-a-twosome type-of-brothers.</code>
 +
 +
The tanru
 +
:{{jbo|remei bruna}} is not strictly necessary in this sentence, but is used to make clear that we are not saying that James and George are both brothers of some third person not specified. Alternatively, we could turn the tanru around: the x1 place of
 +
 +
{{vla|re}}{{vla|mei}} is a mass with two components, leading to:
 +
 +
{{dsp|example-random-id-t0FJ}}{{example|interlinear-gloss-example|example-random-id-t0FJ}}
 +
{{judri|c14e14d11}}
 +
{{ind|example|brothers|example}}
 +
:'''la djeimyz. joi la djordj. cu bruna remei'''
 +
:<code>James massed-with George are-a-brother type-of-twosome.</code>
 +
 +
where
 +
{{vla|joi}} is used to create the necessary mass.
 +
 +
{{ind|general-imported|respectively|specifying with fa'u}}  {{ind|general-imported|connection|non-distributed}} Likewise,
 +
{{vla|fa'u}} can be used to put two individuals together where order matters. Typically, there will be another
 +
{{vla|fa'u}} somewhere else in the same bridi:
 +
 +
{{dsp|example-random-id-MBsp}}{{example|interlinear-gloss-example|example-random-id-MBsp}}
 +
{{judri|c14e14d12}}
 +
{{ind|example|respectively|example}}
 +
:'''la djeimyz. fa'u la djordj. prami la meris. fa'u la martas.'''
 +
:<code>James jointly-in-order-with George loves Mary jointly-in-order-with Martha.</code>
 +
:''James and George love Mary and Martha, respectively.''
 +
 +
{{ind|general-imported|.e|contrasted with fa'u}}  {{ind|general-imported|fa'u|contrasted with .e}} Here the information carried by the English adverb
 +
“respectively”, namely that James loves Mary and George loves Martha, is divided between the two occurrences of
 +
{{vla|fa'u}}. If both uses of
 +
{{vla|fa'u}} were to be changed to
 +
{{vla|e}}, we would get:
 +
 +
{{dsp|example-random-id-7bv3}}{{example|interlinear-gloss-example|example-random-id-7bv3}}
 +
{{judri|c14e14d13}}
 +
:'''la djeimyz. .e la djordj. prami la meris. .e la martas.'''
 +
:''James and George love Mary and Martha.''
 +
 +
which can be transformed to four bridi:
 +
 +
{{dsp|example-random-id-I3gH}}{{example|interlinear-gloss-example|example-random-id-I3gH}}
 +
{{judri|c14e14d14}}
 +
:'''la djeimyz. prami la meris. .ije la djordj. prami la meris. .ije la djeimyz. prami la martas. .ije la djordj. prami la martas.'''
 +
:''James loves Mary, and George loves Mary, and James loves Martha, and George loves Martha.''
 +
 +
which represents quite a different state of affairs from
 +
{{lex|example-random-id-MBsp}}. The meaning of
 +
{{lex|example-random-id-MBsp}} can also be conveyed by a termset:
 +
 +
{{dsp|example-random-id-nER7}}{{example|interlinear-gloss-example|example-random-id-nER7}}
 +
{{judri|c14e14d15}}
 +
:'''la djeimyz. ce'e la meris. pe'e .e la djordj. ce'e la martas. prami'''
 +
:<code>James [plus] Mary [joint] and George [plus] Martha loves.</code>
 +
 +
{{ind|general-imported|termsets|compared to fa'u}}  {{ind|general-imported|fa'u|compared to termsets}} at the expense of re-ordering the list of names so as to make the pairs explicit. This option is not available when one of the lists is only described rather than enumerated:
 +
 +
{{dsp|example-random-id-1r61}}{{example|interlinear-gloss-example|example-random-id-1r61}}
 +
{{judri|c14e14d16}}
 +
:'''la djeimyz. fa'u la djordj. prami re mensi'''
 +
:<code>James and-respectively George love two sisters.</code>
 +
 +
which conveys that James loves one sister and George the other, though we are not able to tell which of the sisters is which.
 +
 +
{{ssp|section-non-logical-continued}}
 +
==More about non-logical connectives==
 +
{{ind|general-imported|cross-product|of sets}}  {{ind|general-imported|intersection|of sets}}  {{ind|general-imported|union|of sets}}  {{ind|general-imported|set operations}} The final three JOI cmavo,
 +
{{vla|jo'e}}, {{vla|ku'a}}, and {{vla|pi'u}}, are probably only useful when talking explicitly about sets. They represent three standard set operators usually called “union”, “intersection”, and “cross product” (also known as “Cartesian product”). The union of two sets is a set containing all the members that are in either set; the intersection of two sets is a set containing all the members that are in both sets. The cross product of two sets is the set of all possible ordered pairs, where each ordered pair contains a single element from the first set followed by a single element from the second. This may seem very abstract; hopefully, the following examples will help:
 +
 +
{{dsp|example-random-id-qGSA}}{{example|interlinear-gloss-example|example-random-id-qGSA}}
 +
{{judri|c14e15d1}}
 +
{{ind|example|rich and German|example}}
 +
:'''lo'i ricfu ku jo'e lo'i dotco cu barda'''
 +
:<code>The-set-of rich-things union the-set-of German-things is large.</code>
 +
 +
{{dsp|example-random-id-qgSe}}{{example|interlinear-gloss-example|example-random-id-qgSe}}
 +
{{judri|c14e15d2}}
 +
{{ind|example|rich and German|example}}
 +
:'''lo'i ricfu ku ku'a lo'i dotco cu cmalu'''
 +
:<code>The set-of rich-things intersection the-set-of German-things is small.</code>
 +
 +
{{ind|general-imported|intersection of sets|compared with and}}  {{ind|general-imported|union of sets|compared with or}} There is a parallelism between logic and set theory that makes
 +
{{lex|example-random-id-qGSA}} and
 +
{{lex|example-random-id-qgSe}} equivalent respectively to:
 +
 +
{{dsp|example-random-id-azCQ}}{{example|interlinear-gloss-example|example-random-id-azCQ}}
 +
{{judri|c14e15d3}}
 +
:'''lo'i ricfu ja dotco cu barda'''
 +
:<code>The-set-of rich-or-German-things is large.</code>
 +
 +
and
 +
 +
{{dsp|example-random-id-QjD7}}{{example|interlinear-gloss-example|example-random-id-QjD7}}
 +
{{judri|c14e15d4}}
 +
:'''lo'i ricfu je dotco cu cmalu'''
 +
:<code>The-set-of rich-and-German-things is small.</code>
 +
 +
The following example uses
 +
:{{jbo|se remei}}, which is a set (not a mass) of two elements:
 +
 +
{{dsp|example-random-id-D9gz}}{{example|interlinear-gloss-example|example-random-id-D9gz}}
 +
{{judri|c14e15d5}}
 +
:'''la djeimyz. ce[bo] la djordj. pi'u la meris. cebo la martas. cu prami se remei'''
 +
:<code>James and-set George cross-product Mary and-set Martha are-lover type-of-pairs.</code>
 +
 +
{{ind|general-imported|and|contrasted with cross-product}}  {{ind|general-imported|cross-product|contrasted with and}}  {{ind|general-imported|e|contrasted with pi'u}}  {{ind|general-imported|pi'u|contrasted with .e}} means that each of the pairs James/Mary, George/Mary, James/Martha, and George/Martha love each other. Therefore it is similar in meaning to
 +
{{lex|example-random-id-7bv3}}; however, that example speaks only of the men loving the women, not vice versa.
 +
 +
{{ind|lojban-word-imported|JOI selma'o}}  {{ind|general-imported|non-logical connectives|grouping}}  {{ind|general-imported|joiks|grouping}} Joiks may be combined with
 +
{{vla|bo}} or with
 +
{{vla|ke}} in the same way as eks and jeks; this allows grouping of non-logical connections between sumti and tanru units, in complete parallelism with logical connections:
 +
 +
{{dsp|example-random-id-mwpo}}{{example|interlinear-gloss-example|example-random-id-mwpo}}
 +
{{judri|c14e15d6}}
 +
:'''mi joibo do ce la djan. joibo la djein. cu gunma se remei'''
 +
:<code>(I massed-with you) and (John massed-with Jane) are-a-mass type-of-two-set</code>
 +
 +
asserts that there is a set of two items each of which is a mass.
 +
 +
{{ind|general-imported|termsets|non-logical connection of}}  {{ind|general-imported|non-logical connection|of termsets}} Non-logical connection is permitted at the joint of a termset; this is useful for associating more than one sumti or tagged sumti with each side of the non-logical connection. The place structure of
 +
 +
{{vla|casnu}} is:
 +
 +
<definition>{{vla|casnu}} :''the mass x1 discusses/talks about x2''
 +
so the x1 place must be occupied by a mass (for reasons not explained here); however, different components of the mass may discuss in different languages. To associate each participant with his or her language, we can say:
 +
 +
{{dsp|example-random-id-sdba}}{{example|interlinear-gloss-example|example-random-id-sdba}}
 +
{{judri|c14e15d7}}
 +
{{ind|example|discuss in language|example}}
 +
:'''mi ce'e bau la lojban. pe'e joi do ce'e bau la gliban. nu'u casnu'''
 +
:<code>( I [plus] in-language Lojban massed-with you [plus] in-language English ) discuss.</code>
 +
 +
Like all non-logical connectives, the usage shown in
 +
{{lex|example-random-id-sdba}} cannot be mechanically converted into a non-logical connective placed at another location in the bridi. The forethought equivalent of
 +
{{lex|example-random-id-sdba}} is:
 +
 +
{{dsp|example-random-id-DgXI}}{{example|interlinear-gloss-example|example-random-id-DgXI}}
 +
{{judri|c14e15d8}}
 +
:'''nu'i joigi mi bau la lojban gi do bau la gliban. nu'u casnu'''
 +
 +
{{ind|general-imported|respectively|with different relationships}}  {{ind|general-imported|tagged sumti termsets|connecting with non-logical forethought connectives}}  {{ind|general-imported|non-logical forethought termsets|connecting tagged sumti}} Non-logical forethought termsets are also useful when the things to be non-logically connected are sumti preceded with tense or modal (BAI) tags:
 +
 +
{{dsp|example-random-id-wVSG}}{{example|interlinear-gloss-example|example-random-id-wVSG}}
 +
{{judri|c14e15d9}}
 +
:'''la djan. fa'u la frank. cusku nu'i bau la lojban. nu'u fa'u bai tu'a la djordj. [nu'u]'''
 +
:<code>John respectively-with Frank express [start termset] in-language Lojban [joint] respectively-with under-compulsion-by George.</code>
 +
:''John and Frank speak in Lojban and under George's compulsion, respectively.''
 +
 +
{{lex|example-random-id-wVSG}} associates speaking in Lojban with John, and speaking under George's compulsion with Frank. We do not know what language Frank uses, or whether John speaks under anyone's compulsion.
 +
 +
{{ind|lojban-word-imported|JOI selma'o}}  {{ind|general-imported|sequence of events|expressing non-time-related sequences}}  {{ind|general-imported|ice'o|contrasted with .ibabo}}  {{ind|general-imported|sentences|connecting non-logically}}  {{ind|general-imported|non-logical connectives|sentence}}  {{ind|general-imported|ijoik|definition}} Joiks may be prefixed with
 +
{{vla|i}} to produce ijoiks, which serve to non-logically connect sentences. The ijoik
 +
 +
{{vla|.i}}{{vla|ce'o}} indicates that the event of the second bridi follows that of the first bridi in some way other than a time relationship (which is handled with a tense):
 +
 +
{{dsp|example-random-id-27xU}}{{example|interlinear-gloss-example|example-random-id-27xU}}
 +
{{judri|c14e15d10}}
 +
{{ind|example|list of things to do|example}}
 +
{{ind|example|to-do list|example}} 
 +
:'''mi ba gasnu la'edi'e .i tu'e kanji lo ni cteki .ice'o lumci le karce .ice'o dzukansa le gerku tu'u'''
 +
:<code>I [future] do the-referent-of-the-following: ( Compute the quantity of taxes. And-then wash the car. And-then walkingly-accompany the dog. )</code>
 +
:''List of things to do: Figure taxes. Wash car. Walk dog.''
 +
 +
{{ind|general-imported|tu'e|use in lists}}  {{ind|general-imported|tu'e|effect on di'e}}  {{ind|general-imported|di'e|effect of tu'e/tu'u on}}  {{ind|general-imported|lists|use of tu'e/tu'u in}}
 +
{{lex|example-random-id-27xU}} represents a list of things to be done in priority order. The order is important, hence the need for a sequence connective, but does not necessarily represent a time order (the dog may end up getting walked first). Note the use of
 +
{{vla|tu'e}} and
 +
{{vla|tu'u}} as general brackets around the whole list. This is related to, but distinct from, their use in
 +
{{ls|section-afterthought-connectives-grouping}}, because there is no logical connective between the introductory phrase
 +
:{{jbo|mi ba gasnu la'edi'e}} and the rest. The brackets effectively show how large an utterance the word
 +
{{vla|di'e}}, which means
 +
 +
“the following utterance”, refers to.
 +
 +
Similarly,
 +
{{vla|.i}}{{vla|joi}} is used to connect sentences that represent the components of a joint event such as a joint cause: the Lojban equivalent of
 +
“Fran hit her head and fell out of the boat, so that she drowned” would join the events
 +
“Fran hit her head” and
 +
“Fran fell out of the boat” with
 +
{{vla|.i}}{{vla|joi}}.
 +
 +
{{ind|general-imported|scalar negation of non-logical connective}}  {{ind|general-imported|non-logical connectives|effect of nai on}}  {{ind|general-imported|joiks|effect of nai on}}  {{ind|general-imported|nai|effect on joiks}} The following
 +
{{vla|nai}}, if present, does not negate either of the things to be connected, but instead specifies that some other connection (logical or non-logical) is applicable: it is a scalar negation:
 +
 +
{{dsp|example-random-id-mMdb}}{{example|interlinear-gloss-example|example-random-id-mMdb}}
 +
{{judri|c14e15d11}}
 +
:'''mi jo'unai do cu remei'''
 +
:<code>I in-common-with [not!] you are-a-twosome</code>
 +
 +
The result of
 +
:{{jbo|mi jo'u do}} would be two individuals, not a mass, therefore
 +
 +
{{vla|jo'u}} is not applicable;
 +
 +
{{vla|joi}} would be the correct connective.
 +
 +
{{ind|general-imported|connective answers|non-logical}}  {{ind|general-imported|connective questions|non-logical}} There is no joik question cmavo as such; however, joiks and ijoiks may be uttered in isolation in response to a logical connective question, as in the following exchange:
 +
 +
{{dsp|example-random-id-qGSm}}{{example|interlinear-gloss-example|example-random-id-qGSm}}
 +
{{judri|c14e15d12}}
 +
:'''do djica tu'a loi ckafi ji loi tcati'''
 +
:<code>You desire something-about a-mass-of coffee [what connective?] a-mass-of tea?</code>
 +
:''Do you want coffee or tea?''
 +
 +
{{dsp|example-random-id-qgsp}}{{example|interlinear-gloss-example|example-random-id-qgsp}}
 +
{{judri|c14e15d13}}
 +
{{ind|example|ugh|example}}
 +
{{ind|example|coffee mixed with tea|example}}
 +
:'''joi'''
 +
:<code>Mixed-mass-and.</code>
 +
:''Both as a mass (i.e, mixed together).''
 +
 +
Ugh. (Or in Lojban: {{vla|.a'u}}{{vla|nai}}{{vla|sai}}{{vla|ro'o}}.)
 +
 +
{{ssp|section-non-logical-continued-continued}}
 +
==Interval connectives and forethought non-logical connection==
 +
 +
{{ind|general-imported|intervals|expressed as endpoints}}  {{ind|general-imported|non-logical connectives|intervals}} In addition to the non-logical connectives of selma'o JOI explained in
 +
{{ls|section-non-logical-connectives}} and
 +
{{ls|section-non-logical-continued}}, there are three other connectives which can appear in joiks:
 +
{{vla|bi'i}},
 +
{{vla|bi'o}}, and
 +
{{vla|mi'i}}, all of selma'o BIhI. The first two cmavo are used to specify intervals: abstract objects defined by two endpoints. The cmavo
 +
 +
{{vla|bi'i}} is correct if the endpoints are independent of order, whereas
 +
{{vla|bi'o}} or
 +
{{vla|se}}{{vla|bi'o}} are used when order matters.
 +
 +
An example of
 +
{{vla|bi'i}} in sumti connection:
 +
 +
{{dsp|example-random-id-sHhA}}{{example|interlinear-gloss-example|example-random-id-sHhA}}
 +
{{judri|c14e16d1}}
 +
{{ind|example|between Dresden and Frankfurt|example}}
 +
:'''mi ca sanli la drezdn. bi'i la frankfurt.'''
 +
:<code>I [present] stand-on-surface Dresden [interval] Frankfurt.</code>
 +
:''I am standing between Dresden and Frankfurt.''
 +
 +
{{ind|general-imported|non-logical connectives|un-ordered intervals}} In
 +
{{lex|example-random-id-sHhA}}, it is all the same whether I am standing between Dresden and Frankfurt or between Frankfurt and Dresden, so
 +
 +
{{vla|bi'i}} is the appropriate interval connective. The sumti
 +
:{{jbo|la drezdn. bi'i la frankfurt.}} falls into the x2 place of
 +
{{vla|sanli}}, which is the surface I stand on; the interval specifies that surface by its limits. (Obviously, I am not standing on the whole of the interval; the x2 place of
 +
{{vla|sanli}} specifies a surface which is typically larger in extent than just the size of the stander's feet.)
 +
 +
{{dsp|example-random-id-rYv4}}{{example|interlinear-gloss-example|example-random-id-rYv4}}
 +
{{judri|c14e16d2}}
 +
{{ind|example|from one to two o'clock|example}}
 +
:'''mi cadzu ca la pacac. bi'o la recac.'''
 +
:<code>I walk simultaneous-with First-hour [ordered-interval] Second-hour.</code>
 +
:''I walk from one o'clock to two o'clock.''
 +
 +
{{ind|general-imported|non-logical connectives|ordered intervals}} In
 +
{{lex|example-random-id-rYv4}}, on the other hand, it is essential that
 +
:{{jbo|la pacac.}} comes before
 +
:{{jbo|la recac.}}; otherwise we have an 11-hour (or 23-hour) interval rather than a one-hour interval. In this use of an interval, the whole interval is probably intended, or at least most of it.
 +
 +
{{lex|example-random-id-rYv4}} is equivalent to:
 +
 +
{{dsp|example-random-id-qqIr}}{{example|interlinear-gloss-example|example-random-id-qqIr}}
 +
{{judri|c14e16d3}}
 +
:'''mi cadzu ca la recac. sebi'o la pacac.'''
 +
:<code>I walk simultaneous-with Second-hour [reverse] [ordered] First-hour.</code>
 +
 +
English cannot readily express
 +
{{vla|se}}{{vla|bi'o}}, but its meaning can be understood by reversing the two sumti.
 +
 +
{{ind|general-imported|intervals|expressed as center and distance}} The third cmavo of selma'o BIhI, namely
 +
{{vla|mi'i}}, expresses an interval seen from a different viewpoint: not a pair of endpoints, but a center point and a distance. For example:
 +
 +
{{dsp|example-random-id-wm5E}}{{example|interlinear-gloss-example|example-random-id-wm5E}}
 +
{{judri|c14e16d4}}
 +
{{ind|example|bomb destroyed fifty miles|example}}
 +
:'''le jbama pu daspo la .uacintyn. mi'i lo minli be li muno'''
 +
:<code>The bomb [past] destroys Washington [center] what-is measured-in-miles by 50.</code>
 +
:''The bomb destroyed Washington and fifty miles around.''
 +
 +
Here we have an interval whose center is Washington and whose distance, or radius, is fifty miles.
 +
 +
{{ind|general-imported|endpoints|inclusion in interval}}  {{ind|general-imported|interval|inclusion of endpoints}}  {{ind|general-imported|interval|open}}  {{ind|general-imported|interval|closed}}  {{ind|general-imported|open interval}}  {{ind|general-imported|closed interval}} In
 +
{{lex|example-random-id-sHhA}}, is it possible that I am standing in Dresden (or Frankfurt) itself? Yes. The connectives of selma'o BIhI are ambiguous about whether the endpoints themselves are included in or excluded from the interval. Two auxiliary cmavo
 +
{{vla|ga'o}} and
 +
{{vla|ke'i}} (of cmavo GAhO) are used to indicate the status of the endpoints:
 +
{{vla|ga'o}} means that the endpoint is included,
 +
{{vla|ke'i}} that it is excluded:
 +
 +
{{dsp|example-random-id-qGTc}}{{example|interlinear-gloss-example|example-random-id-qGTc}}
 +
{{judri|c14e16d5}}
 +
:'''mi ca sanli la drezdn. ga'o bi'i ga'o la frankfurt.'''
 +
:<code>I [present] stand Dresden [inclusive] [interval] [inclusive] Frankfurt.</code>
 +
:''I am standing between Dresden and Frankfurt, inclusive of both.''
 +
 +
{{dsp|example-random-id-qGtv}}{{example|interlinear-gloss-example|example-random-id-qGtv}}
 +
{{judri|c14e16d6}}
 +
:'''mi ca sanli la drezdn. ga'o bi'i ke'i la frankfurt.'''
 +
:<code>I [present] stand Dresden [inclusive] [interval] [exclusive] Frankfurt.</code>
 +
:''I am standing between Dresden (inclusive) and Frankfurt (exclusive).''
 +
 +
{{dsp|example-random-id-qgUo}}{{example|interlinear-gloss-example|example-random-id-qgUo}}
 +
{{judri|c14e16d7}}
 +
:'''mi ca sanli la drezdn. ke'i bi'i ga'o la frankfurt.'''
 +
:<code>I [present] stand Dresden [exclusive] [interval] [inclusive] Frankfurt.</code>
 +
:''I am standing between Dresden (exclusive) and Frankfurt (inclusive).''
 +
 +
{{dsp|example-random-id-qGvB}}{{example|interlinear-gloss-example|example-random-id-qGvB}}
 +
{{judri|c14e16d8}}
 +
{{ind|example|between Dresden and Frankfurt|example}}
 +
:'''mi ca sanli la drezdn. ke'i bi'i ke'i la frankfurt.'''
 +
:<code>I [present] stand Dresden [exclusive] [interval] [exclusive] Frankfurt.</code>
 +
:''I am standing between Dresden and Frankfurt, exclusive of both.''
 +
 +
{{ind|general-imported|GAhO selma'o|grammar of}} As these examples should make clear, the GAhO cmavo that applies to a given endpoint is the one that stands physically adjacent to it: the left-hand endpoint is referred to by the first GAhO, and the right-hand endpoint by the second GAhO. It is ungrammatical to have just one GAhO.
 +
 +
{{ind|general-imported|ke'i|etymology of}}  {{ind|general-imported|ga'o|etymology of}} (Etymologically,
 +
{{vla|ga'o}} is derived from
 +
{{vla|ganlo}}, which means
 +
“closed”, and
 +
{{vla|ke'i}} from
 +
{{vla|kalri}}, which means
 +
“open”. In mathematics, inclusive intervals are referred to as closed intervals, and exclusive intervals as open ones.)
 +
 +
{{ind|general-imported|BIhI selma'o|grammar of}} BIhI joiks are grammatical anywhere that other joiks are, including in tanru connection and (as ijoiks) between sentences. No meanings have been found for these uses.
 +
 +
{{ind|general-imported|intervals|effect of nai on}}  {{ind|general-imported|nai|effect on intervals}}  {{ind|general-imported|negated intervals|meaning of}} Negated intervals, marked with a
 +
:{{jbo|-nai}} following the BIhI cmavo, indicate an interval that includes everything but what is between the endpoints (with respect to some understood scale):
 +
 +
{{dsp|example-random-id-39EI}}{{example|interlinear-gloss-example|example-random-id-39EI}}
 +
{{judri|c14e16d9}}
 +
{{ind|example|except from 10 to 12|example}}
 +
:'''do dicra .e'a mi ca la daucac. bi'onai la gaicac.'''
 +
:<code>You disturb (allowed) me at 10 not-from ... to 12</code>
 +
:''You can contact me except from 10 to 12.''
 +
 +
The complete syntax of joiks is:
 +
 +
{{ind|lojban-word-imported|GAhO selma'o}}  {{ind|lojban-word-imported|JOI selma'o}}  {{ind|lojban-word-imported|nai}}  {{ind|lojban-word-imported|se}}  {{ind|general-imported|joiks|syntax of}}
 +
 +
*{{grammar|[se] JOI  [nai]}}
 +
*{{grammar|[se] BIhI [nai]}}
 +
*{{grammar|GAhO [se] BIhI [nai] GAhO}}
 +
 +
{{ind|lojban-word-imported|JOI selma'o}}  {{ind|general-imported|joigik|definition}}  {{ind|general-imported|intervals|forethought}} Notice that the colloquial English translations of
 +
{{vla|bi'i}} and
 +
{{vla|bi'o}} have forethought form:
 +
“between ... and” for
 +
{{vla|bi'i}}, and
 +
“from ... to” for
 +
{{vla|bi'o}}. In Lojban too, non-logical connectives can be expressed in forethought. Rather than using a separate selma'o, the forethought logical connectives are constructed from the afterthought ones by suffixing {{vla|gi}}. Such a compound cmavo is not unnaturally called a “joigik”; the syntax of joigiks is any of:
 +
 +
{{ind|lojban-word-imported|GAhO selma'o}}  {{ind|lojban-word-imported|JOI selma'o}}  {{ind|lojban-word-imported|BIhI selma'o}}  {{ind|lojban-word-imported|nai}}  {{ind|lojban-word-imported|se}}  {{ind|general-imported|joigiks|syntax of}}
 +
*{{grammar|[se] JOI  [nai] GI}}
 +
*{{grammar|[se] BIhI [nai] GI}}
 +
*{{grammar|GAhO [se] BIhI [nai] GAhO GI}}
 +
 +
{{ind|general-imported|joigiks|connection types}} Joigiks may be used to non-logically connect bridi, sumti, and bridi-tails; and also in termsets.
 +
 +
{{lex|example-random-id-pC5x}} in forethought becomes:
 +
 +
{{dsp|example-random-id-iBpP}}{{example|interlinear-gloss-example|example-random-id-iBpP}}
 +
{{judri|c14e16d10}}
 +
{{ind|example|carry the piano|example}}
 +
:'''joigi la djan. gi la .alis. bevri le pipno'''
 +
:<code>[Together] John and Alice carry the piano.</code>
 +
 +
The first
 +
{{vla|gi}} is part of the joigik; the second {{vla|gi}} is the regular gik that separates the two things being connected in all forethought forms.
 +
 +
{{lex|example-random-id-qGtv}} can be expressed in forethought as:
 +
 +
{{dsp|example-random-id-u51K}}{{example|interlinear-gloss-example|example-random-id-u51K}}
 +
{{judri|c14e16d11}}
 +
{{ind|example|between Dresden and Frankfurt|example}}
 +
:'''mi ca sanli ke'i bi'i ga'o gi la drezdn. gi la frankfurt.'''
 +
:<code>I [present] stand [exclusive] between [inclusive] Dresden and Frankfurt.</code>
 +
:''I am standing between Dresden (exclusive) and Frankfurt (inclusive).''
 +
 +
{{ind|general-imported|GAhO position in forethought intervals}}  {{ind|general-imported|forethought intervals|GAhO position}} In forethought, unfortunately, the GAhOs become physically separated from the endpoints, but the same rule applies: the first GAhO refers to the first endpoint.
 +
 +
{{ssp|section-mekso-connections}}
 +
==Logical and non-logical connectives within mekso==
 +
{{ind|general-imported|mathematical expressions|connectives in}}  {{ind|general-imported|non-logical connection|in mathematical expressions}}  {{ind|general-imported|logical connection|in mathematical expressions}} Lojban has a separate grammar embedded within the main grammar for representing mathematical expressions (or mekso in Lojban) such as “2 + 2”. Mathematical expressions are explained fully in {{lch|chapter-mekso}}. The basic components of mekso are operands, like
 +
“2”, and operators, like “+”. Both of these may be either logically or non-logically connected.
 +
 +
{{ind|lojban-word-imported|JOI selma'o}}  {{ind|lojban-word-imported|GUhA selma'o}}  {{ind|lojban-word-imported|JA selma'o}}  {{ind|lojban-word-imported|GA selma'o}}  {{ind|lojban-word-imported|A selma'o}}  {{ind|general-imported|connecting operators|with bo in connective}}  {{ind|general-imported|bo|in joiks for operators}}  {{ind|general-imported|bo|in jeks for operators}}  {{ind|general-imported|guheks|connecting operators}}  {{ind|general-imported|jeks|connecting operators}}  {{ind|general-imported|operators|connecting}}  {{ind|general-imported|operands|connecting}}  {{ind|general-imported|geks|connecting operands}}  {{ind|general-imported|eks|connecting operands}} Operands are connected in afterthought with eks and in forethought with geks, just like sumti. Operators, on the other hand, are connected in afterthought with jeks and in forethought with guheks, just like tanru components. (However, jeks and joiks with
 +
 +
{{vla|bo}} are not allowed for operators.) This parallelism is no accident.
 +
 +
{{ind|general-imported|operators|analogue of tanru in}}  {{ind|general-imported|connecting operators|with ke in connective}}  {{ind|general-imported|connecting operands|with ke in connective}}  {{ind|general-imported|connecting operands|with bo in connective}} In addition, eks with
 +
{{vla|bo}} and with
 +
{{vla|ke}}&hellip;{{vla|ke'e}} are allowed for grouping logically connected operands, and
 +
{{vla|ke}}&hellip;{{vla|ke'e}} is allowed for grouping logically connected operators, although there is no analogue of tanru among the operators.
 +
 +
Only a few examples of each kind of mekso connection will be given. Despite the large number of rules required to support this feature, it is of relatively minor importance in either the mekso or the logical-connective scheme of things. These examples are drawn from
 +
{{ls|section-connectives-within-mekso}}, and contain many mekso features not explained in this chapter.
 +
 +
{{lex|example-random-id-gMU4}} exhibits afterthought logical connection between operands:
 +
 +
{{dsp|example-random-id-gMU4}}{{example|interlinear-gloss-example|example-random-id-gMU4}}
 +
{{judri|c14e17d1}}
 +
{{ind|example|three of four people|example}}
 +
:'''vei ci .a vo [ve'o] prenu cu klama le zarci'''
 +
:<code>( Three or four ) people go-to the market.</code>
 +
 +
{{lex|example-random-id-ftNY}} is equivalent in meaning, but uses forethought connection:
 +
 +
{{dsp|example-random-id-ftNY}}{{example|interlinear-gloss-example|example-random-id-ftNY}}
 +
{{judri|c14e17d2}}
 +
:'''vei ga ci gi vo [ve'o] prenu cu klama le zarci'''
 +
:<code>( Either 3 or 4 ) people go-to the market.</code>
 +
 +
Note that the mekso in
 +
{{lex|example-random-id-gMU4}} and
 +
{{lex|example-random-id-ftNY}} are being used as quantifiers. Lojban requires that any mekso other than a simple number be enclosed in
 +
{{vla|vei}} and
 +
{{vla|ve'o}} parentheses when used as a quantifier. The right parenthesis mark,
 +
{{vla|ve'o}}, is an elidable terminator.
 +
 +
Simple examples of logical connection between operators are hard to come by. A contrived example is:
 +
 +
{{dsp|example-random-id-dCxf}}{{example|interlinear-gloss-example|example-random-id-dCxf}}
 +
{{judri|c14e17d3}}
 +
:'''li re su'i je pi'i re du li vo'''
 +
:<code>The-number 2 plus and times 2 equals the-number 4.</code>
 +
:''{{math|2 + 2 = 4}} and {{math|2 x 2 = 4}}.''
 +
 +
The forethought form of
 +
{{lex|example-random-id-dCxf}} is:
 +
 +
{{dsp|example-random-id-YBD6}}{{example|interlinear-gloss-example|example-random-id-YBD6}}
 +
{{judri|c14e17d4}}
 +
:'''li re ge su'i gi pi'i re du li vo'''
 +
:<code>The-number two both plus and times two equals the-number four.</code>
 +
:''Both {{math|2 + 2 = 4}} and {{math|2 x 2 = 4}}.''
 +
 +
{{ind|lojban-word-imported|ke'i}}  {{ind|lojban-word-imported|ga'o}}  {{ind|general-imported|mathematical intervals}} Non-logical connection with joiks or joigiks is also permitted between operands and between operators. One use for this construct is to connect operands with
 +
 +
{{vla|bi'i}} to create mathematical intervals:
 +
 +
{{dsp|example-random-id-z2oF}}{{example|interlinear-gloss-example|example-random-id-z2oF}}
 +
{{judri|c14e17d5}}
 +
{{ind|example|zero to one|example}}
 +
:'''li no ga'o bi'i ke'i pa'''
 +
:<code>the-number zero (inclusive) from-to (exclusive) one</code>
 +
{{math|[0,1)}}
 +
:''the numbers from zero to one, including zero but not including one''
 +
 +
{{ind|general-imported|compound subscript}} You can also combine two operands with
 +
{{vla|ce'o}}, the sequence connective of selma'o JOI, to make a compound subscript:
 +
 +
{{dsp|example-random-id-8rEL}}{{example|interlinear-gloss-example|example-random-id-8rEL}}
 +
{{judri|c14e17d6}}
 +
{{ind|example|x sub b,d|example}}
 +
:'''xy. boi xi vei by. ce'o dy. [ve'o]'''
 +
:<code>“x” sub ( “b” sequence “d”)</code>
 +
:{{math|x<subscript>b,d</subscript>}}
 +
 +
Note that the
 +
{{vla|boi}} in
 +
{{lex|example-random-id-8rEL}} is not elidable, because the
 +
{{vla|xi}} subscript needs something to attach to.
 +
 +
{{ssp|section-sumtcita}}
 +
==Tenses, modals, and logical connection==
 +
The tense and modal systems of Lojban interact with the logical connective system. No one chapter can explain all of these simultaneously, so each chapter must present its own view of the area of interaction with emphasis on its own concepts and terminology. In the examples of this chapter, the many tenses of various selma'o as well as the modals of selma'o BAI are represented by the simple time cmavo
 +
{{vla|pu}}, {{vla|ca}}, and {{vla|ba}} (of selma'o PU) representing the past, the present, and the future respectively. Preceding a selbri, these cmavo state the time when the bridi was, is, or will be true (analogous to English verb tenses); preceding a sumti, they state that the event of the main bridi is before, simultaneous with, or after the event given by the sumti (which is generally a {{jbo|le nu}} abstraction; See {{ls|section-events}}).
 +
 +
{{ind|general-imported|logically connected tenses|definition}}  {{ind|general-imported|logical connection|interaction with tenses}} The two types of interaction between tenses and logical connectives are logically connected tenses and tensed logical connections. The former are fairly simple. Jeks may be used between tense cmavo to specify two connected bridi that differ only in tense:
 +
 +
{{dsp|example-random-id-g6iT}}{{example|interlinear-gloss-example|example-random-id-g6iT}}
 +
{{judri|c14e18d1}}
 +
{{ind|example|once and future king|example}}
 +
:'''la .artr. pu nolraitru .ije la .artr. ba nolraitru'''
 +
:<code>Arthur [past] is-a-noblest-governor. And Arthur [future] is-a-noblest-governor.</code>
 +
:''Arthur was a king, and Arthur will be a king.''
 +
 +
can be reduced to:
 +
 +
{{dsp|example-random-id-PLgw}}{{example|interlinear-gloss-example|example-random-id-PLgw}}
 +
{{judri|c14e18d2}}
 +
{{ind|example|once and future king|example}}
 +
:'''la .artr. pu je ba nolraitru'''
 +
:<code>Arthur [past] and [future] is-a-noblest-governor.</code>
 +
:''Arthur was and will be king.''
 +
 +
{{lex|example-random-id-g6iT}} and
 +
{{lex|example-random-id-PLgw}} are equivalent in meaning; neither says anything about whether Arthur is king now.
 +
 +
{{ind|general-imported|non-logically connected tenses}} Non-logical connection with joiks is also possible between tenses:
 +
 +
{{dsp|example-random-id-Mcsi}}{{example|interlinear-gloss-example|example-random-id-Mcsi}}
 +
{{judri|c14e18d3}}
 +
{{ind|example|breathe|example}}
 +
:'''mi pu bi'o ba vasxu'''
 +
:<code>I [past] from ... to [future] breathe.</code>
 +
:''I breathe from a past time until a future time.''
 +
 +
The full tense system makes more interesting tense intervals expressible, such as “from a medium time ago until a long time from now”.
 +
 +
{{ind|general-imported|tenses|grouping of connectives in}}  {{ind|general-imported|grouping|of connection in tenses}}  {{ind|general-imported|tenses|forethought connection in}}  {{ind|general-imported|forethought connection|in tenses}} No forethought connections between tenses are permitted by the grammar, nor is there any way to override the default left-grouping rule; these limitations are imposed to keep the tense grammar simpler. Whatever can be said with tenses or modals can be said with subordinate bridi stating the time, place, or mode explicitly, so it is reasonable to try to remove at least some complications.
 +
 +
{{ind|general-imported|tensed logical connection}} Tensed logical connections are both more complex and more important than logical connections between tenses. Consider the English sentence:
 +
 +
{{dsp|example-random-id-efav}}
 +
{{judri|c14e18d4}}
 +
{{ind|example|went and bought|example}}
 +
I went to the market, and I bought food.
 +
 +
The verbatim translation of
 +
{{lex|example-random-id-efav}}, namely:
 +
 +
{{dsp|example-random-id-PMTu}}{{example|interlinear-gloss-example|example-random-id-PMTu}}
 +
{{judri|c14e18d5}}
 +
:'''mi pu klama le zarci .ije mi pu tervecnu lo cidja'''
 +
:<code>I [past] go-to the market. And I [past] buy items-of food.</code>
 +
 +
fails to fully represent a feature of the English, namely that the buying came after the going. (It also fails to represent that the buying was a consequence of the going, which can be expressed by a modal that is discussed in
 +
{{lch|chapter-sumti-tcita}}.) However, the tense information &ndash; that the event of my going to the market preceded the event of my buying food &ndash; can be added to the logical connective as follows. The
 +
{{vla|.i}}{{vla|je}} is replaced by
 +
{{vla|.i}}{{vla|je}}{{vla|bo}}, and the tense cmavo
 +
{{vla|ba}} is inserted between
 +
{{vla|.i}}{{vla|je}} and
 +
{{vla|bo}}:
 +
 +
{{ind|lojban-word-imported|.ijebabo}}
 +
 +
{{dsp|example-random-id-BPG1}}{{example|interlinear-gloss-example|example-random-id-BPG1}}
 +
{{judri|c14e18d6}}
 +
:'''mi pu klama le zarci .ijebabo mi pu tervecnu lo cidja'''
 +
:<code>I [past] go-to the market. And [later] I [past] buy items-of food.</code>
 +
 +
Here the
 +
{{vla|pu}} cmavo in the two bridi-tails express the time of both actions with respect to the speaker: in the past. The
 +
{{vla|ba}} relates the two items to one another: the second item is later than the first item. The grammar does not permit omitting the
 +
{{vla|bo}}; if it were omitted, the
 +
{{vla|ba}} and the second
 +
{{vla|pu}} would run together to form a compound tense
 +
 +
{{vla|bapu}} applying to the second bridi-tail only.
 +
 +
{{ind|lojban-word-imported|A selma'o}}  {{ind|general-imported|tensed logical connectives|in ek…bo}} Adding tense or modal information to a logical connective is permitted only in the following situations:
 +
 +
Between an ek (or joik) and
 +
{{vla|bo}}, as in:
 +
 +
{{dsp|example-random-id-129L}}{{example|interlinear-gloss-example|example-random-id-129L}}
 +
{{judri|c14e18d7}}
 +
{{ind|example|simultaneously|example}}
 +
:'''la .djan .ecabo la .alis. klama le zarci'''
 +
:<code>John and [simultaneous] Alice go-to the market.</code>
 +
:''John and Alice go to the market simultaneously.''
 +
 +
{{ind|lojban-word-imported|JOI selma'o}}  {{ind|lojban-word-imported|A selma'o}} 
 +
 +
{{ind|general-imported|tensed logical connectives|in joik…ke}}  {{ind|general-imported|tensed logical connectives|in ek…ke}} Between an ek (or joik) and
 +
{{vla|ke}}, as in:
 +
 +
{{dsp|example-random-id-nydK}}{{example|interlinear-gloss-example|example-random-id-nydK}}
 +
{{judri|c14e18d8}}
 +
{{ind|example|and earlier|example}}
 +
:'''mi dzukla le zarci .epuke le zdani .a le ckule [ke'e]'''
 +
:<code>I walk-to the market and [earlier] ( the house or the school ).</code>
 +
:''I walk to the market and, before that, to the house or the school.''
 +
 +
{{ind|lojban-word-imported|GIhA selma'o}} 
 +
 +
{{ind|general-imported|tensed logical connectives|in gihek…bo}} Between a gihek and
 +
{{vla|bo}}, as in:
 +
 +
{{dsp|example-random-id-APPE}}{{example|interlinear-gloss-example|example-random-id-APPE}}
 +
{{ind|example|and then}} 
 +
{{judri|c14e18d9}}
 +
:'''mi dunda le cukta gi'ebabo lebna lo rupnu vau do'''
 +
:<code>I give the book and [later] take some currency-units from/to you.</code>
 +
:''I give you the book and then take some dollars (pounds, yen) from you.''
 +
 +
{{ind|lojban-word-imported|GIhA selma'o}} 
 +
{{ind|general-imported|tensed logical connectives|in gihek…ke}} Between a gihek and
 +
{{vla|ke}}, as in:
 +
 +
{{dsp|example-random-id-A0yC}}{{example|interlinear-gloss-example|example-random-id-A0yC}}
 +
{{judri|c14e18d10}}
 +
{{ind|example|and simultaneously|example}}
 +
:'''mi dzukla le zarci gi'ecake cusku zo'e la djan. [ke'e]'''
 +
:<code>I walk-to the market and [simultaneous] express something to-John.</code>
 +
:''I walk to the market and at the same time talk to John.''
 +
 +
{{ind|lojban-word-imported|I selma'o}}  {{ind|lojban-word-imported|JA selma'o}} 
 +
 +
{{ind|general-imported|tensed logical connectives|in ijoik…bo}}  {{ind|general-imported|tensed logical connectives|in ijek…bo}} Between an ijek (or ijoik) and {{vla|bo}}, as in:
 +
 +
{{dsp|example-random-id-AhnP}}{{example|interlinear-gloss-example|example-random-id-AhnP}}
 +
{{judri|c14e18d11}}
 +
{{ind|example|and then|example}}
 +
:'''mi viska pa nanmu .ijebabo mi viska pa ninmu'''
 +
:<code>I see a man. And [later] I see a woman.</code>
 +
:''I see a man, and then I see a woman.''
 +
 +
{{ind|lojban-word-imported|I selma'o}}  {{ind|lojban-word-imported|JOI selma'o}}  {{ind|lojban-word-imported|JA selma'o}} 
 +
 +
{ind|general-imported|tensed logical connectives|in ijoik…tu'e}}  {{ind|general-imported|tensed logical connectives|in ijek…tu'e}} Between an ijek (or ijoik) and {{vla|tu'e}}, as in:
 +
 +
{{dsp|example-random-id-GBgP}}{{example|interlinear-gloss-example|example-random-id-GBgP}}
 +
{{judri|c14e18d12}}
 +
{{ind|example|and then|example}}
 +
:'''mi viska pa nanmu .ijebatu'e mi viska pa ninmu [tu'u]'''
 +
:<code>I see a man. And [later] I see a woman.</code>
 +
:''I see a man, and then I see a woman.''
 +
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|lojban-word-imported|JOI selma'o}} 
 +
 +
{{ind|general-imported|tensed logical connectives|in joik…bo}}  {{ind|general-imported|tensed logical connectives|in jek…bo}} And finally, between a jek (or joik) and
 +
{{vla|bo}}, as in:
 +
 +
{{dsp|example-random-id-Ce09}}{{example|interlinear-gloss-example|example-random-id-Ce09}}
 +
{{judri|c14e18d13}}
 +
{{ind|example|doctor and then rich|example}}
 +
:'''mi mikce jebabo ricfu'''
 +
:<code>I-am-a doctor and [later] rich</code>
 +
:''I am a doctor and future rich person.''
 +
 +
{{ind|general-imported|tu'e|contrasted with bo for tensed logical connection}}  {{ind|general-imported|bo|contrasted with tu'e for tensed logical connection}}  {{ind|general-imported|ke|contrasted with bo for tensed logical connection}}  {{ind|general-imported|bo|contrasted with ke for tensed logical connection}} As can be seen from
 +
{{lex|example-random-id-AhnP}} and
 +
{{lex|example-random-id-GBgP}}, the choice between
 +
{{vla|bo}} and {{vla|ke}} (or {{vla|tu'e}}) is arbitrary when there are only two things to be connected. If there were no tense information to include, of course neither would be required; it is only the rule that tense information must always be sandwiched between the logical connective and a following {{vla|bo}},
 +
{{vla|ke}}, or {{vla|tu'e}} that requires the use of one of these grouping cmavo in {{lex|example-random-id-129L}} and {{lex|example-random-id-APPE}} through
 +
{{lex|example-random-id-Ce09}}.
 +
 +
{{ind|general-imported|mathematical expressions|tensed connection in}}  {{ind|general-imported|tensed connectives|in mathematical expressions}}  {{ind|general-imported|tensed non-logical connectives|forethought}}  {{ind|general-imported|tensed logical connectives|forethought}}  {{ind|general-imported|forethought connectives|with tense}}  {{ind|general-imported|tensed non-logical connectives}}  {{ind|general-imported|non-logical connectives|including tense}} Non-logical connectives with
 +
{{vla|bo}} and
 +
{{vla|ke}} can include tense information in exactly the same way as logical connectives. Forethought connectives, however (except as noted below) are unable to do so, as are termsets or tense connectives. Mathematical operands and operators can also include tense information in their logical connectives as a result of their close parallelism with sumti and tanru components respectively:
 +
 +
{{dsp|example-random-id-sgUo}}{{example|interlinear-gloss-example|example-random-id-sgUo}}
 +
{{judri|c14e18d14}}
 +
:'''vei ci .ebabo vo [ve'o] tadni cu zvati le kumfa'''
 +
:<code>( 3 and [future] 4 ) students are-at the room.</code>
 +
:''Three and, later, four students were in the room.''
 +
 +
{{ind|general-imported|forethought bridi-tail connection|special rule for tense}}  {{ind|general-imported|tense|in forethought bridi-tail connection|special rule}} is a simple example. There is a special grammatical rule for use when a tense applies to both of the selbri in a forethought bridi-tail connection: the entire forethought construction can just be preceded by a tense. For example:
 +
 +
{{dsp|example-random-id-DxuA}}{{example|interlinear-gloss-example|example-random-id-DxuA}}
 +
{{judri|c14e18d15}}
 +
{{ind|example|went and bought|example}}
 +
:'''mi pu ge klama le zarci gi tervecnu lo cidja'''
 +
:<code>I [past] both go-to the market and buy some food</code>
 +
:''I went to the market and bought some food.''
 +
 +
{{ind|lojban-word-imported|pu ge}} 
 +
 +
{{lex|example-random-id-DxuA}} is similar to
 +
{{lex|example-random-id-PMTu}}. There is no time relationship specified between the going and the buying; both are simply set in the past.
 +
 +
{{ssp|section-abstractors}}
 +
==Abstractor connection and connection within abstractions==
 +
{{ind|lojban-word-imported|JA selma'o}}  {{ind|lojban-word-imported|NU selma'o}}  {{ind|general-imported|jeks|connecting abstractors}}  {{ind|general-imported|abstractions|logical connection of}}  {{ind|general-imported|logical connection of abstractors}} Last and (as a matter of fact) least: a logical connective is allowed between abstraction markers of selma'o NU. As usual, the connection can be expanded to a bridi connection between two bridi which differ only in abstraction marker. Jeks are the appropriate connective.
 +
 +
{{lex|example-random-id-qGVP}} and
 +
{{lex|example-random-id-qgVR}} are equivalent in meaning:
 +
 +
{{dsp|example-random-id-qGVP}}{{example|interlinear-gloss-example|example-random-id-qGVP}}
 +
{{judri|c14e19d1}}
 +
{{ind|example|quality and quantity|example}}
 +
:'''le ka la frank. ciska cu xlali .ije le ni la frank. ciska cu xlali'''
 +
:<code>The quality-of Frank's writing is bad, and the quantity of Frank's writing is bad.</code>
 +
 +
{{dsp|example-random-id-qgVR}}{{example|interlinear-gloss-example|example-random-id-qgVR}}
 +
{{judri|c14e19d2}}
 +
{{ind|example|quality and quantity|example}}
 +
:'''le ka je ni la frank. ciska cu xlali'''
 +
:''The quality and quantity of Frank's writing is bad.''
 +
 +
{{ind|general-imported|abstractions|grouping of connectives in}}  {{ind|general-imported|grouping|of connection in abstractions}}  {{ind|general-imported|abstractions|forethought connection in}}  {{ind|general-imported|forethought connection|in abstractions}} As with tenses and modals, there is no forethought and no way to override the left-grouping rule.
 +
 +
{{ind|general-imported|logical connection|inside abstractions|contrasted with outside}}  {{ind|general-imported|logical connection|in abstractions|inner bridi contrasted with outer bridi}} Logical connectives and abstraction are related in another way as well, though. Since an abstraction contains a bridi, the bridi may have a logical connection inside it. Is it legitimate to split the outer bridi into two, joined by the logical connection? Absolutely not. For example:
 +
 +
{{dsp|example-random-id-f1uT}}{{example|interlinear-gloss-example|example-random-id-f1uT}}
 +
{{judri|c14e19d3}}
 +
{{ind|example|Jupiter life|example}}
 +
:'''mi jinvi le du'u loi jmive cu zvati gi'onai na zvati vau la .iupiter.'''
 +
:<code>I opine the fact-that a-mass-of living-things (is-at or-else isn't-at) Jupiter.</code>
 +
:''I believe there either is or isn't life on Jupiter.''
 +
 +
is true, since the embedded sentence is a tautology, but:
 +
 +
{{dsp|example-random-id-X69J}}{{example|interlinear-gloss-example|example-random-id-X69J}}
 +
{{judri|c14e19d4}}
 +
:'''mi jinvi le du'u loi jmive cu zvati la .iupiter. .ijonai mi jinvi le du'u loi jmive cu zvati la .iupiter.'''
 +
:<code>I opine the fact-that a-mass-of living-things is-at Jupiter or-else I opine the fact-that a-mass-of living-things isn't-at Jupiter</code>
 +
 +
is false, since I have no evidence one way or the other (
 +
{{vla|jinvi}} requires some sort of evidence, real or fancied, unlike
 +
{{vla|krici}}).
 +
 +
{{ssp|section-constructs-summary}}
 +
==Constructs and appropriate connectives==
 +
{{ind|general-imported|connectives|table by constructs connected}} The following table specifies, for each kind of construct that can be logically or non-logically connected in Lojban, what kind of connective is required for both afterthought and (when possible) forethought modes. An asterisk (*) indicates that tensed connection is permitted.
 +
 +
A dash indicates that connection of the specified type is not possible.
 +
 +
<tab class=wikitable header=true>
 +
construct afterthought logical forethought logical afterthought non-logical forethought non-logical
 +
bridi <link linkend="section-bridi-connection">ijek*</link> <link linkend="section-forethought-bridi-connection">gek</link> <link linkend="section-non-logical-continued">ijoik*</link> <link linkend="section-non-logical-continued-continued">joigik</link>
 +
sumti <link linkend="section-sumti-connection">ek*</link> <link linkend="section-sumti-connection">gek</link> <link linkend="section-non-logical-connectives">joik*</link> <link linkend="section-non-logical-continued-continued">joigik</link>
 +
bridi-tails <link linkend="section-compound-bridi">gihek*</link> <link linkend="section-multiple-compound-bridi">gek</link> - <link linkend="section-non-logical-continued-continued">joigik</link>
 +
termsets <link linkend="section-termsets">ek*</link> <link linkend="section-termsets">gek</link> <link linkend="section-termsets">joik*</link> <link linkend="section-termsets">joigik</link>
 +
tanru parts <link linkend="section-tanru">jek</link> <link linkend="section-tanru">guhek</link> <link linkend="section-tanru">joik*</link> -
 +
operands <link linkend="section-mekso-connections">ek*</link> <link linkend="section-mekso-connections">gek</link> <link linkend="section-mekso-connections">joik*</link> <link linkend="section-mekso-connections">joigik</link>
 +
operators <link linkend="section-mekso-connections">jek</link> <link linkend="section-mekso-connections">guhek</link> <link linkend="section-mekso-connections">joik</link> -
 +
tenses/modals <link linkend="section-sumtcita">jek</link> - <link linkend="section-sumtcita">joik</link> -
 +
abstractors <link linkend="section-abstractors">jek</link> - <link linkend="section-abstractors">joik</link> -
 +
</tab>
 +
 +
{{ssp|section-truth-functions-summary}}
 +
==Truth functions and corresponding logical connectives==
 +
{{ind|general-imported|logical connectives|table by truth function value}}  {{ind|general-imported|truth functions|table of logical connectives}} The following table specifies, for each truth function, the most-often used cmavo or compound cmavo which expresses it for each of the six types of logical connective. (Other compound cmavo are often possible: for example,
 +
{{vla|se}}{{vla|.a}} means the same as
 +
{{vla|a}}, and could be used instead.)
 +
 +
<tab class=wikitable header=true>
 +
truth ek jek gihek gek-gik guhek-gik
 +
TTTF {{vla|a}} {{vla|ja}} {{vla|gi'a}} {{vla|ga}}-{{vla|gi}} {{vla|gu'a}}-{{vla|gi}}
 +
TTFT {{vla|.a}}{{vla|nai}} {{vla|ja}}{{vla|nai}} {{vla|gi'a}}{{vla|nai}} {{vla|ga}}-{{vla|gi}}{{vla|nai}} {{vla|gu'a}}-{{vla|gi}}{{vla|nai}}
 +
TTFF {{vla|u}} {{vla|ju}} {{vla|gi'u}} {{vla|gu}}-{{vla|gi}} {{vla|gu'u}}-{{vla|gi}}
 +
TFTT {{vla|na}}{{vla|.a}} {{vla|na}}{{vla|ja}} {{vla|na}}{{vla|gi'a}} {{vla|ga}}{{vla|nai}}-{{vla|gi}} {{vla|gu'a}}{{vla|nai}}-{{vla|gi}}
 +
TFTF {{vla|se.u}} {{vla|seju}} {{vla|segi'u}} {{vla|segu}}-{{vla|gi}} {{vla|segu'u}}-{{vla|gi}}
 +
TFFT {{vla|o}} {{vla|jo}} {{vla|gi'o}} {{vla|go}}-{{vla|gi}} {{vla|gu'o}}-{{vla|gi}}
 +
TFFF {{vla|e}} {{vla|je}} {{vla|gi'e}} {{vla|ge}}-{{vla|gi}} {{vla|gu'e}}-{{vla|gi}}
 +
FTTT {{vla|na}}{{vla|.a}}{{vla|nai}} {{vla|na}}{{vla|ja}}{{vla|nai}} {{vla|na}}{{vla|gi'a}}{{vla|nai}} {{vla|ga}}{{vla|nai}}-{{vla|gi}}{{vla|nai}} {{vla|gu'a}}{{vla|nai}}-{{vla|gi}}{{vla|nai}}
 +
FTTF {{vla|.o}}{{vla|nai}} {{vla|jo}}{{vla|nai}} {{vla|gi'o}}{{vla|nai}} {{vla|go}}-{{vla|gi}}{{vla|nai}} {{vla|gu'o}}-{{vla|gi}}{{vla|nai}}
 +
FTFT {{vla|se.u}}{{vla|nai}} {{vla|seju}}{{vla|nai}} {{vla|segi'u}}{{vla|nai}} {{vla|segu}}-{{vla|gi}}{{vla|nai}} {{vla|segu'u}}-{{vla|gi}}{{vla|nai}}
 +
FTFF {{vla|.e}}{{vla|nai}} {{vla|je}}{{vla|nai}} {{vla|gi'e}}{{vla|nai}} {{vla|ge}}-{{vla|gi}}{{vla|nai}} {{vla|gu'e}}-{{vla|gi}}{{vla|nai}}
 +
FFTT {{vla|na}}{{vla|.u}} {{vla|na}}{{vla|ju}} {{vla|na}}{{vla|gi'u}} {{vla|gu}}{{vla|nai}}-{{vla|gi}} {{vla|gu'u}}{{vla|nai}}-{{vla|gi}}
 +
FFTF {{vla|na}}{{vla|.e}} {{vla|na}}{{vla|je}} {{vla|na}}{{vla|gi'e}} {{vla|ge}}{{vla|nai}}-{{vla|gi}} {{vla|gu'e}}{{vla|nai}}-{{vla|gi}}
 +
FFFT {{vla|na}}{{vla|.e}}{{vla|nai}} {{vla|na}}{{vla|je}}{{vla|nai}} {{vla|na}}{{vla|gi'e}}{{vla|nai}} {{vla|ge}}{{vla|nai}}-{{vla|gi}}{{vla|nai}} {{vla|gu'e}}{{vla|nai}}-{{vla|gi}}{{vla|nai}}
 +
</tab>
 +
Note: ijeks are exactly the same as the corresponding jeks, except for the prefixed
 +
{{vla|i}}.
 +
 +
{{ssp|section-construction-summary}}
 +
==Rules for making logical and non-logical connectives==
 +
{{ind|general-imported|non-logical connectives|syntax rules summary}}  {{ind|general-imported|logical connectives|syntax rules summary}} The full set of rules for inserting
 +
{{vla|na}},
 +
{{vla|se}}, and
 +
{{vla|nai}} into any connective is:
 +
 +
Afterthought logical connectives (eks, jeks, giheks, ijeks):
 +
*Negate first construct: Place {{vla|na}} before the connective cmavo (but after the {{vla|i}} of an ijek).
 +
*Negate second construct: Place {{vla|nai}} after the connective cmavo.
 +
*Exchange constructs: Place {{vla|se}} before the connective cmavo (after {{vla|na}} if any).
 +
 +
Forethought logical connectives (geks, guheks):
 +
*Negate first construct: Place
 +
{{vla|nai}} after the connective cmavo.
 +
*Negate second construct: Place
 +
{{vla|nai}} after the
 +
{{vla|gi}}.
 +
*Exchange constructs: Place
 +
{{vla|se}} before the connective cmavo.
 +
 +
Non-logical connectives (joiks, joigiks):
 +
*Negate connection: Place
 +
{{vla|nai}} after the connective cmavo (but before the
 +
{{vla|gi}} of a joigik).
 +
*Exchange constructs: Place
 +
{{vla|se}} before the connective cmavo.
 +
 +
{{ssp|section-other-tables}}
 +
==Locations of other tables==
 +
 +
{{ls|section-connectives-introduction}}: a table explaining the meaning of each truth function in English.
 +
 +
{{ls|section-four-basics}}: a table relating the truth functions to the four basic vowels.
 +
 +
{{ls|section-truth-and-connective-questions}}: a table of the connective question cmavo.
 +
 +
{{ls|section-non-logical-connectives}}: a table of the meanings of JOI cmavo when used to connect sumti.

Revision as of 14:47, 11 June 2014

Conjunctions

The picture for chapter 14

Logical connection and truth tables

Lojban is a logical language: the name of the language itself means

“logical language”. The fundamentals of ordinary logic (there are variant logics, which aren't addressed in this book) include the notions of a “sentence” (sometimes called a “statement” or “proposition”), which asserts a truth or falsehood, and a small set of “truth functions”, which combine two sentences to create a new sentence. The truth functions have the special characteristic that the truth value (that is, the truth or falsehood) of the results depends only on the truth value of the component sentences. For example,

Example .1:

John is a man or James is a woman.

is true if “John is a man” is true, or if “James is a woman” is true. If we know whether John is a man, and we know whether James is a woman, we know whether “John is a man or James is a woman” is true, provided we know the meaning of “or”. Here “John is a man” and “James is a woman” are the component sentences.

We will use the phrase “negating a sentence” to mean changing its truth value. An English sentence may always be negated by prefixing

“It is false that ...”, or more idiomatically by inserting “not” at the right point, generally before the verb. “James is not a woman” is the negation of “James is a woman”, and vice versa. Recent slang can also negate a sentence by following it with the exclamation “Not!”

Words like “or” are called “logical connectives”, and Lojban has many of them, as befits a logical language. This chapter is mostly concerned with explaining the forms and uses of the Lojban logical connectives. There are a number of other logical connectives in English such as “and”, “and/or”, “if”, “only if”, “whether or not”, and others; however, not every use of these English words corresponds to a logical connective. This point will be made clear in particular cases as needed. The other English meanings are supported by different Lojban connective constructs.

The Lojban connectives form a system (as the title of this chapter suggests), regular and predictable, whereas natural-language connectives are rather less systematic and therefore less predictable.

There exist 16 possible different truth functions. A truth table is a graphical device for specifying a truth function, making it clear what the value of the truth function is for every possible value of the component sentences. Here is a truth table for

“or”:

<tab class=wikitable header=true> first second result True True True True False True False True True False False False </tab> This table means that if the first sentence stated is true, and the second sentence stated is true, then the result of the truth function is also true. The same is true for every other possible combination of truth values except the one where both the first and the second sentences are false, in which case the truth value of the result is also false.

Suppose that “John is a man” is true (and “John is not a man” is false), and that “James is a woman” is false (and “James is not a woman” is true). Then the truth table tells us that

“John is a man, or James is not a woman” (true true ) is true
“John is a man, or James is a woman” (true , false) is true
“John is not a man, or James is not a woman” (false, true ) is true
“John is not a man, or James is a woman” (false, false) is false

Note that the kind of “or” used in this example can also be expressed (in formal English) with “and/or”. There is a different truth table for the kind of “or” that means “either ... or ... but not both”.

To save space, we will write truth tables in a shorter format henceforth. Let the letters T and F stand for True and False. The rows will always be given in the order shown above: TT, TF, FT, FF for the two sentences. Then it is only necessary to give the four letters from the result column, which can be written TTTF, as can be seen by reading down the third column of the table above. So TTTF is the abbreviated truth table for the

“or” truth function. Here are the 16 possible truth functions, with an English version of what it means to assert that each function is, in fact, true ( “first” refers to the first sentence, and “second” to the second sentence):

<tab class=wikitable header=true> TTTT (always true) TTTF first is true and/or second is true. TTFT first is true if second is true. TTFF first is true whether or not second is true. TFTT first is true only if second is true. TFTF whether or not first is true, second is true. TFFT first is true if and only if second is true. TFFF first is true and second is true FTTT first and second are not both true. FTTF first or second is true, but not both. FTFT whether or not first is true, second is false. FTFF first is true, but second is false. FFTT first is false whether or not second is true. FFTF first is false, but second is true. FFFT neither first nor second is true. FFFF (always false) </tab> Skeptics may work out the detailed truth tables for themselves.

The Four basic vowels

Lojban regards four of these 16 truth functions as fundamental, and assigns them the four vowels A, E, O, and U. These letters do not represent actual cmavo or selma'o, but rather a component vowel from which actual logical-connective cmavo are built up, as explained in the next section. Here are the four vowels, their truth tables, and rough English equivalents:

<tab class=wikitable header=true> A TTTF or, and/or E TFFF and O TFFT if and only if U TTFF whether or not </tab> More precisely:

A is true if either or both sentences are true
E is true if both sentences are true, but not otherwise
O is true if the sentences are both true or both false
U is true if the first sentence is true, regardless of the truth value of the second sentence

With the four vowels, the ability to negate either sentence, and the ability to exchange the sentences, as if their order had been reversed, we can create all of the 16 possible truth functions except TTTT and FFFF, which are fairly useless anyway. The following table illustrates how to create each of the 14 remaining truth functions:

<tab class=wikitable header=true> TTTF A TTFT A with second sentence negated TTFF U TFTT A with first sentence negated TFTF U with sentences exchanged TFFT O TFFF E FTTT A with both sentences negated FTTF O with either first or second negated (not both) FTFT U with sentences exchanged and then second negated FTFF E with second sentence negated FFTT U with first sentence negated FFTF E with first sentence negated FFFT E with both sentences negated </tab> Note that exchanging the sentences is only necessary with U. The three other basic truth functions are commutative; that is, they mean the same thing regardless of the order of the component sentences. There are other ways of getting some of these truth tables; these just happen to be the methods usually employed.

The six types of logical connectives

In order to remain unambiguous, Lojban cannot have only a single logical connective for each truth function. There are many places in the grammar of the language where logical connection is permitted, and each must have its appropriate set of connectives. If the connective suitable for sumti were used to connect selbri, ambiguity would result.

Consider the English sentence:

Example .2:

Mary went to the window and ...

where the last word could be followed by “the door”, a noun phrase, or by “saw the horses”, a sentence with subject omitted, or by “John went to the door”, a full sentence, or by one of a variety of other English grammatical constructions. Lojban cannot tolerate such grammatical looseness.

Instead, there are a total of five different selma'o used for logical connection: A, GA, GIhA, GUhA, and JA. Each of these includes four cmavo, one based on each of the four vowels, which is always the last vowel in the cmavo. In selma'o A, the vowel is the entire cmavo.

Thus, in selma'o A, the cmavo for the function A is a. (Do not confuse A, which is a selma'o, with A, which is a truth function, or a, which is a cmavo.) Likewise, the cmavo for E in selma'o GIhA is gi'e, and the cmavo for U in selma'o GA is gu. This systematic regularity makes the cmavo easier to learn.

Obviously, four cmavo are not enough to express the 14 truth functions explained in Section .1. Therefore, compound cmavo must be used. These compound cmavo follow a systematic pattern: each has one cmavo from the five logical connection selma'o at its heart, and may also contain one or more of the auxiliary cmavo se, na, or nai. Which auxiliaries are used with which logical connection cmavo, and with what grammar and meaning, will be explained in the following sections. The uses of each of these auxiliary cmavo relates to its other uses in other parts of Lojban grammar.

For convenience, each of the types of compound cmavo used for logical connection is designated by a Lojban name. The name is derived by changing the final “-A” of the selma'o name to “-ek”; the reasons for using “-ek” are buried deep in the history of the Loglan Project. Thus, compound cmavo based on selma'o A are known as eks, and those based on selma'o JA are known as jeks. (When writing in English, it is conventional to use “eks” as the plural of “ek”.) When the term “logical connective” is used in this chapter, it refers to one or more of these kinds of compound cmavo.

Why does the title of this section refer to “six types” when there are only five selma'o? A jek may be preceded by i, the usual Lojban cmavo for connecting two sentences. The compound produced by i followed by a jek is known as an ijek. It is useful to think of ijeks as a sixth kind of logical connective, parallel to eks, jeks, geks, giheks, and guheks.

There also exist giks, joiks, ijoiks, and joigiks, which are not logical connectives, but are other kinds of compound cmavo which will be introduced later.

Logical connection of bridi

Now we are ready to express Example .1 in Lojban! The kind of logical connective which is placed between two Lojban bridi to connect them logically is an ijek:

Example .3:

la djan. nanmu .ija la djeimyz. ninmu
John is-a-man or James is-a-woman.

Here we have two separate Lojban bridi, la djan. nanmu' and la djeimyz. ninmu. These bridi are connected by .i'ja, the ijek for the truth function A. The i portion of the ijek tells us that we are dealing with separate sentences here. Similarly, we can now say:

Example .4:

la djan. nanmu .ije la djeimyz. ninmu
John is-a-man and James is-a-woman.
Example .5:

la djan. nanmu .ijo la djeimyz. ninmu
John is-a-man if-and-only-if James is-a-woman.
Example .6:

la djan. nanmu .iju la djeimyz. ninmu
John is-a-man whether-or-not James is-a-woman.

To obtain the other truth tables listed in

Section .2, we need to know how to negate the two bridi which represent the component sentences. We could negate them directly by inserting na before the selbri, but Lojban also allows us to place the negation within the connective itself.

To negate the first or left-hand bridi, prefix na to the JA cmavo but after the i. To negate the second or right-hand bridi, suffix

-nai to the JA cmavo. In either case, the negating word is placed on the side of the connective that is closest to the bridi being negated.

So to express the truth table FTTF, which requires O with either of the two bridi negated (not both), we can say either:

Example .7:

la djan. nanmu .inajo la djeimyz. ninmu
John is-not-a-man if-and-only-if James is-a-woman.
Example .8:

la djan. nanmu .ijonai la djeimyz. ninmu
John is a man if-and-only-if James is-not-a-woman

The meaning of both Example .7 and Example .8 is the same as that of:

Example .9:

John is a man or James is a woman, but not both.

Here is another example:

Example .10:

la djan. nanmu .ijanai la djeimyz. ninmu
John is-a-man or James is-not-a-woman.
John is a man if James is a woman.

How's that again? Are those two English sentences in Example .10 really equivalent? In English, no. The Lojban TTFT truth function can be glossed “A if B”, but the “if” does not quite have its English sense. Example .10 is true so long as John is a man, even if James is not a woman; likewise, it is true just because James is not a woman, regardless of John's gender. This kind of “if-then” is technically known as a “material conditional”.

Since James is not a woman (by our assertions in Section .1), the English sentence “John is a man if James is a woman” seems to be neither true nor false, since it assumes something which is not true. It turns out to be most convenient to treat this “if” as TTFT, which on investigation means that Example .10 is true. Example .11, however, is equally true:

Example .11:

la djan. ninmu .ijanai la djeimyz. ninmu
John is a woman if James is a woman.

This can be thought of as a principle of consistency, and may be paraphrased as follows:

“If a false statement is true, any statement follows from it.” All uses of English “if” must be considered very carefully when translating into Lojban to see if they really fit this Lojban mold.

Example .12, which uses the TFTT truth function, is subject to the same rules: the stated gloss of TFTT as “only if” works naturally only when the right-hand bridi is false; if it is true, the left-hand bridi may be either true or false. The last gloss of Example .12 illustrates the use of “if ... then” as a more natural substitute for “only if”.

Example .12:

la djan. nanmu .inaja la djeimyz. ninmu
John is-not-a-man or James is-a-woman.
John is a man only if James is a woman.
If John is a man, then James is a woman.

The following example illustrates the use of se to, in effect, exchange the two sentences. The normal use of se is to (in effect) transpose places of a bridi, as explained in Section .

Example .13:

la djan. nanmu .iseju la djeimyz. ninmu
Whether or not John is a man, James is a woman.

If both na and se are present, which is legal but never necessary, na would come before se.

The full syntax of ijeks, therefore, is:

.i [na] [se] JA [nai] where the cmavo in brackets are optional.

Forethought bridi connection

Many concepts in Lojban are expressible in two different ways, generally referred to as “afterthought” and “forethought”. Section .4 discussed what is called “afterthought bridi logical connection”. The word

“afterthought” is used because the connective cmavo and the second bridi were added, as it were, afterwards and without changing the form of the first bridi. This form might be used by someone who makes a statement and then wishes to add or qualify that statement after it has been completed. Thus,

Example .14:

la djan. nanmu

is a complete bridi, and adding an afterthought connection to make

Example .15:

la djan. nanmu .ija la djeimyz. ninmu
John is a man or James is a woman (or both)

provides additional information without requiring any change in the form of what has come before; changes which may not be possible or practical, especially in speaking. (The meaning, however, may be changed by the use of a negating connective.) Afterthought connectives make it possible to construct all the important truth-functional relationships in a variety of ways.

In forethought style the speaker decides in advance, before expressing the first bridi, that a logical connection will be expressed. Forethought and afterthought connectives are expressed with separate selma'o. The forethought logical connectives corresponding to afterthought ijeks are geks:

Example .16:

ga la djan. nanmu gi la djeimyz. ninmu
Either John is a man or James is a woman (or both).

ga is the cmavo which represents the A truth function in selma'o GA. The word gi does not belong to GA at all, but constitutes its own selma'o: it serves only to separate the two bridi without having any content of its own. The English translation of gagi is “either ... or”, but in the English form the truth function is specified both by the word “either” and by the word “or”: not so in Lojban.

Even though two bridi are being connected, geks and giks do not have any

i in them. The forethought construct binds up the two bridi into a single sentence as far as the grammar is concerned.

Some more examples of forethought bridi connection are:

Example .17:

ge la djan. nanmu gi la djeimyz. ninmu
(It is true that) both John is a man and James is a woman.
Example .18:

gu la djan. nanmu gi la djeimyz. ninmu
It is true that John is a man, whether or not James is a woman.

It is worth emphasizing that Example .18 does not assert that James is (or is not) a woman. The gu which indicates that

la djeimyz. ninmu may be true or false is unfortunately rather remote from the bridi thus affected.

Perhaps the most important of the truth functions commonly expressed in forethought is TFTT, which can be paraphrased as “if ... then ...”:

Example .19:

ganai la djan. nanmu gi la djeimyz. ninmu
Either John is not a man, or James is a woman.
If John is a man, then James is a woman.

Note the placement of the nai in Example .19. When added to afterthought selma'o such as JA, a following nai negates the second bridi, to which it is adjacent. Since GA cmavo precede the first bridi, a following nai negates the first bridi instead.

Why does English insist on forethought in the translation of Example .19? Possibly because it would be confusing to seemingly assert a sentence and then make it conditional (which, as the Lojban form shows, involves a negation). Truth functions which involve negating the first sentence may be confusing, even to the Lojbanic understanding, when expressed using afterthought.

It must be reiterated here that not every use of English “if ... then” is properly translated by

.i'na'ja or ganaigi; anything with implications of time needs a somewhat different Lojban translation, which will be discussed in Section .18. Causal sentences like “If you feed the pig, then it will grow” are not logical connectives of any type, but rather need a translation using

rinka as the selbri joining two event abstractions, thus:

Example .20:

le nu do cidja dunda fi le xarju cu rinka le nu ri ba banro
The event-of (you food-give to the pig) causes the event-of (it will grow).

Causality is discussed in far more detail in Section .

Example .21 and Example .22 illustrates a truth function, FTTF, which needs to negate either the first or the second bridi. We already understand how to negate the first bridi:

Example .21:

gonai la djan. nanmu gi la djeimyz. ninmu
John is-not-a-man if-and-only-if James is-a-woman.
Either John is a man or James is a woman but not both.

How can the second bridi be negated? By adding

-nai to the

gi.

Example .22:

go la djan. nanmu ginai la djeimyz. ninmu
John is-a-man if-and-only-if James is-not-a-woman.
Either John is a man or James is a woman but not both.

A compound cmavo based on gi is called a gik; the only giks are

gi itself and 'gi'nai.

Further examples:

Example .23:

ge la djan. nanmu ginai la djeimyz. ninmu
John is-a-man and James is-not-a-woman.
Example .24:

ganai la djan. nanmu ginai la djeimyz. ninmu
John is-not-a-man or James is-not-a-woman.

The syntax of geks is:

[se] GA [nai] and of giks (which are not themselves connectives, but part of the machinery of forethought connection) is:

gi [nai]

sumti connection

Geks and ijeks are sufficient to state every possible logical connection between two bridi. However, it is often the case that two bridi to be logically connected have one or more portions in common:

Example .25:

la djan. klama le zarci .ije la .alis. klama le zarci
John goes to the market, and Alice goes to the market.

Here only a single sumti differs between the two bridi. Lojban does not require that both bridi be expressed in full. Instead, a single bridi can be given which contains both of the different sumti and uses a logical connective from a different selma'o to combine the two sumti:

Example .26:

la djan .e la .alis. klama le zarci
John and Alice go-to the market.

Example .26 means exactly the same thing as Example .25: one may be rigorously transformed into the other without any change of logical meaning. This rule is true in general for every different kind of logical connection in Lojban; all of them, with one exception (See Section .12), can always be transformed into a logical connection between sentences that expresses the same truth function.

The afterthought logical connectives between sumti are eks, which contain a connective cmavo of selma'o A. If ijeks were used in Example .26, the meaning would be changed:

Example .27:

la djan. .ije la .alis. klama le zarci
John [is/does something]. And Alices goes-to the market.

leaving the reader uncertain why John is mentioned at all.

Any ek may be used between sumti, even if there is no direct English equivalent:

Example .28:

la djan. .o la .alis. klama le zarci
John if-and-only-if Alice goes-to the market.
John goes to the market if, and only if, Alice does.

The second line of Example .27 is highly stilted English, but the first line (of which it is a literal translation) is excellent Lojban.

What about forethought sumti connection? As is the case for bridi connection, geks are appropriate. They are not the only selma'o of forethought logical-connectives, but are the most commonly used ones.

Example .29:

ga la djan. gi la .alis. klama le zarci
Either John or Alice (or both) goes-to the market.

Of course, eks include all the same patterns of compound cmavo that ijeks do. When na or se is part of an ek, a special writing convention is invoked, as in the following example:

Example .30:

la djan. na.a la .alis. klama le zarci
John only if Alice goes-to the market.
John goes to the market only if Alice does.

Note the period in 'na'.a. The cmavo of A begin with vowels, and therefore must always be preceded by a pause. It is conventional to write all connective compounds as single words (with no spaces), but this pause must still be marked in writing as in speech; otherwise, the na and a would tend to run together.

More than two propositions

So far we have seen logical connectives used to connect exactly two sentences. How about connecting three or more? Is this possible in Lojban? The answer is yes, subject to some warnings and some restrictions.

Of the four primitive truth functions A, E, O, and U, all but O have the same truth values no matter how their component sentences are associated in pairs. Therefore,

Example .31:

mi dotco .ije mi ricfu .ije mi nanmu
I am-German. And I am-rich. And I am-a-man.

means that all three component sentences are true. Likewise,

Example .32:

mi dotco .ija mi ricfu .ija mi nanmu
I am-German. Or I am-rich. Or I am-a-man.

means that one or more of the component sentences is true.

O, however, is different. Working out the truth table for

Example .33:

mi dotco .ijo mi ricfu .ijo mi nanmu
I am-German. If-and-only-if I am-rich. If-and-only-if I am-a-man.

shows that Example .33 does not mean that either I am all three of these things or none of them; instead, an accurate translation would be:

Of the three properties – German-ness, wealth, and manhood – I possess either exactly one or else all three.

Because of the counterintuitiveness of this outcome, it is safest to avoid O with more than two sentences. Likewise, the connectives which involve negation also have unexpected truth values when used with more than two sentences.

In fact, no combination of logical connectives can produce the “all or none” interpretation intended (but not achieved) by Example .33 without repeating one of the bridi. See Example .48.

There is an additional difficulty with the use of more than two sentences. What is the meaning of:

Example .34:

mi nelci la djan. .ije mi nelci la martas. .ija mi nelci la meris.
I like John. And I like Martha. Or I like Mary.

Does this mean:

Example .35:

I like John, and I like either Martha or Mary or both.

Or is the correct translation:

Example .36:

Either I like John and I like Martha, or I like Mary, or both.

Example .36 is the correct translation of Example .34. The reason is that Lojban logical connectives pair off from the left, like many constructs in the language. This rule, called the left-grouping rule, is easy to forget, especially when intuition pulls the other way. Forethought connectives are not subject to this problem:

Example .37:

ga ge mi nelci la djan. gi mi nelci la martas. gi mi nelci la meris.
Either (Both I like John and I like Martha) or I like Mary.

is equivalent in meaning to Example .34, whereas

Example .38:

ge mi nelci la djan. gi ga mi nelci la martas. gi mi nelci la meris.
Both I like John and (Either I like Martha or I like Mary).

is not equivalent to Example .34, but is instead a valid translation into Lojban, using forethought, of Example .35.

Grouping of afterthought connectives

There are several ways in Lojban to render Example .35 using afterthought only. The simplest method is to make use of the cmavo bo (of selma'o BO). This cmavo has several functions in Lojban, but is always associated with high precedence and short scope. In particular, if bo is placed after an ijek, the result is a grammatically distinct kind of ijek which overrides the regular left-grouping rule. Connections marked with bo are interpreted before connections not so marked. Example .39 is equivalent in meaning to Example .38:

Example .39:

mi nelci la djan. .ije mi nelci la martas. .ijabo mi nelci la meris.
I like John, and I like Martha or I like Mary.

The English translation feebly indicates with a comma what the Lojban marks far more clearly: the “I like Martha” and “I like Mary” sentences are joined by '.i'ja first, before the result is joined to “I like John” by '.i'je.

Eks can have bo attached in exactly the same way, so that Example .40 is equivalent in meaning to Example .39:

Example .40:

mi nelci la djan. .e la martas. .abo la meris.

Forethought connectives, however, never can be suffixed with bo, for every use of forethought connectives clearly indicates the intended pattern of grouping.

What happens if bo is used on both connectives, giving them the same high precedence, as in Example .41?

Example .41:

mi nelci la djan. .ebo la martas. .abo la meris.

Does this wind up meaning the same as Example .34 and Example .36? Not at all. A second rule relating to bo is that where several bo-marked connectives are used in succession, the normal Lojban left-grouping rule is replaced by a right-grouping rule. As a result,

Example .41 in fact means the same as Example .39 and Example .40. This rule may be occasionally exploited for special effects, but is tricky to keep straight; in writing intended to be easy to understand, multiple consecutive connectives marked with bo should be avoided.

The use of bo, therefore, gets tricky in complex connections of more than three sentences. Looking back at the English translations of Example .37 and Example .38, parentheses were used to clarify the grouping. These parentheses have their Lojban equivalents, two sets of them actually. tu'e and tu'u are used with ijeks, and ke and ke'e with eks and other connectives to be discussed later. ( ke and ke'e are also used in other roles in the language, but always as grouping markers). Consider the English sentence:

Example .42:

I kiss you and you kiss me, if I love you and you love me.

where the semantics tells us that the instances of “and” are meant to have higher precedence than that of “if”. If we wish to express Example .42 in afterthought, we can say:

Example .43:

mi cinba do .ije[bo] do cinba mi .ijanai mi prami do .ijebo do prami mi
I kiss you and you kiss me, if I love you and you love me.

marking two of the ijeks with bo for high precedence. (The first bo is not strictly necessary, because of the left-grouping rule, and is shown here in brackets.)

But it may be clearer to use explicit parenthesis words and say:

Example .44:

tu'e mi cinba do .ije do cinba mi tu'u .ijanai tu'e mi prami do .ije do prami mi [tu'u]
( I kiss you and you kiss me ) if ( I love you and you love me ).

where the tu'etu'u pairs set off the structure. The cmavo tu'u is an elidable terminator, and its second occurrence in Example .44 is bracketed, because all terminators may be elided at the end of a text.

In addition, parentheses are a general solution: multiple parentheses may be nested inside one another, and additional afterthought material may be added without upsetting the existing structure. Neither of these two advantages apply to bo grouping. In general, afterthought constructions trade generality for simplicity.

Because of the left-grouping rule, the first set of tu'etu'u parentheses may actually be left off altogether, producing:

Example .45:

mi cinba do .ije do cinba mi .ijanai tu'e mi prami do .ije do prami mi [tu'u]
I kiss you and you kiss me if ( I love you and you love me ).

What about parenthesized sumti connection? Consider

Example .46:

I walk to either the market and the house, or the school and the office.

Two pairs of parentheses, analogous to Example .44, would seem to be the right approach. However, it is a rule of Lojban grammar that a sumti may not begin with ke, so the first set of parentheses must be omitted, producing Example .47, which is instead parallel to Example .45:

Example .47:

mi dzukla le zarci .e le zdani .a ke le ckule .e le briju [ke'e]
I walk-to the market and the house or ( the school and the office ).

If sumti were allowed to begin with ke, unavoidable ambiguities would result, so ke grouping of sumti is allowed only just after a logical connective. This rule does not apply to tu'e grouping of bridi, as Example .44 shows.

Now we have enough facilities to handle the problem of Example .33: “I am German, rich, and a man – or else none of these.” The following paraphrase has the correct meaning:

Example .48:

[tu'e] mi dotco .ijo mi ricfu [tu'u] .ije tu'e mi dotco .ijo mi nanmu [tu'u]
( I am-German if-and-only-if I am-rich ) and (I am-German if-and-only-if I am-a-man ).

The truth table, when worked out, produces T if and only if all three component sentences are true or all three are false.

Compound bridi

So far we have seen how to handle two sentences that need have no similarity at all (bridi connection) and sentences that are identical except for a difference in one sumti (sumti connection). It would seem natural to ask how to logically connect sentences that are identical except for having different selbri.

Surprise! Lojban provides no logical connective that is designed to handle selbri and nothing else. Instead, selbri connection is provided as part of a more general-purpose mechanism called “compound bridi”. Compound bridi result from logically connecting sentences that differ in their selbri and possibly some of their sumti.

The simplest cases result when the x1 sumti is the only common point:

Example .49:

mi klama le zarci .ije mi nelci la djan.
I go to the market, and I like John.

is equivalent in meaning to the compound bridi:

Example .50:

mi klama le zarci gi'e nelci la djan.
I go-to the market and like John.

As Example .50 indicates, giheks are used in afterthought to create compound bridi;

gi'e is the gihek corresponding to “and”. The actual phrases

klama le zarci and
nelci la djan. that the gihek connects are known as

“bridi-tails”, because they represent (in this use) the “tail end” of a bridi, including the selbri and any following sumti, but excluding any sumti that precede the selbri:

Example .51:

mi ricfu gi'e klama le zarci
I am-rich and go-to the market.

In Example .51, the first bridi-tail is ricfu, a simple selbri, and the second bridi-tail is

klama le zarci, a selbri with one following sumti.

Suppose that more than a single sumti is identical between the two sentences:

Example .52:

mi dunda le cukta do .ije mi lebna lo rupnu do
I give the book to-you, and I take some currency-units from-you.

In Example .52, the first and last sumti of each bridi are identical; the selbri and the second sumti are different. By moving the final sumti to the beginning, a form analogous to Example .50 can be achieved:

Example .53:

fi do fa mi dunda le cukta gi'e lebna lo rupnu
to/from you I give the book and take some currency-units.

where the fi does not have an exact English translation because it merely places do in the third place of both lebna and dunda. However, a form that preserves natural sumti order also exists in Lojban. Giheks connect two bridi-tails, but also allow sumti to be added following the bridi-tail. These sumti are known as tail-terms, and apply to both bridi. The straightforward gihek version of Example .52 therefore is:

Example .54:

mi dunda le cukta gi'e lebna lo rupnu vau do
I (give the book) and (take some currency-units) to/from you.

The vau (of selma'o VAU) serves to separate the bridi-tail from the tail-terms. Every bridi-tail is terminated by an elidable vau, but only in connection with compound bridi is it ever necessary to express this

vau. Thus:

Example .55:

mi klama le zarci [vau]
I go-to the market.

has a single elided vau, and Example .50 is equivalent to:

Example .56:

mi klama le zarci [vau] gi'e nelci la djan. [vau] [vau]

where the double vau at the end of Example .56 terminates both the right-hand bridi-tail and the unexpressed tail-terms.

A final use of giheks is to combine bridi-tails used as complete sentences, the Lojban observative:

Example .57:

klama le zarci gi'e dzukla le briju
A goer to-the market and a walker to-the office.

Since x1 is omitted in both of the bridi underlying Example .57, this compound bridi does not necessarily imply that the goer and the walker are the same. Only the presence of an explicit x1 (other than

zo'e, which is equivalent to omission) can force the goer and the walker to be identical.

A strong argument for this convention is provided by analysis of the following example:

Example .58:

klama la nu,IORK. la finyks. gi'e klama la nu,IORK. la rom.
A goer to-New York from-Phoenix and a goer to-New York from-Rome.

If the rule were that the x1 places of the two underlying bridi were considered identical, then (since there is nothing special about x1), the unspecified x4 (route) and x5 (means) places would also have to be the same, leading to the absurd result that the route from Phoenix to New York is the same as the route from Rome to New York. Inserting da, meaning roughly “something”, into the x1 place cures the problem:

Example .59:

da klama la nu,IORK. la finyks. gi'e klama la nu,IORK. la rom.
Something is-a-goer to-New York from-Phoenix and is-a-goer to-New York from-Rome.

The syntax of giheks is:

[na] [se] GIhA [nai] which is exactly parallel to the syntax of eks.

Multiple compound bridi

Giheks can be combined with bo in the same way as eks:

Example .60:

mi nelci la djan. gi'e nelci la martas. gi'abo nelci la meris.
I like John and ( like Martha or like Mary ).

is equivalent in meaning to Example .39 and Example .40. Likewise, keke'e grouping can be used after giheks:

Example .61:

mi dzukla le zarci gi'e dzukla le zdani gi'a ke dzukla le ckule gi'e dzukla le briju [ke'e]
I walk-to the market and walk-to the house, or walk-to the school and walk-to the office.

is the gihek version of Example .47. The same rule about using keke'e bracketing only just after a connective applies to bridi-tails as to sumti, so the first two bridi-tails in Example .61 cannot be explicitly grouped; implicit left-grouping suffices to associate them.

Each of the pairs of bridi-tails joined by multiple giheks can have its own set of tail-terms:

Example .62:

mi dejni lo rupnu la djan. .inaja mi dunda le cukta la djan. .ijabo mi lebna le cukta la djan.
[If] I owe some currency-units to John, then I give the book to John or I take the book from John.

is equivalent in meaning to:

Example .63:

mi dejni lo rupnu nagi'a dunda gi'abo lebna vau le cukta vau la djan.
[If] I owe some currency-units then (give or take) a book to/from John.

The literal English translation in Example .63 is almost unintelligible, but the Lojban is perfectly grammatical. mi fills the x1 place of all three selbri;

lo rupnu is the x2 of

dejni, whereas

le cukta is a tail-term shared between

dunda and lebna;

la djan. is a tail-term shared by

dejni and by

dunda gi'abo lebna. In this case, greater clarity is probably achieved by moving
la djan. to the beginning of the sentence, as in

Example .53:

Example .64:

fi la djan. fa mi dejni lo rupnu nagi'a dunda gi'abo lebna vau le cukta
To/from John, [if] I owe some currency-units then [I] give or take the book.

Finally, what about forethought logical connection of bridi-tails? There is no direct mechanism for the purpose. Instead, Lojban grammar allows a pair of forethought-connected sentences to function as a single bridi-tail, and of course the sentences need not have terms before their selbri. For example:

Example .65:

mi ge klama le zarci gi nelci la djan.
I both go to the market and like John.

is equivalent in meaning to Example .50.

Of course, either of the connected sentences may contain giheks:

Example .66:

mi ge klama le zarci gi'e dzukla le zdani gi nelci la djan.
I both ( go to the market and walk to the house ) and like John.

The entire gek-connected sentence pair may be negated as a whole by prefixing na:

Example .67:

mi na ge klama le zarci gi dzukla le zdani
[False!] I both go to the market and walk to the house.

Since a pair of sentences joined by geks is the equivalent of a bridi-tail, it may be followed by tail terms. The forethought equivalent of Example .54 is:

Example .68:

mi ge dunda le cukta gi lebna lo rupnu vau do
I both ( give the book ) and ( take some currency-units ) to/from you.

Here is a pair of gek-connected observatives, a forethought equivalent of

Example .57:

Example .69:

ge klama le zarci gi dzukla le briju
Both a goer to-the market and a walker to-the office.

Finally, here is an example of gek-connected sentences with both shared and unshared terms before their selbri:

Example .70:

mi gonai le zarci cu klama gi le bisli cu dansu
I either-but-not-both to-the office go or on-the ice dance.
I either go to the office or dance on the ice (but not both).

Termset logical connection

So far we have seen sentences that differ in all components, and require bridi connection; sentences that differ in one sumti only, and permit sumti connection; and sentences that differ in the selbri and possibly one or more sumti, and permit bridi-tail connection. Termset logical connectives are employed for sentences that differ in more than one sumti but not in the selbri, such as:

Example .71:

I go to the market from the office and to the house from the school.

The Lojban version of Example .71 requires two termsets joined by a logical connective. A “term” is either a sumti or a sumti preceded by a tense or modal tag such as pu or bai. Afterthought termsets are formed by linking terms together by inserting the cmavo ce'e (of selma'o CEhE) between each of them. Furthermore, the logical connective (which is a jek) must be prefixed by the cmavo pe'e (of selma'o PEhE). (We could refer to the combination of

pe'e and a jek as a

“pehejek”, I suppose.)

Example .72:

mi klama le zarci ce'e le briju pe'e je le zdani ce'e le ckule
I go to-the market [plus] from-the office [joint] and to-the house [plus] from-the school.

The literal translation uses “[plus]” to indicate the termset connective, and “[joint]” to indicate the position of the logical connective joint. As usual, there is an equivalent bridi-connection form:

Example .73:

mi klama le zarci le briju .ije mi klama le zdani le ckule
I go to-the market from-the office, and I go to-the house from-the school.

which illustrates that the two bridi differ in the x2 and x3 places only.

What happens if the two joined sets of terms are of unequal length? Expanding to bridi connection will always make clear which term goes in which place of which bridi. It can happen that a sumti may fall in the x2 place of one bridi and the x3 place of another:

Example .74:

mi pe'e ja do ce'e le zarci cu klama le briju
I [joint] or you to-the market [plus] go to/from-the office.

can be clearly understood by expansion to:

Example .75:

mi klama le briju .ija do le zarci cu klama le briju
I go to-the office, or you to-the market go from-the office.

So

le briju is your origin but my destination, and thus falls in the x2 and x3 places of

klama simultaneously! This is legal because even though there is only one selbri, klama, there are two distinct bridi expressed here. In addition, mi in Example .74 is serving as a termset containing only one term. An analogous paradox applies to compound bridi with tail-terms and unequal numbers of sumti within the connected bridi-tails:

Example .76:

mi klama le zarci gi'e dzukla vau le briju
I ( go to-the market and walk ) to/from-the office.

means that I go to the market from the office, and I walk to the office;

le briju is the x3 place of

klama and the x2 place of dzukla.

Forethought termsets also exist, and use nu'i of selma'o NUhI to signal the beginning and nu'u of selma'o NUhU (an elidable terminator) to signal the end. Nothing is inserted between the individual terms: they simply sit side-by-side. To make a logical connection in a forethought termset, use a gek, with the gek just after the nu'i, and an extra nu'u just before the gik:

Example .77:

mi klama nu'i ge le zarci le briju nu'u gi le zdani le ckule [nu'u]
I go [start termset] both to-the market from-the office [joint] and to-the house from-the school [end termset].

Note that even though two termsets are being connected, only one nu'i is used.

The grammatical uses of termsets that do not contain logical connectives are explained in Section , Section , and Section .

Logical connection within tanru

As noted at the beginning of Section .9, there is no logical connective in Lojban that joins selbri and nothing but selbri. However, it is possible to have logical connectives within a selbri, forming a kind of tanru that involves a logical connection. Consider the simple tanru

blanu zdani, blue house. Now anything that is a blue ball, in the most ordinary understanding of the phrase at least, is both blue and a ball. And indeed, instead of
blanu bolci, Lojbanists can say
blanu je bolci, using a jek connective within the tanru. (We saw jeks used in

Section .11 also, but there they were always prefixed by pe'e; in this section they are used alone.) Here is a pair of examples:

Example .78:

ti blanu zdani
This is-a-blue type-of house.
Example .79:

ti blanu je zdani
This is-blue and a-house.

But of course Example .78 and Example .79 are not necessarily equivalent in meaning! It is the most elementary point about Lojban tanru that Example .78 might just as well mean

Example .80:

This is a house for blue inhabitants.

and Example .79 certainly is not equivalent in meaning to Example .80.

A full explanation of logical connection within tanru belongs rather to a discussion of selbri structure than to logical connectives in general. Why? Because although Example .79 happens to mean the same as

Example .81:

ti blanu gi'e zdani

and therefore as

Example .82:

ti blanu .ije ti zdani

the rule of expansion into separate bridi simply does not always work for tanru connection. Supposing Alice to be a person who lives in blue houses, then

Example .83:

la .alis. cu blanu je zdani prenu
Alice is-a ( blue and house ) type-of-person.

would be true, because tanru grouping with a jek has higher precedence than unmarked tanru grouping, but:

Example .84:

la .alis. cu blanu prenu .ije la .alis. cu zdani prenu
Alice is-a blue person, and Alice is-a house person.

is probably false, because the blueness is associated with the house, not with Alice, even leaving aside the question of what it means to say “Alice is a blue person”. (Perhaps she belongs to the Blue team, or is wearing blue clothes.) The semantic ambiguity of tanru make such logical manipulations impossible.

It suffices to note here, then, a few purely grammatical points about tanru logical connection.

bo may be appended to jeks as to eks, with the same rules:

Example .85:

la teris. cu ricfu je nakni jabo fetsi
Terry is rich and ( male or female ).

The components of tanru may be grouped with ke both before and after a logical connective:

Example .86:

la .teris. cu [ke] ricfu ja pindi [ke'e] je ke nakni ja fetsi [ke'e]
Terry is (rich or poor) and (male or female).

where the first keke'e pair may be omitted altogether by the rule of left-grouping, but is optionally permitted. In any case, the last instance of ke'e may be elided.

The syntax of jeks is:

[na] [se] JA [nai] parallel to eks and giheks.

Forethought tanru connection does not use geks, but uses guheks instead. Guheks have exactly the same form as geks:

[se] GUhA [nai] Using guheks in tanru connection (rather than geks) resolves what would otherwise be an unacceptable ambiguity between bridi-tail and tanru connection:

Example .87:

la .alis. gu'e ricfu gi fetsi
Alice is both rich and female.

Note that giks are used with guheks in exactly the same way they are used with geks. Like jeks, guheks bind more closely than unmarked tanru grouping does:

Example .88:

la .alis. gu'e blanu gi zdani prenu
Alice is-a-(both blue and a-house) type-of-person.

is the forethought version of Example .83.

A word of caution about the use of logically connected tanru within descriptions. English-based intuition can lead the speaker astray. In correctly reducing

Example .89:

mi viska pa nanmu .ije mi viska pa ninmu
I see a man, and I see a woman.

to

Example .90:

mi viska pa nanmu .e pa ninmu
I see a man and a woman.

there is a great temptation to reduce further to:

Example .91:

mi viska pa nanmu je ninmu
I see a man and woman.

But Example .91 means that you see one thing which is both a man and a woman simultaneously! A

nanmu je ninmu is a manwoman, a presumably non-existent creature who is both a

nanmu and a ninmu.

Truth questions and connective questions

So far we have addressed only sentences which are statements. Lojban, like all human languages, needs also to deal with sentences which are questions. There are many ways of asking questions in Lojban, but some of these (like questions about quantity, tense, and emotion) are discussed in other chapters.

The simplest kind of question is of the type “Is it true that ...” where some statement follows. This type is called a “truth question”, and can be represented in English by Example .92:

Example .92:

Is it true that Fido is a dog?

Is Fido a dog?

Note the two formulations. English truth questions can always be formed by prefixing “Is is true that” to the beginning of a statement; there is also usually a more idiomatic way involving putting the verb before its subject. “Is Fido a dog?” is the truth question corresponding to “Fido is a dog”. In Lojban, the equivalent mechanism is to prefix the cmavo xu (of selma'o UI) to the statement:

Example .93:

xu la faidon. gerku
Is-it-true-that Fido is-a-dog?

Example .92 and Example .93 are equivalent in meaning.

A truth question can be answered “yes” or “no”, depending on the truth or falsity, respectively, of the underlying statement. The standard way of saying “yes” in Lojban is go'i and of saying “no” is 'na'go'i. (The reasons for this rule are explained in

Section .) In answer to Example .93, the possible answers are:

Example .94:

go'i
Fido is a dog.

and

Example .95:

nago'i
Fido is not a dog.

Some English questions seemingly have the same form as the truth questions so far discussed. Consider

Example .96:

Is Fido a dog or a cat?

Superficially, Example .96 seems like a truth question with the underlying statement:

Example .97:

Fido is a dog or a cat.

By translating Example .97 into Lojban and prefixing xu to signal a truth question, we get:

Example .98:

xu la faidon. gerku gi'onai mlatu
Is-it-true-that Fido is-a-dog or is-a-cat (but not both)?

Given that Fido really is either a dog or a cat, the appropriate answer would be go'i; if Fido were a fish, the appropriate answer would be 'na'go'i.

But that is not what an English-speaker who utters Example .96 is asking! The true significance of Example .96 is that the speaker desires to know the truth value of either of the two underlying bridi (it is presupposed that only one is true).

Lojban has an elegant mechanism for rendering this kind of question which is very unlike that used in English. Instead of asking about the truth value of the connected bridi, Lojban users ask about the truth function which connects them. This is done by using a special question cmavo: there is one of these for each of the logical connective selma'o, as shown by the following table: <tab class=wikitable> cmavo selma'o subclass meaning ge'i GA forethought connective question gi'i GIhA bridi-tail connective question gu'i GUhA tanru forethought connective question je'i JA tanru connective question ji A sumti connective question </tab>

(This list unfortunately departs from the pretty regularity of the other cmavo for logical connection. The two-syllable selma'o, GIhA and GUhA, make use of the cmavo ending in “-i” which is not used for a truth function, but gi and i were not available, and different cmavo had to be chosen. This table must simply be memorized, like most other non-connective cmavo assignments.)

One correct translation of Example .96 employs a question gihek:

Example .99:

la .alis gerku gi'i mlatu
Alice is-a-dog [truth function?] is-a-cat?

Here are some plausible answers:

Example .100:

nagi'e
Alice is not a dog and is a cat.
Example .101:

gi'enai
Alice is a dog and is not a cat.
Example .102:

nagi'enai
Alice is not a dog and is not a cat.
Example .103:

nagi'o
gi'onai
Alice is a dog or is a cat but not both (I'm not saying which).

Example .103 is correct but uncooperative.

As usual, Lojban questions are answered by filling in the blank left by the question. Here the blank is a logical connective, and therefore it is grammatical in Lojban to utter a bare logical connective without anything for it to connect.

The answer gi'e, meaning that Alice is a dog and is a cat, is impossible in the real world, but for:

Example .104:

do djica tu'a loi ckafi ji loi tcati
You desire something-about a-mass-of coffee [truth function?] a-mass-of tea?
Do you want coffee or tea?

the answer e, meaning that I want both, is perfectly plausible, if not necessarily polite.

The forethought questions ge'i and

gu'i are used like the others, but ambiguity forbids the use of isolated forethought connectives as answers – they sound like the start of forethought-connected bridi. So although

Example .105 is the forethought version of Example .104:

Example .105:

do djica tu'a ge'i loi ckafi gi loi tcati
You desire something-about [truth function?] a-mass-of coffee [or] a-mass-of tea?

the answer must be in afterthought form.

There are natural languages, notably Chinese, which employ the Lojbanic form of connective question. The Chinese sentence

Example .106:

ni3 zou3 hai2shi pao3

means “Do you walk or run?”, and is exactly parallel to the Lojban:

Example .107:

do cadzu gi'i bajra
You walk [or?] run?

However, Chinese does not use logical connectives in the reply to such a question, so the resemblance, though striking, is superficial.

Truth questions may be used in bridi connection. This form of sentence is perfectly legitimate, and can be interpreted by using the convention that a truth question is true if the answer is “yes” and false if the answer is no. Analogously, an imperative sentence (involving the special pro-sumti ko, which means “you” but marks the sentence as a command) is true if the command is obeyed, and false otherwise. A request of Abraham Lincoln's may be translated thus:

Example .108:

ganai ti ckafi gi ko bevri loi tcati mi .ije ganai ti tcati gi ko bevri loi ckafi mi
If this is-coffee then [you!] bring a-mass-of tea to-me, and if this is-tea then [you!] bring a-mass-of coffee to-me.
If this is coffee, bring me tea; but if this is tea, bring me coffee.

In logical terms, however, “but” is the same as “and”; the difference is that the sentence after a “but” is felt to be in tension or opposition to the sentence before it. Lojban represents this distinction by adding the discursive cmavo ku'i (of selma'o UI), which is explained in

Section , to the logical '.i'je.)

Non-logical connectives

Way back in Section .1, the point was made that not every use of English “and”, “if ... then”, and so on represents a Lojban logical connective. In particular, consider the “and” of:

Example .109:

John and Alice carried the piano.

Given the nature of pianos, this probably means that John carried one end and Alice the other. So it is not true that:

Example .110:

John carried the piano, and Alice carried the piano.

which would mean that each of them carried the piano by himself/herself. Lojban deals with this particular linguistic phenomenon as a “mass”. John and Alice are joined together into a mass, John-and-Alice, and it is this mass which carried the piano, not either of them separately. The cmavo joi (of selma'o JOI) is used to join two or more components into a mass:

Example .111:

la djan. joi la .alis. cu bevri le pipno
John massed-with Alice carry the piano.

Example .111 covers the case mentioned, where John and Alice divide the labor; it also could mean that John did all the hauling and Alice did the supervising. This possibility arises because the properties of a mass are the properties of its components, which can lead to apparent contradictions: if John is small and Alice is large, then John-and-Alice is both small and large. Masses are also discussed in

Section .

Grammatically, joi can appear between two sumti (like an ek) or between two tanru components (like a jek). This flexibility must be paid for in the form of occasional terminators that cannot be elided:

Example .112:

le nanmu ku joi le ninmu [ku] cu klama le zarci
The man massed-with the woman go-to the market.

The cmavo ku is the elidable terminator for le, which can almost always be elided, but not in this case. If the first ku were elided here, Lojban's parsing rules would see le nanmu joi and assume that another tanru component is to follow; since the second le cannot be part of a tanru, a parsing error results. No such problem can occur with logical connectives, because an ek signals a following sumti and a jek a following tanru component unambiguously.

Single or compound cmavo involving members of selma'o JOI are called joiks, by analogy with the names for logical connectives. It is not grammatical to use joiks to connect bridi-tails.

In tanru, joi has the connotation “mixed with”, as in the following example:

Example .113:

ti blanu joi xunre bolci
This is-a-(blue mixed-with red) ball.
This is a blue and red ball.

Here the ball is neither wholly blue nor wholly red, but partly blue and partly red. Its blue/redness is a mass property. (Just how blue something has to be to count as “wholly blue” is an unsettled question, though. A

blanu zdani may be so even though not every part of it is blue.)

There are several other cmavo in selma'o JOI which can be used in the same grammatical constructions. Not all of them are well-defined as yet in all contexts. All have clear definitions as sumti connectives; those definitions are shown in the following table:

<tab class=wikitable header=true> A joi B the mass with components A and B A ce B the set with elements A and B A ce'o B the sequence with elements A and B in order A se'ce'o' B the sequence with elements B and A in order A jo'u B A and B considered jointly A fa'u B A and B respectively A se'fa'u' B B and A respectively A jo'e B the union of sets A and B A ku'a B the intersection of sets A and B A pi'u B the cross product of sets A and B A se'pi'u' B the cross product of sets B and A </tab> The cmavo se is grammatical before any JOI cmavo, but only useful with those that have inherent order. Here are some examples of joiks:

Example .114:

mi cuxna la .alis. la frank. ce la .alis. ce la djeimyz.
I choose Alice from Frank and-member Alice and-member James.
I choose Alice from among Frank, Alice, and James.

The x3 place of cuxna is a set from which the choice is being made. A set is an abstract object which is determined by specifying its members. Unlike those of a mass, the properties of a set are unrelated to its members' properties: the set of all rats is large (since many rats exist), but the rats themselves are small. This chapter does not attempt to explain set theory (the mathematical study of sets) in detail: explaining propositional logic is quite enough for one chapter!

In Example .114 we specify that set by listing the members with ce joining them.

Example .115:

ti liste mi ce'o do ce'o la djan.
This is-a-list-of me and-sequence you and-sequence John.
This is a list of you, me, and John.

The x2 place of liste is a sequence of the things which are mentioned in the list. (It is worth pointing out that

lo liste means a physical object such as a grocery list: a purely abstract list is
lo porsi, a sequence.) Here the three sumti connected by

ce'o are in a definite order, not just lumped together in a set or a mass.

So joi, ce, and ce'o are parallel, in that the sumti connected are taken to be individuals, and the result is something else: a mass, a set, or a sequence respectively. The cmavo

jo'u serves as a fourth element in this pattern: the sumti connected are individuals, and the result is still individuals – but inseparably so. The normal Lojban way of saying that James and George are brothers is:

Example .116:

la djeimyz. bruna la djordj.
James is-the-brother-of George.

possibly adding a discursive element meaning “and vice versa”. However, “James and George are brothers” cannot be correctly translated as:

Example .117:

la djeimyz. .e la djordj. bruna
James and George is-a-brother.

since that expands to two bridi and means that James is a brother and so is George, but not necessarily of each other. If the e is changed to jo'u, however, the meaning of

Example .116 is preserved:

Example .118:

la djeimyz. jo'u la djordj. cu remei bruna
James in-common-with George are-a-twosome type-of-brothers.

The tanru

remei bruna is not strictly necessary in this sentence, but is used to make clear that we are not saying that James and George are both brothers of some third person not specified. Alternatively, we could turn the tanru around: the x1 place of

're'mei is a mass with two components, leading to:

Example .119:

la djeimyz. joi la djordj. cu bruna remei
James massed-with George are-a-brother type-of-twosome.

where joi is used to create the necessary mass.

Likewise, fa'u can be used to put two individuals together where order matters. Typically, there will be another fa'u somewhere else in the same bridi:

Example .120:

la djeimyz. fa'u la djordj. prami la meris. fa'u la martas.
James jointly-in-order-with George loves Mary jointly-in-order-with Martha.
James and George love Mary and Martha, respectively.

Here the information carried by the English adverb “respectively”, namely that James loves Mary and George loves Martha, is divided between the two occurrences of fa'u. If both uses of fa'u were to be changed to e, we would get:

Example .121:

la djeimyz. .e la djordj. prami la meris. .e la martas.
James and George love Mary and Martha.

which can be transformed to four bridi:

Example .122:

la djeimyz. prami la meris. .ije la djordj. prami la meris. .ije la djeimyz. prami la martas. .ije la djordj. prami la martas.
James loves Mary, and George loves Mary, and James loves Martha, and George loves Martha.

which represents quite a different state of affairs from Example .120. The meaning of Example .120 can also be conveyed by a termset:

Example .123:

la djeimyz. ce'e la meris. pe'e .e la djordj. ce'e la martas. prami
James [plus] Mary [joint] and George [plus] Martha loves.

at the expense of re-ordering the list of names so as to make the pairs explicit. This option is not available when one of the lists is only described rather than enumerated:

Example .124:

la djeimyz. fa'u la djordj. prami re mensi
James and-respectively George love two sisters.

which conveys that James loves one sister and George the other, though we are not able to tell which of the sisters is which.

More about non-logical connectives

The final three JOI cmavo, jo'e, ku'a, and pi'u, are probably only useful when talking explicitly about sets. They represent three standard set operators usually called “union”, “intersection”, and “cross product” (also known as “Cartesian product”). The union of two sets is a set containing all the members that are in either set; the intersection of two sets is a set containing all the members that are in both sets. The cross product of two sets is the set of all possible ordered pairs, where each ordered pair contains a single element from the first set followed by a single element from the second. This may seem very abstract; hopefully, the following examples will help:

Example .125:

lo'i ricfu ku jo'e lo'i dotco cu barda
The-set-of rich-things union the-set-of German-things is large.
Example .126:

lo'i ricfu ku ku'a lo'i dotco cu cmalu
The set-of rich-things intersection the-set-of German-things is small.

There is a parallelism between logic and set theory that makes Example .125 and Example .126 equivalent respectively to:

Example .127:

lo'i ricfu ja dotco cu barda
The-set-of rich-or-German-things is large.

and

Example .128:

lo'i ricfu je dotco cu cmalu
The-set-of rich-and-German-things is small.

The following example uses

se remei, which is a set (not a mass) of two elements:
Example .129:

la djeimyz. ce[bo] la djordj. pi'u la meris. cebo la martas. cu prami se remei
James and-set George cross-product Mary and-set Martha are-lover type-of-pairs.

means that each of the pairs James/Mary, George/Mary, James/Martha, and George/Martha love each other. Therefore it is similar in meaning to Example .121; however, that example speaks only of the men loving the women, not vice versa.

Joiks may be combined with bo or with ke in the same way as eks and jeks; this allows grouping of non-logical connections between sumti and tanru units, in complete parallelism with logical connections:

Example .130:

mi joibo do ce la djan. joibo la djein. cu gunma se remei
(I massed-with you) and (John massed-with Jane) are-a-mass type-of-two-set

asserts that there is a set of two items each of which is a mass.

Non-logical connection is permitted at the joint of a termset; this is useful for associating more than one sumti or tagged sumti with each side of the non-logical connection. The place structure of

casnu is:

<definition>casnu :the mass x1 discusses/talks about x2 so the x1 place must be occupied by a mass (for reasons not explained here); however, different components of the mass may discuss in different languages. To associate each participant with his or her language, we can say:

Example .131:

mi ce'e bau la lojban. pe'e joi do ce'e bau la gliban. nu'u casnu
( I [plus] in-language Lojban massed-with you [plus] in-language English ) discuss.

Like all non-logical connectives, the usage shown in Example .131 cannot be mechanically converted into a non-logical connective placed at another location in the bridi. The forethought equivalent of Example .131 is:

Example .132:

nu'i joigi mi bau la lojban gi do bau la gliban. nu'u casnu

Non-logical forethought termsets are also useful when the things to be non-logically connected are sumti preceded with tense or modal (BAI) tags:

Example .133:

la djan. fa'u la frank. cusku nu'i bau la lojban. nu'u fa'u bai tu'a la djordj. [nu'u]
John respectively-with Frank express [start termset] in-language Lojban [joint] respectively-with under-compulsion-by George.
John and Frank speak in Lojban and under George's compulsion, respectively.

Example .133 associates speaking in Lojban with John, and speaking under George's compulsion with Frank. We do not know what language Frank uses, or whether John speaks under anyone's compulsion.

Joiks may be prefixed with i to produce ijoiks, which serve to non-logically connect sentences. The ijoik

'.i'ce'o indicates that the event of the second bridi follows that of the first bridi in some way other than a time relationship (which is handled with a tense):

Example .134:

mi ba gasnu la'edi'e .i tu'e kanji lo ni cteki .ice'o lumci le karce .ice'o dzukansa le gerku tu'u
I [future] do the-referent-of-the-following: ( Compute the quantity of taxes. And-then wash the car. And-then walkingly-accompany the dog. )
List of things to do: Figure taxes. Wash car. Walk dog.

Example .134 represents a list of things to be done in priority order. The order is important, hence the need for a sequence connective, but does not necessarily represent a time order (the dog may end up getting walked first). Note the use of tu'e and tu'u as general brackets around the whole list. This is related to, but distinct from, their use in Section .8, because there is no logical connective between the introductory phrase

mi ba gasnu la'edi'e and the rest. The brackets effectively show how large an utterance the word

di'e, which means

“the following utterance”, refers to.

Similarly, '.i'joi is used to connect sentences that represent the components of a joint event such as a joint cause: the Lojban equivalent of “Fran hit her head and fell out of the boat, so that she drowned” would join the events “Fran hit her head” and “Fran fell out of the boat” with '.i'joi.

The following nai, if present, does not negate either of the things to be connected, but instead specifies that some other connection (logical or non-logical) is applicable: it is a scalar negation:

Example .135:

mi jo'unai do cu remei
I in-common-with [not!] you are-a-twosome

The result of

mi jo'u do would be two individuals, not a mass, therefore

jo'u is not applicable;

joi would be the correct connective.

There is no joik question cmavo as such; however, joiks and ijoiks may be uttered in isolation in response to a logical connective question, as in the following exchange:

Example .136:

do djica tu'a loi ckafi ji loi tcati
You desire something-about a-mass-of coffee [what connective?] a-mass-of tea?
Do you want coffee or tea?
Example .137:

joi
Mixed-mass-and.
Both as a mass (i.e, mixed together).

Ugh. (Or in Lojban: .a'u'nai'sai'ro'o'.)

Interval connectives and forethought non-logical connection

In addition to the non-logical connectives of selma'o JOI explained in Section .14 and Section .15, there are three other connectives which can appear in joiks: bi'i, bi'o, and mi'i, all of selma'o BIhI. The first two cmavo are used to specify intervals: abstract objects defined by two endpoints. The cmavo

bi'i is correct if the endpoints are independent of order, whereas bi'o or 'se'bi'o are used when order matters.

An example of bi'i in sumti connection:

Example .138:

mi ca sanli la drezdn. bi'i la frankfurt.
I [present] stand-on-surface Dresden [interval] Frankfurt.
I am standing between Dresden and Frankfurt.

In Example .138, it is all the same whether I am standing between Dresden and Frankfurt or between Frankfurt and Dresden, so

bi'i is the appropriate interval connective. The sumti

la drezdn. bi'i la frankfurt. falls into the x2 place of

sanli, which is the surface I stand on; the interval specifies that surface by its limits. (Obviously, I am not standing on the whole of the interval; the x2 place of sanli specifies a surface which is typically larger in extent than just the size of the stander's feet.)

Example .139:

mi cadzu ca la pacac. bi'o la recac.
I walk simultaneous-with First-hour [ordered-interval] Second-hour.
I walk from one o'clock to two o'clock.

In Example .139, on the other hand, it is essential that

la pacac. comes before
la recac.; otherwise we have an 11-hour (or 23-hour) interval rather than a one-hour interval. In this use of an interval, the whole interval is probably intended, or at least most of it.

Example .139 is equivalent to:

Example .140:

mi cadzu ca la recac. sebi'o la pacac.
I walk simultaneous-with Second-hour [reverse] [ordered] First-hour.

English cannot readily express 'se'bi'o, but its meaning can be understood by reversing the two sumti.

The third cmavo of selma'o BIhI, namely mi'i, expresses an interval seen from a different viewpoint: not a pair of endpoints, but a center point and a distance. For example:

Example .141:

le jbama pu daspo la .uacintyn. mi'i lo minli be li muno
The bomb [past] destroys Washington [center] what-is measured-in-miles by 50.
The bomb destroyed Washington and fifty miles around.

Here we have an interval whose center is Washington and whose distance, or radius, is fifty miles.

In Example .138, is it possible that I am standing in Dresden (or Frankfurt) itself? Yes. The connectives of selma'o BIhI are ambiguous about whether the endpoints themselves are included in or excluded from the interval. Two auxiliary cmavo ga'o and ke'i (of cmavo GAhO) are used to indicate the status of the endpoints: ga'o means that the endpoint is included, ke'i that it is excluded:

Example .142:

mi ca sanli la drezdn. ga'o bi'i ga'o la frankfurt.
I [present] stand Dresden [inclusive] [interval] [inclusive] Frankfurt.
I am standing between Dresden and Frankfurt, inclusive of both.
Example .143:

mi ca sanli la drezdn. ga'o bi'i ke'i la frankfurt.
I [present] stand Dresden [inclusive] [interval] [exclusive] Frankfurt.
I am standing between Dresden (inclusive) and Frankfurt (exclusive).
Example .144:

mi ca sanli la drezdn. ke'i bi'i ga'o la frankfurt.
I [present] stand Dresden [exclusive] [interval] [inclusive] Frankfurt.
I am standing between Dresden (exclusive) and Frankfurt (inclusive).
Example .145:

mi ca sanli la drezdn. ke'i bi'i ke'i la frankfurt.
I [present] stand Dresden [exclusive] [interval] [exclusive] Frankfurt.
I am standing between Dresden and Frankfurt, exclusive of both.

As these examples should make clear, the GAhO cmavo that applies to a given endpoint is the one that stands physically adjacent to it: the left-hand endpoint is referred to by the first GAhO, and the right-hand endpoint by the second GAhO. It is ungrammatical to have just one GAhO.

(Etymologically, ga'o is derived from ganlo, which means “closed”, and ke'i from kalri, which means “open”. In mathematics, inclusive intervals are referred to as closed intervals, and exclusive intervals as open ones.)

BIhI joiks are grammatical anywhere that other joiks are, including in tanru connection and (as ijoiks) between sentences. No meanings have been found for these uses.

Negated intervals, marked with a

-nai following the BIhI cmavo, indicate an interval that includes everything but what is between the endpoints (with respect to some understood scale):
Example .146:

do dicra .e'a mi ca la daucac. bi'onai la gaicac.
You disturb (allowed) me at 10 not-from ... to 12
You can contact me except from 10 to 12.

The complete syntax of joiks is:

  • [se] JOI [nai]
  • [se] BIhI [nai]
  • GAhO [se] BIhI [nai] GAhO

Notice that the colloquial English translations of bi'i and bi'o have forethought form: “between ... and” for bi'i, and “from ... to” for bi'o. In Lojban too, non-logical connectives can be expressed in forethought. Rather than using a separate selma'o, the forethought logical connectives are constructed from the afterthought ones by suffixing gi. Such a compound cmavo is not unnaturally called a “joigik”; the syntax of joigiks is any of:

  • [se] JOI [nai] GI
  • [se] BIhI [nai] GI
  • GAhO [se] BIhI [nai] GAhO GI

Joigiks may be used to non-logically connect bridi, sumti, and bridi-tails; and also in termsets.

Example .111 in forethought becomes:

Example .147:

joigi la djan. gi la .alis. bevri le pipno
[Together] John and Alice carry the piano.

The first gi is part of the joigik; the second gi is the regular gik that separates the two things being connected in all forethought forms.

Example .143 can be expressed in forethought as:

Example .148:

mi ca sanli ke'i bi'i ga'o gi la drezdn. gi la frankfurt.
I [present] stand [exclusive] between [inclusive] Dresden and Frankfurt.
I am standing between Dresden (exclusive) and Frankfurt (inclusive).

In forethought, unfortunately, the GAhOs become physically separated from the endpoints, but the same rule applies: the first GAhO refers to the first endpoint.

Logical and non-logical connectives within mekso

Lojban has a separate grammar embedded within the main grammar for representing mathematical expressions (or mekso in Lojban) such as “2 + 2”. Mathematical expressions are explained fully in Chapter ELG-ERROR in Template:Lch. The basic components of mekso are operands, like “2”, and operators, like “+”. Both of these may be either logically or non-logically connected.

Operands are connected in afterthought with eks and in forethought with geks, just like sumti. Operators, on the other hand, are connected in afterthought with jeks and in forethought with guheks, just like tanru components. (However, jeks and joiks with

bo are not allowed for operators.) This parallelism is no accident.

In addition, eks with bo and with keke'e are allowed for grouping logically connected operands, and keke'e is allowed for grouping logically connected operators, although there is no analogue of tanru among the operators.

Only a few examples of each kind of mekso connection will be given. Despite the large number of rules required to support this feature, it is of relatively minor importance in either the mekso or the logical-connective scheme of things. These examples are drawn from Section , and contain many mekso features not explained in this chapter.

Example .149 exhibits afterthought logical connection between operands:

Example .149:

vei ci .a vo [ve'o] prenu cu klama le zarci
( Three or four ) people go-to the market.

Example .150 is equivalent in meaning, but uses forethought connection:

Example .150:

vei ga ci gi vo [ve'o] prenu cu klama le zarci
( Either 3 or 4 ) people go-to the market.

Note that the mekso in Example .149 and Example .150 are being used as quantifiers. Lojban requires that any mekso other than a simple number be enclosed in vei and ve'o parentheses when used as a quantifier. The right parenthesis mark, ve'o, is an elidable terminator.

Simple examples of logical connection between operators are hard to come by. A contrived example is:

Example .151:

li re su'i je pi'i re du li vo
The-number 2 plus and times 2 equals the-number 4.
{{{1}}} and {{{1}}}.

The forethought form of Example .151 is:

Example .152:

li re ge su'i gi pi'i re du li vo
The-number two both plus and times two equals the-number four.
Both {{{1}}} and {{{1}}}.

Non-logical connection with joiks or joigiks is also permitted between operands and between operators. One use for this construct is to connect operands with

bi'i to create mathematical intervals:

Example .153:

li no ga'o bi'i ke'i pa
the-number zero (inclusive) from-to (exclusive) one

[0,1)

the numbers from zero to one, including zero but not including one

You can also combine two operands with ce'o, the sequence connective of selma'o JOI, to make a compound subscript:

Example .154:

xy. boi xi vei by. ce'o dy. [ve'o]
“x” sub ( “b” sequence “d”)
x<subscript>b,d</subscript>

Note that the boi in Example .154 is not elidable, because the xi subscript needs something to attach to.

Tenses, modals, and logical connection

The tense and modal systems of Lojban interact with the logical connective system. No one chapter can explain all of these simultaneously, so each chapter must present its own view of the area of interaction with emphasis on its own concepts and terminology. In the examples of this chapter, the many tenses of various selma'o as well as the modals of selma'o BAI are represented by the simple time cmavo pu, ca, and ba (of selma'o PU) representing the past, the present, and the future respectively. Preceding a selbri, these cmavo state the time when the bridi was, is, or will be true (analogous to English verb tenses); preceding a sumti, they state that the event of the main bridi is before, simultaneous with, or after the event given by the sumti (which is generally a le nu abstraction; See Section ).

The two types of interaction between tenses and logical connectives are logically connected tenses and tensed logical connections. The former are fairly simple. Jeks may be used between tense cmavo to specify two connected bridi that differ only in tense:

Example .155:

la .artr. pu nolraitru .ije la .artr. ba nolraitru
Arthur [past] is-a-noblest-governor. And Arthur [future] is-a-noblest-governor.
Arthur was a king, and Arthur will be a king.

can be reduced to:

Example .156:

la .artr. pu je ba nolraitru
Arthur [past] and [future] is-a-noblest-governor.
Arthur was and will be king.

Example .155 and Example .156 are equivalent in meaning; neither says anything about whether Arthur is king now.

Non-logical connection with joiks is also possible between tenses:

Example .157:

mi pu bi'o ba vasxu
I [past] from ... to [future] breathe.
I breathe from a past time until a future time.

The full tense system makes more interesting tense intervals expressible, such as “from a medium time ago until a long time from now”.

No forethought connections between tenses are permitted by the grammar, nor is there any way to override the default left-grouping rule; these limitations are imposed to keep the tense grammar simpler. Whatever can be said with tenses or modals can be said with subordinate bridi stating the time, place, or mode explicitly, so it is reasonable to try to remove at least some complications.

Tensed logical connections are both more complex and more important than logical connections between tenses. Consider the English sentence:

Example .158:

I went to the market, and I bought food.

The verbatim translation of Example .158, namely:

Example .159:

mi pu klama le zarci .ije mi pu tervecnu lo cidja
I [past] go-to the market. And I [past] buy items-of food.

fails to fully represent a feature of the English, namely that the buying came after the going. (It also fails to represent that the buying was a consequence of the going, which can be expressed by a modal that is discussed in Chapter ELG-ERROR in Template:Lch.) However, the tense information – that the event of my going to the market preceded the event of my buying food – can be added to the logical connective as follows. The '.i'je is replaced by .i'je'bo, and the tense cmavo ba is inserted between '.i'je and bo:

Example .160:

mi pu klama le zarci .ijebabo mi pu tervecnu lo cidja
I [past] go-to the market. And [later] I [past] buy items-of food.

Here the pu cmavo in the two bridi-tails express the time of both actions with respect to the speaker: in the past. The ba relates the two items to one another: the second item is later than the first item. The grammar does not permit omitting the bo; if it were omitted, the ba and the second pu would run together to form a compound tense

bapu applying to the second bridi-tail only.

Adding tense or modal information to a logical connective is permitted only in the following situations:

Between an ek (or joik) and bo, as in:

Example .161:

la .djan .ecabo la .alis. klama le zarci
John and [simultaneous] Alice go-to the market.
John and Alice go to the market simultaneously.

Between an ek (or joik) and ke, as in:

Example .162:

mi dzukla le zarci .epuke le zdani .a le ckule [ke'e]
I walk-to the market and [earlier] ( the house or the school ).
I walk to the market and, before that, to the house or the school.

Between a gihek and bo, as in:

Example .163:

mi dunda le cukta gi'ebabo lebna lo rupnu vau do
I give the book and [later] take some currency-units from/to you.
I give you the book and then take some dollars (pounds, yen) from you.

Between a gihek and ke, as in:

Example .164:

mi dzukla le zarci gi'ecake cusku zo'e la djan. [ke'e]
I walk-to the market and [simultaneous] express something to-John.
I walk to the market and at the same time talk to John.

Between an ijek (or ijoik) and bo, as in:

Example .165:

mi viska pa nanmu .ijebabo mi viska pa ninmu
I see a man. And [later] I see a woman.
I see a man, and then I see a woman.

{ind|general-imported|tensed logical connectives|in ijoik…tu'e}} Between an ijek (or ijoik) and tu'e, as in:

Example .166:

mi viska pa nanmu .ijebatu'e mi viska pa ninmu [tu'u]
I see a man. And [later] I see a woman.
I see a man, and then I see a woman.

And finally, between a jek (or joik) and bo, as in:

Example .167:

mi mikce jebabo ricfu
I-am-a doctor and [later] rich
I am a doctor and future rich person.

As can be seen from Example .165 and Example .166, the choice between bo and ke (or tu'e) is arbitrary when there are only two things to be connected. If there were no tense information to include, of course neither would be required; it is only the rule that tense information must always be sandwiched between the logical connective and a following bo, ke, or tu'e that requires the use of one of these grouping cmavo in Example .161 and Example .163 through Example .167.

Non-logical connectives with bo and ke can include tense information in exactly the same way as logical connectives. Forethought connectives, however (except as noted below) are unable to do so, as are termsets or tense connectives. Mathematical operands and operators can also include tense information in their logical connectives as a result of their close parallelism with sumti and tanru components respectively:

Example .168:

vei ci .ebabo vo [ve'o] tadni cu zvati le kumfa
( 3 and [future] 4 ) students are-at the room.
Three and, later, four students were in the room.

is a simple example. There is a special grammatical rule for use when a tense applies to both of the selbri in a forethought bridi-tail connection: the entire forethought construction can just be preceded by a tense. For example:

Example .169:

mi pu ge klama le zarci gi tervecnu lo cidja
I [past] both go-to the market and buy some food
I went to the market and bought some food.

Example .169 is similar to Example .159. There is no time relationship specified between the going and the buying; both are simply set in the past.

Abstractor connection and connection within abstractions

Last and (as a matter of fact) least: a logical connective is allowed between abstraction markers of selma'o NU. As usual, the connection can be expanded to a bridi connection between two bridi which differ only in abstraction marker. Jeks are the appropriate connective.

Example .170 and Example .171 are equivalent in meaning:

Example .170:

le ka la frank. ciska cu xlali .ije le ni la frank. ciska cu xlali
The quality-of Frank's writing is bad, and the quantity of Frank's writing is bad.
Example .171:

le ka je ni la frank. ciska cu xlali
The quality and quantity of Frank's writing is bad.

As with tenses and modals, there is no forethought and no way to override the left-grouping rule.

Logical connectives and abstraction are related in another way as well, though. Since an abstraction contains a bridi, the bridi may have a logical connection inside it. Is it legitimate to split the outer bridi into two, joined by the logical connection? Absolutely not. For example:

Example .172:

mi jinvi le du'u loi jmive cu zvati gi'onai na zvati vau la .iupiter.
I opine the fact-that a-mass-of living-things (is-at or-else isn't-at) Jupiter.
I believe there either is or isn't life on Jupiter.

is true, since the embedded sentence is a tautology, but:

Example .173:

mi jinvi le du'u loi jmive cu zvati la .iupiter. .ijonai mi jinvi le du'u loi jmive cu zvati la .iupiter.
I opine the fact-that a-mass-of living-things is-at Jupiter or-else I opine the fact-that a-mass-of living-things isn't-at Jupiter

is false, since I have no evidence one way or the other ( jinvi requires some sort of evidence, real or fancied, unlike krici).

Constructs and appropriate connectives

The following table specifies, for each kind of construct that can be logically or non-logically connected in Lojban, what kind of connective is required for both afterthought and (when possible) forethought modes. An asterisk (*) indicates that tensed connection is permitted.

A dash indicates that connection of the specified type is not possible.

<tab class=wikitable header=true> construct afterthought logical forethought logical afterthought non-logical forethought non-logical bridi <link linkend="section-bridi-connection">ijek*</link> <link linkend="section-forethought-bridi-connection">gek</link> <link linkend="section-non-logical-continued">ijoik*</link> <link linkend="section-non-logical-continued-continued">joigik</link> sumti <link linkend="section-sumti-connection">ek*</link> <link linkend="section-sumti-connection">gek</link> <link linkend="section-non-logical-connectives">joik*</link> <link linkend="section-non-logical-continued-continued">joigik</link> bridi-tails <link linkend="section-compound-bridi">gihek*</link> <link linkend="section-multiple-compound-bridi">gek</link> - <link linkend="section-non-logical-continued-continued">joigik</link> termsets <link linkend="section-termsets">ek*</link> <link linkend="section-termsets">gek</link> <link linkend="section-termsets">joik*</link> <link linkend="section-termsets">joigik</link> tanru parts <link linkend="section-tanru">jek</link> <link linkend="section-tanru">guhek</link> <link linkend="section-tanru">joik*</link> - operands <link linkend="section-mekso-connections">ek*</link> <link linkend="section-mekso-connections">gek</link> <link linkend="section-mekso-connections">joik*</link> <link linkend="section-mekso-connections">joigik</link> operators <link linkend="section-mekso-connections">jek</link> <link linkend="section-mekso-connections">guhek</link> <link linkend="section-mekso-connections">joik</link> - tenses/modals <link linkend="section-sumtcita">jek</link> - <link linkend="section-sumtcita">joik</link> - abstractors <link linkend="section-abstractors">jek</link> - <link linkend="section-abstractors">joik</link> - </tab>

Truth functions and corresponding logical connectives

The following table specifies, for each truth function, the most-often used cmavo or compound cmavo which expresses it for each of the six types of logical connective. (Other compound cmavo are often possible: for example, 'se'.a means the same as a, and could be used instead.)

<tab class=wikitable header=true> truth ek jek gihek gek-gik guhek-gik TTTF a ja gi'a ga-gi gu'a-gi TTFT '.a'nai ja'nai gi'a'nai ga-gi'nai gu'a-gi'nai TTFF u ju gi'u gu-gi gu'u-gi TFTT 'na'.a na'ja na'gi'a ga'nai-gi gu'a'nai-gi TFTF se.u seju segi'u segu-gi segu'u-gi TFFT o jo gi'o go-gi gu'o-gi TFFF e je gi'e ge-gi gu'e-gi FTTT na'.a'nai na'ja'nai na'gi'a'nai ga'nai-gi'nai gu'a'nai-gi'nai FTTF '.o'nai jo'nai gi'o'nai go-gi'nai gu'o-gi'nai FTFT 'se.u'nai seju'nai segi'u'nai segu-gi'nai segu'u-gi'nai FTFF '.e'nai je'nai gi'e'nai ge-gi'nai gu'e-gi'nai FFTT 'na'.u na'ju na'gi'u gu'nai-gi gu'u'nai-gi FFTF 'na'.e na'je na'gi'e ge'nai-gi gu'e'nai-gi FFFT na'.e'nai na'je'nai na'gi'e'nai ge'nai-gi'nai gu'e'nai-gi'nai </tab> Note: ijeks are exactly the same as the corresponding jeks, except for the prefixed i.

Rules for making logical and non-logical connectives

The full set of rules for inserting na, se, and nai into any connective is:

Afterthought logical connectives (eks, jeks, giheks, ijeks):

  • Negate first construct: Place na before the connective cmavo (but after the i of an ijek).
  • Negate second construct: Place nai after the connective cmavo.
  • Exchange constructs: Place se before the connective cmavo (after na if any).

Forethought logical connectives (geks, guheks):

  • Negate first construct: Place

nai after the connective cmavo.

  • Negate second construct: Place

nai after the gi.

  • Exchange constructs: Place

se before the connective cmavo.

Non-logical connectives (joiks, joigiks):

  • Negate connection: Place

nai after the connective cmavo (but before the gi of a joigik).

  • Exchange constructs: Place

se before the connective cmavo.

Locations of other tables

Section .1: a table explaining the meaning of each truth function in English.

Section .2: a table relating the truth functions to the four basic vowels.

Section .13: a table of the connective question cmavo.

Section .14: a table of the meanings of JOI cmavo when used to connect sumti.