| Catalan |
| has gloss | cat: En lògica matemàtica, es fa servir el símbol: \exists , anomenat quantificador existencial , anteposat a una variable per dir que "hi ha" almenys un element del conjunt a què fa referència la variable, que compleix la proposició escrita a continuació. |
| lexicalization | cat: Quantificador existencial |
| Czech |
| has gloss | ces: Existenční kvantifikátor (∃) (také malý 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 existuje. Duálním kvantifikátorem k němu je univerzální kvantifikátor s významem pro každé. |
| lexicalization | ces: existenční kvantifikátor |
| lexicalization | ces: ∃ |
| Danish |
| has gloss | dan: Eksistenskvantor er en logisk kvantor. Formlen : \existsx}\, P \quad læses: Der findes mindst én x, for hvilken det gælder at P. |
| lexicalization | dan: Eksistenskvantor |
| German |
| has gloss | deu: Eine Existenzaussage ist eine Aussage beziehungsweise Behauptung des Inhalts, dass mindestens ein Gegenstand (Element, Individuum, Ereignis) eines bestimmten Gegenstandsbereichs eine bestimmte Eigenschaft hat, d. h. dass die betroffene Eigenschaft auf mindestens einen Gegenstand zutrifft. |
| lexicalization | deu: Existenzaussage |
| Esperanto |
| has gloss | epo: En predikata logiko, la ekzistokvantoro signas ke iun econ havas almenaŭ unu objekto. La eco estas esprimita per malferma formulo, do formulo, kiu entenas unu neligitan variablon. En la plej simpla kazo, tio estas unu-argumenta predikato. |
| lexicalization | epo: Ekzisto-kvantoro |
| lexicalization | epo: ekzistokvantoro |
| Estonian |
| has gloss | est: Olemasolukvantor on predikaatloogikas sümbol ∃, mille abil saab väljendada mingite omadustega objekti olemasolu. Seda loetakse näiteks "eksisteerib" või "mõne ... korral". |
| lexicalization | est: Olemasolukvantor |
| Finnish |
| has gloss | fin: Eksistenssikvanttori eli olemassaolokvanttori (\exists) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta ainakin yhdelle joukon alkiolle, eli jonkin ominaisuuden toteuttava alkio on olemassa. |
| lexicalization | fin: Eksistenssikvanttori |
| Italian |
| has gloss | ita: Il quantificatore esistenziale è un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del ∃ ha unetimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o lestensione di unaffermazione e con esistenziale il fatto che tale proposizione vale sempre almeno per un caso, che dunque esiste. La sua lettura matematica corrisponde a "esiste un/una", e la sua forma viene dalla lettera E maiuscola invertita, liniziale capovolta della parola inglese Exists, che vuol dire appunto esiste in italiano. |
| lexicalization | ita: quantificatore esistenziale |
| Japanese |
| has gloss | jpn: 存在記号（そんざいきごう、existential quantifier）とは、数理論理学（特に述語論理）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。通常「∃」と表記され、存在量化子（そんざいりょうかし）、存在限量子（そんざいげんりょうし）、存在限定子（そんざいげんていし）などとも呼ばれる。 |
| lexicalization | jpn: 存在記号 |
| Dutch |
| has gloss | nld: Existentie betekent in de wiskunde en logica dat een eigenschap voor minstens één element van een verzameling geldt. De bijbehorende existentiekwantor wordt genoteerd als \exists. |
| lexicalization | nld: existentie |
| Polish |
| has gloss | pol: Kwantyfikator egzystencjalny (mały kwantyfikator,kwantyfikator szczegółowy) to kwantyfikator mówiący, że istnieje takie podstawienie zmiennej, że dane twierdzenie zachodzi. |
| lexicalization | pol: Kwantyfikator egzystencjalny |
| Portuguese |
| has gloss | por: Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio. O operador lógico ∃ é usado para denotar a quantificação existencial. |
| lexicalization | por: Quantificacao existencial |
| lexicalization | por: quantificação existencial |
| Russian |
| has gloss | rus: В предикатной логике, квантор существования — это предикат свойства или отношения для, по крайней мере, одного элемента области определения. Он обозначается как символ логического оператора ∃ (произносится как «существует» или «для некоторого»). Квантор существования отличается от квантора всеобщности, который утверждает, что свойство или отношение выполняется для всех элементов области. |
| lexicalization | rus: Квантор существования |
| Slovak |
| has gloss | slk: Existenčný kvantifikátor (iné názvy: existenčný kvantor, malý kvantifikátor, malý kvantor, partikularizátor) je kvantifikátor, ktorým sa nahradzuje spojenie „existuje (aspoň jedno)“. To teda znamená, že pre minimálne jedno opakovanie výrazu, ktorý za ním nasleduje platí určitá vlastnosť. Jeho symbol je \exists (v unicode ∃ U+2203 THERE EXISTS). Niekedy sa používa aj v modifikácií „existuje práve jedno“, ktoré sa značí ako \exists !. |
| lexicalization | slk: Existenčný kvantifikátor |
| Castilian |
| has gloss | spa: En lógica matemática, se usa el símbolo: \exists , llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un elemento del conjunto al que hace referencia la variable, que cumple la proposición escrita a continuación. |
| lexicalization | spa: Cuantificador existencial |
| Swedish |
| has gloss | swe: Existenskvantifikator eller Existenskvantor är ett begrepp inom predikatlogiken. Beteckning: ∃. |
| lexicalization | swe: Existenskvantifikator |
| Ukrainian |
| lexicalization | ukr: Квантор існування |
| Chinese |
| has gloss | zho: 在谓词逻辑中，存在量化是对一个域的至少一个成员的性质或关系的论断。使用叫做存在量词逻辑算子符号 ∃ 来指示存在量化。 |
| lexicalization | zho: 存在量化 |
