Now we are ready to express Example 14.1 in Lojban! The kind of logical connective which is placed between two Lojban bridi to connect them logically is an ijek:
Here we have two separate Lojban bridi, la .djan. nanmu and la .djeimyz. ninmu. These bridi are connected by .ija, 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:
la | .djan. | nanmu | .ijo | la | .djeimyz. | ninmu |
That-named | John | is-a-man | if-and-only-if | that-named | James | is-a-woman. |
la | .djan. | nanmu | .iju | la | .djeimyz. | ninmu |
That-named | John | is-a-man | whether-or-not | that-named | James | is-a-woman. |
To obtain the other truth tables listed in Section 14.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:
la | .djan. | nanmu | .inajo | la | .djeimyz. | ninmu |
That-named | John | is-not-a-man | if-and-only-if | that-named | James | is-a-woman. |
la | .djan. | nanmu | .ijonai | la | .djeimyz. | ninmu |
That-named | John | is-a-man | if-and-only-if | that-named | James | is-not-a-woman. |
The meaning of both Example 14.7 and Example 14.8 is the same as that of:
Here is another example:
la | .djan. | nanmu | .ijanai | la | .djeimyz. | ninmu |
That-named | John | is-a-man | or | that-named | 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 14.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 14.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 14.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 14.10 is true. Example 14.11, however, is equally true:
la | .djan. | ninmu | .ijanai | la | .djeimyz. | ninmu |
That-named | John | is-a-woman | if | that-named | 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 14.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 14.12 illustrates the use of “if ... then” as a more natural substitute for “only if”.
la | .djan. | nanmu | .inaja | la | .djeimyz. | ninmu |
That-named | John | is-not-a-man | or | that-named | 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 5.11.
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.