22
edits
Prenex: Difference between revisions
m
Fix refgram links
(you don’t like it? 😢) |
m (Fix refgram links) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
The '''prenex''' is a space at the beginning of a clause where free-floating terms can be listed. This can be used to introduce [[quantification]], or [[adverbial]]s, or to mark the '''topic''' of a sentence. | {{gammaNote}}The '''prenex''' is a space at the beginning of a clause where free-floating terms can be listed. This can be used to introduce [[quantification]], or [[adverbial]]s, or to mark the '''topic''' of a sentence. | ||
The presence of a prenex is marked by the particle {{t|bı}}, which separates the prenex terms from the rest of the clause. | The presence of a prenex is marked by the particle {{t|bı}}, which separates the prenex terms from the rest of the clause. | ||
| Line 5: | Line 5: | ||
The term comes from logic (via Lojban), where the part before the colon in <math>\exists x \forall y: P(x,y)</math> is called the prenex. So, {{t|bı}} functions much like that colon. | The term comes from logic (via Lojban), where the part before the colon in <math>\exists x \forall y: P(x,y)</math> is called the prenex. So, {{t|bı}} functions much like that colon. | ||
The [[refgram]] confusingly [https://toaq.net/refgram/21/ calls the prenex the topic], which [[User:Lynn|I]] don't like. | The [[refgram]] confusingly [https://toaq.net/gamma/refgram/21/ calls the prenex the topic], which [[User:Lynn|I]] don't like. | ||
== Interpretation of terms == | == Interpretation of terms == | ||
| Line 29: | Line 29: | ||
== External links == | == External links == | ||
* [https://toaq.net/refgram/21/ ''Topic''] in the [[reference grammar]]. | * [https://toaq.net/gamma/refgram/21/ ''Topic''] in the [[reference grammar]]. | ||