704
edits
Prenex: Difference between revisions
you don’t like it? 😢
(you don’t like it? 😢) |
|||
| 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 I don't like. | The [[refgram]] confusingly [https://toaq.net/refgram/21/ calls the prenex the topic], which [[User:Lynn|I]] don't like. | ||
== Interpretation of terms == | == Interpretation of terms == | ||