Jump to content

Prenex: Difference between revisions

14 bytes added ,  12:25, 17 June 2022
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 ==