All about poi and noi: Difference between revisions
Jump to navigation
Jump to search
(setting up page) |
mNo edit summary |
||
| Line 3: | Line 3: | ||
The article deliberately ignores '''pe''', '''ne''', '''po'u''' and '''no'u''', because those are nothing more than shortcuts of '''poi''' and '''noi''' combined with specific predicates. Everything that applies to '''poi''' and '''noi''' directly applies to those cmavo, too. No separate explanations are required. | The article deliberately ignores '''pe''', '''ne''', '''po'u''' and '''no'u''', because those are nothing more than shortcuts of '''poi''' and '''noi''' combined with specific predicates. Everything that applies to '''poi''' and '''noi''' directly applies to those cmavo, too. No separate explanations are required. | ||
=Logical symbols used in this article= | =Logical symbols used in this article= | ||
{| class="wikitable" | {| class="wikitable" | ||
Revision as of 18:41, 9 August 2015
This page sets out to explain all you need to now about the relative clause markers poi and noi, how they differ with regards to description sumti, quantified and in the presence of quantifiers.
The article deliberately ignores pe, ne, po'u and no'u, because those are nothing more than shortcuts of poi and noi combined with specific predicates. Everything that applies to poi and noi directly applies to those cmavo, too. No separate explanations are required.
Logical symbols used in this article
| Symbol | Meaning |
|---|---|
| existential quantifier | |
| universal quantifier | |
| Q | any (outer) quantifier |
| x, y, z | singular variables |
| xx, yy, zz | plural variables |
| c, c0, c1, ... | plural constants |
| [] | surrounds prenex |
| : | corresponds to Lojban poi |
| ; | separates sentences, like Lojban .i |
