D
- da: Existential claims, prenexes, and variables, Existential claims, prenexes, and variables, Existential claims, prenexes, and variables, Universal claims, Universal claims, Restricted claims: da poi, Restricted claims: da poi, Restricted claims: da poi, Dropping the prenex, Dropping the prenex, Variables with generalized quantifiers, Variables with generalized quantifiers, Grouping of quantifiers, The problem of “any”, bridi negation and logical connectives, bridi negation and logical connectives, bridi negation and logical connectives, bridi negation and logical connectives, Using naku outside a prenex, Using naku outside a prenex, selbri variables, A few notes on variables, A few notes on variables, A few notes on variables, A few notes on variables, A few notes on variables, A few notes on variables
-
- as a translation for "something": Existential claims, prenexes, and variables
- contrasted with "zo'e": Existential claims, prenexes, and variables
- da prami da
-
- contrasted with "da prami de": Existential claims, prenexes, and variables
- da prami de
-
- contrasted with "da prami da": Existential claims, prenexes, and variables
- de: Existential claims, prenexes, and variables, Existential claims, prenexes, and variables, Universal claims, Restricted claims: da poi, Dropping the prenex, Variables with generalized quantifiers, Grouping of quantifiers, bridi negation and logical connectives, Using naku outside a prenex, Using naku outside a prenex, selbri variables, A few notes on variables
- di: Existential claims, prenexes, and variables, Restricted claims: da poi, Dropping the prenex, Variables with generalized quantifiers, bridi negation and logical connectives, selbri variables, A few notes on variables
N
- na: Negation boundaries, Negation boundaries, Negation boundaries, bridi negation and logical connectives, bridi negation and logical connectives, bridi negation and logical connectives, bridi negation and logical connectives, bridi negation and logical connectives, Using naku outside a prenex, Using naku outside a prenex, Using naku outside a prenex, Using naku outside a prenex, Using naku outside a prenex, Using naku outside a prenex, Logical connectives and DeMorgan's law, Logical connectives and DeMorgan's law, Logical connectives and DeMorgan's law, Logical connectives and DeMorgan's law
-
- and negation boundary: Logical connectives and DeMorgan's law
- nai: bridi negation and logical connectives, bridi negation and logical connectives, bridi negation and logical connectives, bridi negation and logical connectives, Logical connectives and DeMorgan's law, Logical connectives and DeMorgan's law, Logical connectives and DeMorgan's law
- naku
-
- as creating a negation boundary: Using naku outside a prenex
- compared with sumti in grammar: Using naku outside a prenex
- effect on conversion with "se" on negation boundary: Using naku outside a prenex
- effect on moving quantifiers: Using naku outside a prenex
- in linked sumti places: Using naku outside a prenex
- multiple in sentence: Using naku outside a prenex
- negation; rationale for considering an advanced technique: Using naku outside a prenex
- outside of prenex: Using naku outside a prenex
- naku su'oda
-
- as expansion of "noda": Negation boundaries
- naku zo'u
-
- and negation boundary: Logical connectives and DeMorgan's law
- nanmu: selbri variables
- nitcu: The problem of “any”
- no: Negation boundaries, Negation boundaries, Negation boundaries
-
- expanding quantifier: Negation boundaries
- noda: Negation boundaries
-
- expanding to "naku su'oda": Negation boundaries
- nu'i: Grouping of quantifiers
- nu'u: Grouping of quantifiers, Grouping of quantifiers
R
- ro: Universal claims, Universal claims, Universal claims, Dropping the prenex, Dropping the prenex, Dropping the prenex, Variables with generalized quantifiers, Variables with generalized quantifiers, Variables with generalized quantifiers, Grouping of quantifiers, Grouping of quantifiers, Grouping of quantifiers, Negation boundaries, bridi negation and logical connectives
-
- dropping from multiple appearances on logical variables: Dropping the prenex
- effect of order when multiple in sentence: Grouping of quantifiers
S
- se: Dropping the prenex, Dropping the prenex, Using naku outside a prenex, Using naku outside a prenex, Using naku outside a prenex, Logical connectives and DeMorgan's law, Logical connectives and DeMorgan's law
-
- using to re-order logical variables: Dropping the prenex
- su'o: Variables with generalized quantifiers, Variables with generalized quantifiers, Variables with generalized quantifiers, Variables with generalized quantifiers, Variables with generalized quantifiers, Grouping of quantifiers, Grouping of quantifiers, Negation boundaries, selbri variables, selbri variables
Z
- zo'e: Existential claims, prenexes, and variables, Existential claims, prenexes, and variables
-
- as a translation for "something": Existential claims, prenexes, and variables
- contrasted with "da": Existential claims, prenexes, and variables
- zo'u: Existential claims, prenexes, and variables