- universal predicate
- мат. универсальный предикат
Большой англо-русский и русско-английский словарь. 2001.
universal predicate
Смотреть что такое "universal predicate" в других словарях:
Universal algebra — (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ( models ) of algebraic structures.For instance, rather than take particular groups as the object of study, in universal… … Wikipedia
Universal grammar — is a theory of linguistics postulating principles of grammar shared by all languages, thought to be innate to humans (linguistic nativism). It attempts to explain language acquisition in general, not describe specific languages. Universal grammar … Wikipedia
Universal pragmatics — Universal pragmatics, more recently placed under the heading of formal pragmatics, is the philosophical study of the necessary conditions for reaching an understanding through communication. The philosopher Jürgen Habermas coined the term in his… … Wikipedia
Universal quantification — In predicate logic, universal quantification is an attempt to formalize the notion that something (a logical predicate) is true for everything , or every relevant thing.The resulting statement is a universally quantified statement, and we have… … Wikipedia
Universal (metaphysics) — Universals redirects here. For other uses, see Universal (disambiguation). In metaphysics, a universal is what particular things have in common, namely characteristics or qualities. In other words, universals are repeatable or recurrent entities… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
universal — adj. & n. adj. 1 of, belonging to, or done etc. by all persons or things in the world or in the class concerned; applicable to all cases (the feeling was universal; met with universal approval). 2 Logic (of a proposition) in which something is… … Useful english dictionary
universal quantifier — noun The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Some verbal equivalents are for each or for every … Wiktionary
Church's thesis (constructive mathematics) — In constructive mathematics, Church s thesis is the mathematical assertion that all total functions are recursive. It gets its name after the informal Church–Turing thesis, which states that every algorithm is in fact a recursive function, but… … Wikipedia
Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo — [ proper noun N = noun V = verb NP = noun phrase RC = relative clause VP = verb phrase S = sentence] Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo. is a grammatically correct sentence used as an example of how homonyms and… … Wikipedia
