dummy quantifier
Смотреть что такое "dummy quantifier" в других словарях:
Dummy pronoun — A dummy pronoun (formally: expletive pronoun or pleonastic pronoun) is a type of pronoun used in non pro drop languages, such as English. It is used when a particular verb argument (or preposition) is nonexistent (it could also be unknown,… … Wikipedia
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only … Wikipedia
Donkey pronoun — A donkey pronoun is a pronoun that is bound in semantics but not syntax.[1][2] Some writers prefer the term donkey anaphora, since it is the referential aspects and discourse or syntactic context that are of interest to researchers (see anaphora) … Wikipedia
Auxiliary verb — In linguistics, an auxiliary verb is a verb that gives further semantic or syntactic information about a main or full verb. In English, the extra meaning provided by an auxiliary verb alters the basic meaning of the main verb to make it have one… … Wikipedia
Copula (linguistics) — To be redirects here. For the song, see To Be. For to be, or not to be , see To be, or not to be. In linguistics, a copula (plural: copulae or copulas) is a word used to link the subject of a sentence with a predicate (a subject complement). The… … Wikipedia
Pro-form — A pro form is a type of function word or expression that stands in for (expresses the same content as) another word, phrase, clause or sentence where the meaning is recoverable from the context. They are used either to avoid repetitive… … Wikipedia
Verb — This article is about the part of speech. For the physical activity program, see VERB (program). For English usage of verbs, see English verbs. Verbs redirects here. For the Christian gospel rapper, see Verbs (rapper). Examples I washed the car… … Wikipedia
Generalized geography — In computational complexity theory, generalized geography is a problem that can be proven to be PSPACE Complete.IntroductionGeography is a childs game, which is good for a long car trip, where players take turns naming cities from anywhere in the … Wikipedia
Article (grammar) — For articles in English, see English articles. Definite article redirects here. For the Eddie Izzard comedy DVD, see Definite Article. An article (abbreviated art) is a word that combines with a noun to indicate the type of reference being made… … Wikipedia
