History: naku

Source of version: 1 (current)

See also ((le broda ku na brode Gotcha)). ''naku'' is a bridi negation like ''na'', meaning "It is false that..." but it interacts differently with quantifiers. In this use, ''((ku))'' cannot be elided, since that would make ''na'' and ''naku'' indistinguishable. In particular, when creating a prenex for a sentence, ''na'' is immediately put at the beginning of the prenex (and turns into ''naku'', since ''na'' can't syntactically appear in a prenex); ''naku'' goes into the prenex in bridi order, intermixed with any quantifiers -- to move it to the front, ((DeMorgan's Laws)) must be applied. Thus "All men don't have hair" can be represented in Lojban as * ro nanmu na se kerfa which prenexes as * naku ro da poi nanmu zo'u kerfa daIt is false that for each X that is a man, (something) is X's hair which is true: some men are bald. On the other hand, * ro nanmu naku se kerfa prenexes as * ro da poi nanmu naku zo'u kerfa daFor each X that is a man, it is false that (something) is X's hair which is false: not ''all'' men are bald.

History

Enable pagination rows per page

HTML diff Side-by-side diff Side-by-side diff by characters Inline diff Inline diff by characters Full side-by-side diff Full side-by-side diff by characters Full inline diff Full inline diff by characters Unified diff Side-by-side view

Information	Version
Fri 30 of Nov, 2001 12:31 GMT admin from admin created from phpwiki import	1		Actions View Source

Select action to perform with checked... Remove OK