Prenex: Difference between revisions
mark the page as toaq gamma |
m Fix refgram links |
||
| 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]]. | ||