| Catalan |
| has gloss | cat: En lògica matemàtica, es fa servir el símbol \forall , anomenat quantificador universal , anteposat a una variable per dir que "per a tot" element d'un cert conjunt es compleix la proposició donada a continuació. El text es pot representar amb el caràcter ∀. |
| lexicalization | cat: quantificador universal |
| Czech |
| has gloss | ces: Univerzální kvantifikátor (∀) (také obecný kvantifikátor či velký kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice. Do běžného jazyka lze jeho význam přeložit jako „pro každé“. Duálním kvantifikátorem k němu je existenční kvantifikátor s významem „existuje“. |
| lexicalization | ces: univerzální kvantifikátor |
| lexicalization | ces: ∀ |
| Danish |
| has gloss | dan: Alkvantor er en logisk kvantor, der betyder for alle. Helt præcist læses : \forallx}\, P således: For alle x gælder at P. |
| lexicalization | dan: Alkvantor |
| Estonian |
| has gloss | est: Üldisuskvantor (sümbol \forall) on predikaatloogikas sümbol, mille abil väljendatakse, et miski on tõsi kõige kohta (või kõige asjasse puutuva kohta). |
| lexicalization | est: üldisuskvantor |
| Finnish |
| has gloss | fin: Universaalikvanttori eli kaikkikvanttori (\forall) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta kaikille jonkin joukon alkioille. |
| lexicalization | fin: Universaalikvanttori |
| Hungarian |
| has gloss | hun: Az univerzális kvantifikáció az a logikai operátor (speciális kvantor), mely a „minden”, „bármely”, „összes” természetes nyelvi szavaknak feleltethető meg valamely formális nyelven belül. Univerzális kvantor szerepét töltik be például az alábbi mondatokban a dőlt betűs szavak: :„Minden ember haladó.” :„Ezügyben érdeklődhet bármelyik munkatársunknál.” :„A gyerek az összes tojást összetörte.” Az említett szavak akkor válnak univerzális kvantorrá, ha a mondatokat egy formális nyelv kifejezéseiből állítjuk össze, például eképpen: :ha φ(x) jelentése az, hogy „x halandó”, akkor (∀x)φ(x) jelentése „Minden ember haladó.” Itt (∀x)φ(x)-t úgy mondjuk ki, hogy „minden x-re fí-x” és a :\forall\, szimbólum az univerzális kvantifikáció jele. |
| lexicalization | hun: univerzális kvantifikáció |
| Italian |
| has gloss | ita: Il quantificatore universale è un simbolo scientifico, largamente usato in diversi campi della matematica (soprattutto in insiemistica e in logica); il ∀ viene detto quantificatore perché serve a indicare la grandezza o lestensione di una affermazione ed universale perché lestensione indicata è sempre totale: non per nulla, infatti, esso ha lettura "per ogni". La sua forma è quella di una lettera A maiuscola capovolta: ciò si deve all'iniziale della parola inglese All, che in italiano significa tutto. |
| lexicalization | ita: quantificatore universale |
| Japanese |
| has gloss | jpn: 全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「すべての」（全称量化）を表す記号である。通常「∀」と表記され、全称量化子（ぜんしょうりょうかし）、全称限量子（ぜんしょうげんりょうし）、全称限定子（ぜんしょうげんていし）、普遍量化子（ふへんりょうかし）、普通限定子（ふつうげんていし）などとも呼ばれる。 |
| lexicalization | jpn: 全称記号 |
| Dutch |
| has gloss | nld: Universaliteit betekent in de wiskunde en logica dat een eigenschap voor alle elementen van een verzameling geldt. De bijbehorende universele kwantor (of al-kwantor) wordt genoteerd als \forall. |
| lexicalization | nld: Universaliteit |
| Polish |
| has gloss | pol: Kwantyfikator ogólny to kwantyfikator mówiący, że dane twierdzenie (funkcja zdaniowa) jest prawdziwe przy dowolnej wartości zmiennej. |
| lexicalization | pol: Kwantyfikator ogólny |
| Portuguese |
| has gloss | por: Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes. O resultado é uma afirmação universalmente quantificada. Em símbolos lógicos, o quantificador universal (usualmente ∀) é o símbolo usado para denotar o universo de quantificação, informalmente lido como "para todo". |
| lexicalization | por: Quantificacao universal |
| lexicalization | por: quantificação universal |
| Russian |
| has gloss | rus: Квантор всеобщности — это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких-то отдельных из указанных чисел. |
| lexicalization | rus: квантор всеобщности |
| Slovak |
| has gloss | slk: Všeobecný kvantifikátor (iné názvy: všeobecný kvantor, veľký kvantifikátor, generalizátor) je kvantifikátor, ktorým sa nahradzuje spojenie „pre všetky“. Značí, že všetky opakovania výrazu, ktorý za ním nasleduje majú určitú vlastnosť. Jeho symbol je \forall (v unicode ∀ U+2200 FOR ALL). |
| lexicalization | slk: Všeobecný kvantifikátor |
| Castilian |
| has gloss | spa: En lógica matemática, se usa el símbolo \forall , denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación. En texto se puede representar con el carácter ∀. |
| lexicalization | spa: cuantificador universal |
| Swedish |
| has gloss | swe: Allkvantifikator eller allkvantor är ett begrepp inom predikatlogiken. Den brukar symboliseras med ett upp-och-ned-vändt A (\forall, ∀) |
| lexicalization | swe: Allkvantifikator |
| Chinese |
| has gloss | zho: 在谓词逻辑中，全称量化是尝试形式化某个事物(逻辑谓词)对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词(典型的 "∀")是用来指示全称量化的符号。 |
| lexicalization | zho: 全称量化 |
