Prenex - Revision history

Isı: Fix refgram links

2025-05-28T12:02:01Z

Fix refgram links

← Older revision		Revision as of 12:02, 28 May 2025
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]].

Neuekatze: mark the page as toaq gamma

2025-05-27T14:30:42Z

mark the page as toaq gamma

← Older revision		Revision as of 14:30, 27 May 2025
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.

Uakci: you don’t like it? 😢

2022-06-17T12:25:31Z

you don’t like it? 😢

← Older revision		Revision as of 12:25, 17 June 2022
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 ==

Laqme: /* Interpretation of terms */

2022-06-17T11:30:18Z

Interpretation of terms

← Older revision		Revision as of 11:30, 17 June 2022
Line 8:		Line 8:

	== Interpretation of terms ==		== Interpretation of terms ==
	* A [[~~quantifier~~\|~~quantified nominal~~ phrase]], such as {{t\|sa chaq}}, introduces a quantification with [[scope]] over the whole clause.		* A [[Determiner\|quantifying determiner phrase]], such as {{t\|sa chaq}}, introduces a quantification with [[scope]] over the whole clause. A mathematician or logician would read this as "there exist some days ''C'' such that...", and then read instances of {{t\|cháq}} in the remainder of the sentence as ''C''.
	* A definite noun phrase, such as {{t\|ke chaq}} or {{t\|cháq}}, marks a topic. This has no impact on the logical denotation of the rest of the clause, but lets speakers organize their speech or give context clues.		* A definite noun phrase, such as {{t\|ke chaq}} or {{t\|cháq}} in the prenex, marks a '''topic'''. This has no impact on the logical denotation of the rest of the clause, but lets speakers organize their speech or give context clues.
	* An [[adverbial]] spans over the whole clause with the usual interpretation. See that article for more details.		* An [[adverbial]] spans over the whole clause with the usual interpretation. See that article for more details.

Laqme: /* Examples */

2022-06-17T11:22:09Z

Examples

← Older revision		Revision as of 11:22, 17 June 2022
Line 14:		Line 14:
	== Examples ==		== Examples ==
	Marking the topic of a simple sentence, using a definite noun phrase before {{t\|bı}}:		Marking the topic of a simple sentence, using a definite noun phrase before {{t\|bı}}:
	{{example\|<u>Ní ~~kúe~~ bı</u> bủ chỏ jí bóu.\|As for this book: I don't like it.}}		{{example\|<u>Ní kủe bı</u> bủ chỏ jí bóu.\|As for this book: I don't like it.}}

	You can do the same in a subclause: the prenex is between {{t\|lâ}} and {{t\|bı}}.		You can do the same in a subclause: the prenex is between {{t\|lâ}} and {{t\|bı}}.

Laqme at 11:21, 17 June 2022

2022-06-17T11:21:17Z

← Older revision		Revision as of 11:21, 17 June 2022
Line 26:		Line 26:

	Compare this to if we had not used a prenex:		Compare this to if we had not used a prenex:
	{{example\|Shảo jí nôaq <u>sa kủe</u> da.\|I want that [for some books ''K'': you read ''K''].<br>I would like you to read some books. (i.e. I don't care which ones)}}		{{example\|Shảo jí nôaq súq <u>sa kủe</u> da.\|I want that [for some books ''K'': you read ''K''].<br>I would like you to read some books. (i.e. I don't care which ones)}}

	== External links ==		== External links ==
	* [https://toaq.net/refgram/21/ ''Topic''] in the [[reference grammar]].		* [https://toaq.net/refgram/21/ ''Topic''] in the [[reference grammar]].

Laqme: Created page with "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 adverbials, or to ma..."

2022-06-17T11:20:43Z

Created page with "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 adverbials, or to ma..."

New page

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 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.

== Interpretation of terms ==
* A [[quantifier|quantified nominal phrase]], such as {{t|sa chaq}}, introduces a quantification with [[scope]] over the whole clause.
* A definite noun phrase, such as {{t|ke chaq}} or {{t|cháq}}, marks a topic. This has no impact on the logical denotation of the rest of the clause, but lets speakers organize their speech or give context clues.
* An [[adverbial]] spans over the whole clause with the usual interpretation. See that article for more details.

== Examples ==
Marking the topic of a simple sentence, using a definite noun phrase before {{t|bı}}:
{{example|Ní kúe bı bủ chỏ jí bóu.|As for this book: I don't like it.}}

You can do the same in a subclause: the prenex is between {{t|lâ}} and {{t|bı}}.
{{example|Dủa jí lâ Tóaqzu bı zủdeq súq hóq da.|I know that, as for Toaq, you speak it.}}

An adverbial in the prenex:
{{example|Chòe jíachaq bı rủqshua da.|Until tomorrow, it's raining.}}

Quantification in the prenex, like logical notation <math>\exists k: P(k)</math>:
{{example|Sa kủe bı shảo jí nôaq súq kúe da.|Some books ''K'': I would like you to read ''K''. There's some book(s) I would like you to read.}}

Compare this to if we had not used a prenex:
{{example|Shảo jí nôaq sa kủe da.|I want that [for some books ''K'': you read ''K'']. I would like you to read some books. (i.e. I don't care which ones)}}

== External links ==
* [https://toaq.net/refgram/21/ ''Topic''] in the [[reference grammar]].