- quantifiers
- Кванторы
Большой англо-русский и русско-английский словарь. 2001.
quantifiers
Смотреть что такое "quantifiers" в других словарях:
quantifiers — quantifier … Philosophy dictionary
quantifiers — n. word that expresses a quantity (Grammar) … English contemporary dictionary
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … 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
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Bounded quantifier — In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language. These are two quantifiers in addition to forall and exists. They are motivated by the fact that determining whether a sentence with only… … Wikipedia
Quantity numbers — ◊ GRAMMAR Quantities and amounts of things are often referred to using numbers. See entries at ↑ Numbers and fractions and ↑ Measurements. ◊ general determiners You can use general determiners such as some , any , all , every , and much to talk… … Useful english dictionary
quantity numbers — ◊ GRAMMAR Quantities and amounts of things are often referred to using numbers. See entries at ↑ Numbers and fractions and ↑ Measurements. ◊ general determiners You can use general determiners such as some , any , all , every , and much to talk… … Useful english dictionary
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
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
