| Information | |
|---|---|
| has gloss | (noun) the act of discovering or expressing the quantity of something quantification |
| has gloss | eng: Quantification has several distinct senses. In mathematics and empirical science, it is the act of counting and measuring that maps human sense observations and experiences into members of some set of numbers. Quantification in this sense is fundamental to the scientific method. |
| lexicalization | eng: quantification |
| subclass of | (noun) the act or process of assigning numbers to phenomena according to a rule; "the measurements were carefully done"; "his mental measurings proved remarkably accurate" measuring, mensuration, measurement, measure |
| has subclass | (noun) the act of arranging in grades gradation, graduation |
| Meaning | |
|---|---|
| Aragonese | |
| lexicalization | arg: quantificación |
| Asturian | |
| lexicalization | ast: cuantificación |
| Bulgarian | |
| has gloss | bul: Кванторите са символи на дадено предикатно смятане (или формален език), които служат за означаване на квантифициращи функции. Прилагането им върху израз от предикатното смятане дефинира нов израз от същото смятане. В класическото двузначно предикатно смятане се използват кванторът за общност \!^\forall ("за всяко...") и кванторът за съществуване \!^\exist ("съществува..."). Област на действие на кванторът \!^\forall или \!^\exist се нарича изразът следващ непосредствено <span style="white-space:nowrap;">\!^\forallx или \!^\exist x, където x e променлива. Ако позицията на символа x лежи в областта на действие на квантора, то участието на променливата x e свързано с тази позиция. Променливата x се нарича напълно свободна, ако тя не участва в някоя от поредиците: <span style="white-space:nowrap;">\!^\forallx или \!^\exist x. |
| lexicalization | bul: квантор |
| Catalan | |
| has gloss | cat: A lògica i teoria de conjunts, un quantificador sutilitza per indicar quants elements dun conjunt donat compleixen amb certa propietat. Existeixen molts tipus de quantificadors, però potser els més estudiats i utilitzats siguin: |
| lexicalization | cat: quantificador |
| lexicalization | cat: quantificació |
| Czech | |
| has gloss | ces: Kvantifikátory jsou symboly používané v matematice a logice (predikátové logice). Slouží pro vyjadřování míry přítomnosti dané vlastnosti (predikátu) v jisté třídě objektů. Rozlišují se dva základní druhy kvantifikátorů – univerzální (∀) s významem „pro každý“ a existenční (∃) s významem „existuje“. |
| lexicalization | ces: kvantifikátor |
| Show unreliable ▼ | |
| lexicalization | ces: kvantifikace |
| lexicalization | ces: vyčíslení |
| Danish | |
| lexicalization | dan: kvantor |
| German | |
| has gloss | deu: Ein Quantor, kurz für Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“ , ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. |
| lexicalization | deu: quantor |
| Show unreliable ▼ | |
| lexicalization | deu: Quantifizierung |
| lexicalization | deu: Quantitätsbestimmung |
| Esperanto | |
| has gloss | epo: Kvantoro estas signo en la predikata logiko, kiu signas kiom da objektoj havas iun econ. En la klasika logiko, oni uzas nur du kvantorojn: la ekzistokvantoron (signita per ∃) kaj la universalan kvantoron (signita per ∀). La ekzistokvantoro signas ke la econ havas almenaŭ unu objekto, dum la universala kvantoro signas ke la econ havas ĉiuj objektoj. |
| lexicalization | epo: kvantoro |
| Show unreliable ▼ | |
| lexicalization | epo: kvantigo |
| Finnish | |
| has gloss | fin: Digitaalisessa signaalinkäsittelyssä kvantisoinnilla tarkoitetaan reaalilukuarvojen tai hyvin suuren lukujoukon arvojen likimääräistämistä pienempään lukujoukkoon, esimerkiksi kokonaisluvuiksi sovitulle välille. |
| lexicalization | fin: kvantisointi |
| French | |
| lexicalization | fra: Quantificateur |
| Hebrew | |
| has gloss | heb: בלוגיקה, כמת הוא סמל המציין את התחולה של המשתנה הצמוד לו. שני הכמתים העיקריים הם לכל (נקרא גם כמת כולל, מסומן ב-\ \forall) וקיים (נקרא גם כמת ישי, מסומן ב-\ \exists). |
| lexicalization | heb: כמת |
| Hungarian | |
| has gloss | hun: A kvantorok elmélete a „minden” és „létezik” szavak használatát kívánja vizsgálni speciális, logikai szempontból. Bár ez a vizsgálódás a természetes nyelv szűk töredékének működését, pusztán a logikai jelentést figyelembe véve tárja fel, mégis számos alkalmazása van a nyelvtudományban, a formális nyelvek elméletében és nélkülözhetetlen a metafizika és az ismeretelmélet számára. A kvantorok, vagyis a ∀ szimbólummal jelölt „minden” szó és a ∃ szimbólummal jelölt „létezik” szó lépten nyomon előbukkan a matematikában. |
| lexicalization | hun: kvantor |
| Indonesian | |
| Show unreliable ▼ | |
| lexicalization | ind: hitungan |
| Italian | |
| has gloss | ita: Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche: * \forall (per ogni) * \exist (esiste) il nome "quantificatori" è legato al fatto che danno una informazione su quanto è grande l'estensione in cui è valido un predicato. |
| lexicalization | ita: Quantificatore |
| lexicalization | ita: quantificazione |
| Japanese | |
| has gloss | jpn: 量化（りょうか、）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。 |
| lexicalization | jpn: 量化 |
| Korean | |
| Show unreliable ▼ | |
| lexicalization | kor: 부량 |
| lexicalization | kor: 양을 정함 |
| lexicalization | kor: 양화 |
| Maori | |
| Show unreliable ▼ | |
| lexicalization | mri: ine rahinga |
| Dutch | |
| has gloss | nld: Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica. Kwantoren binden variabelen. |
| lexicalization | nld: kwantor |
| Occitan (post 1500) | |
| lexicalization | oci: quantificacion |
| Polish | |
| has gloss | pol: Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążacym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu. |
| lexicalization | pol: kwantyfikator |
| Portuguese | |
| has gloss | por: O termo Quantificação tem vários significados, gerais e específicos. Ele cobre, antes de mais nada, toda ação que quantifique observações e experiências, traduzindo-as para números através de contagem e mensuração. É, portanto, a base para a matemática e para a ciência. |
| lexicalization | por: Quantificacao |
| lexicalization | por: quantificação |
| Russian | |
| has gloss | rus: Введение в понятие Пусть на множестве Х простых чисел задан предикат Р(х): «Простое число х – нечетно». Подставим перед этим предикатом слово «любое». Получим ложное высказывание «любое простое число х нечетно» (это выказывание ложно, так как 2 – простое четное число). Подставив перед данным предикатом Р(х) слово «существует», получим истинное выказывание «Существует простое число х, являющимся нечетным» (например х=3). Таким образом, превратить предикат в высказывание можно поставив перед предикатом слова: «все», «существует», и др., называемые в логике кванторами. |
| lexicalization | rus: квантор |
| Slovak | |
| Show unreliable ▼ | |
| lexicalization | slk: kvantifikácia |
| Castilian | |
| has gloss | spa: En lógica y teoría de conjuntos, un cuantificador se utiliza para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, pero quizás los más estudiados y utilizados sean: |
| lexicalization | spa: cuantificador |
| lexicalization | spa: cuantificación |
| Swedish | |
| has gloss | swe: En kvantifikator, ibland kvantor, av engelskans quantity och latinets quantus, "av en viss sort", är en inom logiken operator som binder en fri variabel i ett logiskt predikat, och på så sätt bildar ett uttryck vars giltighet beror på antal objekt som uppfyller det okvantifierade uttrycket. |
| lexicalization | swe: kvantifikator |
| Ukrainian | |
| has gloss | ukr: Ква́нтор — логічний оператор, що перетворює всякий предикат на предикат меншої місності, зв’язуючи деякі змінні початкового предиката. Повсюдно вживаються два квантори: універсальний (позначається ‘\forall’) та екзистенціальний (позначається ‘\exists’). Для будь-якого предиката F\,(x) вирази \forall x F(x) та \exists x F(x) читаються як «всі x мають властивість F\,(x)» та «існує (бодай один) x, що має властивість F\,(x)» відповідно. |
| lexicalization | ukr: квантор |
| Chinese | |
| has gloss | zho: 在语言和逻辑中，量化是指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量词。在形式语言中，量化是从旧公式产生新公式的公式构造子(constructor)。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是变量约束操作的实例。 |
| lexicalization | zho: 量化 |
| Links | |
|---|---|
| similar | e/Quantification |
| Media | |
|---|---|
| media:img | IMG Tree.gif |
| media:img | IMG Tree.jpg |
| media:img | ציור.svg |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint
