. . "Quantification existentielle"@fr . . . . "\u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F (\u044D\u043A\u0437\u0438\u0441\u0442\u0435\u043D\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0439 \u043A\u0432\u0430\u043D\u0442\u0438\u0444\u0438\u043A\u0430\u0442\u043E\u0440) \u0432 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435 \u2014 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430 \u0438\u043B\u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u044F \u0434\u043B\u044F \u043F\u043E \u043A\u0440\u0430\u0439\u043D\u0435\u0439 \u043C\u0435\u0440\u0435 \u043E\u0434\u043D\u043E\u0433\u043E \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u0430 \u0438\u0437 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u044F. \u041E\u0431\u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442\u0441\u044F \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u043C \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u0430 \u2203 (\u043F\u0440\u043E\u0438\u0437\u043D\u043E\u0441\u0438\u0442\u0441\u044F \u043A\u0430\u043A \u00AB\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442\u00BB \u0438\u043B\u0438 \u00AB\u0434\u043B\u044F \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u043E\u0433\u043E\u00BB). \u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F \u0441\u043B\u0435\u0434\u0443\u0435\u0442 \u043E\u0442\u043B\u0438\u0447\u0430\u0442\u044C \u043E\u0442 \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430 \u0432\u0441\u0435\u043E\u0431\u0449\u043D\u043E\u0441\u0442\u0438, \u0442\u0430\u043A \u043A\u0430\u043A \u043F\u043E\u0441\u043B\u0435\u0434\u043D\u0435\u0435 \u0437\u0430\u0434\u0430\u0451\u0442 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 \u043E \u0442\u043E\u043C, \u0447\u0442\u043E \u0443\u043A\u0430\u0437\u0430\u043D\u043D\u043E\u0435 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u043E \u0438\u043B\u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u0435 \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u0442\u0441\u044F \u0434\u043B\u044F \u0432\u0441\u0435\u0445 \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u043E\u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438. \u0421\u0438\u043C\u0432\u043E\u043B (\u043E\u0442 \u0430\u043D\u0433\u043B. exist \u2014 \u2018\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u0442\u044C\u2019) \u0434\u043B\u044F \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F \u0432\u0432\u0435\u0434\u0451\u043D \u0438\u0442\u0430\u043B\u044C\u044F\u043D\u0441\u043A\u0438\u043C \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u043E\u043C \u0414\u0436\u0443\u0437\u0435\u043F\u043F\u0435 \u041F\u0435\u0430\u043D\u043E \u0432 1897 \u0433\u043E\u0434\u0443, \u0430 \u0441\u0438\u043C\u0432\u043E\u043B , \u043E\u0431\u043E\u0437\u043D\u0430\u0447\u0430\u044E\u0449\u0438\u0439 \u043A\u0432\u0430\u043D\u0442\u043E\u0440 \u0432\u0441\u0435\u043E\u0431\u0449\u043D\u043E\u0441\u0442\u0438, \u2014 \u0432 1935 \u0433\u043E\u0434\u0443 \u0413\u0435\u0440\u0445\u0430\u0440\u0434\u043E\u043C \u0413\u0435\u043D\u0446\u0435\u043D\u043E\u043C.\u041A\u043E\u043D\u0446\u0435\u043F\u0446\u0438\u044F \u0431\u044B\u043B\u0430 \u043F\u0440\u0435\u0434\u043B\u043E\u0436\u0435\u043D\u0430 \u0440\u0430\u043D\u0435\u0435, \u0432 1879 \u0433\u043E\u0434\u0443, \u0432 \u043A\u043D\u0438\u0433\u0435 \u0413\u043E\u0442\u043B\u043E\u0431\u0430 \u0424\u0440\u0435\u0433\u0435 Begriffsschrift (\u00AB\u0418\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u043F\u043E\u043D\u044F\u0442\u0438\u0439\u00BB). \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043C\u043E\u0434\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u044F \u044D\u0442\u043E\u0433\u043E \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430 \u2014 \u043A\u0432\u0430\u043D\u0442\u043E\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F \u0438 \u0435\u0434\u0438\u043D\u0441\u0442\u0432\u0435\u043D\u043D\u043E\u0441\u0442\u0438, \u044F\u0432\u043B\u044F\u044E\u0449\u0438\u0439\u0441\u044F \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u043E\u043C \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430 \u0438\u043B\u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u044F \u0434\u043B\u044F \u043E\u0434\u043D\u043E\u0433\u043E \u0438 \u0442\u043E\u043B\u044C\u043A\u043E \u043E\u0434\u043D\u043E\u0433\u043E \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u0430 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u044F. \u041E\u0431\u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442\u0441\u044F \u2203! \u0438 \u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044F \u00AB\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0438 \u0435\u0434\u0438\u043D\u0441\u0442\u0432\u0435\u043D\u043D\u044B\u0439\u00BB."@ru . . "Ekzista kvantizanto"@eo . . "Kwantyfikator egzystencjalny, kwantyfikator ma\u0142y, kwantyfikator szczeg\u00F3\u0142owy \u2013 kwantyfikator oznaczaj\u0105cy, \u017Ce istnieje takie podstawienie zmiennej, dla kt\u00F3rego dane twierdzenie (funkcja zdaniowa) jest prawdziwe. Stosuje si\u0119 dwie postacie graficzne: (zapis ten jest zwi\u0105zany z angielskim zwrotem \u201Ethere exists\u201D) oraz W obu przypadkach czyta si\u0119 \u201Eistnieje takie dla kt\u00F3rego zachodzi \u201D. Gdy formu\u0142a wymaga ustalenia zakresu dla zmiennej, np.: to u\u017Cywa si\u0119 uproszczonej notacji: I czyta si\u0119 \u201Edla pewnego nale\u017C\u0105cego do zbioru zachodzi \u201D. Stosowany bywa r\u00F3wnie\u017C zapis:"@pl . . . . "En l\u00F2gica matem\u00E0tica, es fa servir el s\u00EDmbol: , anomenat quantificador existencial, anteposat a una variable per dir que hi ha almenys un element del conjunt a qu\u00E8 fa refer\u00E8ncia la variable, que compleix la proposici\u00F3 escrita a continuaci\u00F3. Normalment, en l\u00F2gica, el conjunt a qu\u00E8 es fa refer\u00E8ncia \u00E9s l'univers o domini de refer\u00E8ncia, que est\u00E0 format per totes les constants."@ca . . "\u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F"@ru . . "Existenzaussage"@de . . "Quantificador existencial"@ca . "Cuantificador existencial"@es . "Existentie betekent in de wiskunde en logica dat een eigenschap voor minstens \u00E9\u00E9n element van een verzameling geldt. De bijbehorende existentiekwantor wordt genoteerd als . De existentiekwantor bestaat uit drie delen: \n* Declaratie van gebonden variabelen; \n* Specificatie van het domein; \n* Propositie. Deze zullen hieronder uitvoeriger beschreven worden."@nl . "En predikata logiko, la ekzista kvantizanto a\u016D ekzistokvantigilo estas kvantizanto, kiu signas ke iu eco havas almena\u016D 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."@eo . "\u0423 \u043B\u043E\u0433\u0456\u0446\u0456 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0456\u0432, \u043A\u0432\u0430\u043D\u0442\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u044F \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u2014 \u0442\u0438\u043F \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430, \u043B\u043E\u0433\u0456\u0447\u043D\u0430 \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u0430, \u044F\u043A\u0430 \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0443\u0454\u0442\u044C\u0441\u044F \u044F\u043A \u00AB\u0456\u0441\u043D\u0443\u0454\u00BB, \u00AB\u0454 \u043F\u0440\u0438\u043D\u0430\u0439\u043C\u043D\u0456 \u043E\u0434\u0438\u043D\u00BB \u0430\u0431\u043E \u00AB\u0434\u043B\u044F \u0434\u0435\u044F\u043A\u0438\u0445\u00BB. \u0414\u0435\u044F\u043A\u0456 \u0434\u0436\u0435\u0440\u0435\u043B\u0430 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u044E\u0442\u044C \u0442\u0435\u0440\u043C\u0456\u043D \u0435\u043A\u0437\u0438\u0441\u0442\u0435\u043D\u0446\u0456\u0430\u043B\u0456\u0437\u0430\u0446\u0456\u044F \u0434\u043B\u044F \u043F\u043E\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u043A\u0432\u0430\u043D\u0442\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0457 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F. \u0412\u043E\u043D\u0430 \u0437\u0430\u0437\u0432\u0438\u0447\u0430\u0439 \u043F\u043E\u0437\u043D\u0430\u0447\u0430\u0454\u0442\u044C\u0441\u044F \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u043C \u043B\u043E\u0433\u0456\u0447\u043D\u043E\u0433\u043E \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u0430, \u044F\u043A\u0438\u0439 \u043F\u0440\u0438 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u0430\u043D\u043D\u0456 \u0440\u0430\u0437\u043E\u043C \u0437\u0456 \u0437\u043C\u0456\u043D\u043D\u043E\u044E \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0443 \u043D\u0430\u0437\u0438\u0432\u0430\u0454\u0442\u044C\u0441\u044F \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u043E\u043C \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F ( \u0430\u0431\u043E ). \u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u0432\u0456\u0434\u0440\u0456\u0437\u043D\u044F\u0454\u0442\u044C\u0441\u044F \u0432\u0456\u0434 \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430 \u0437\u0430\u0433\u0430\u043B\u044C\u043D\u043E\u0441\u0442\u0456 (\u00AB\u0434\u043B\u044F \u0432\u0441\u0456\u0445\u00BB), \u044F\u043A\u0438\u0439 \u043F\u0440\u0438\u043F\u0443\u0441\u043A\u0430\u0454, \u0449\u043E \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u0456\u0441\u0442\u044C \u0430\u0431\u043E \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F \u043C\u0430\u0454 \u043C\u0456\u0441\u0446\u0435 \u0434\u043B\u044F \u0432\u0441\u0456\u0445 \u0447\u043B\u0435\u043D\u0456\u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0456."@uk . "Il quantificatore esistenziale \u00E8 un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del \u2203 ha un'etimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o l'estensione di un' 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, l'iniziale capovolta della parola inglese Exists."@it . . "Dalam logika predikat, kuantifikasi eksistensial adalah jenis kuantifer, yang sebagai \"ada\", \"setidaknya ada satu\", atau \"untuk beberapa\". Dilambangkan dengan \u2203, jika digunakan bersama dengan variabel predikat, disebut kunatifer eksistensial (\"\u2203x\" or \"\u2203(x)\"). Kuantifikasi eksistensial berbeda dari kuantifikasi universal (\"untuk semua\"), yang menegaskan bahwa sifat atau relasi untuk semua anggota domain. Beberapa sumber menggunakan istilah eksistensialisasi untuk merujuk pada kuantifikasi eksistensial."@in . "Existentie betekent in de wiskunde en logica dat een eigenschap voor minstens \u00E9\u00E9n element van een verzameling geldt. De bijbehorende existentiekwantor wordt genoteerd als . De existentiekwantor bestaat uit drie delen: \n* Declaratie van gebonden variabelen; \n* Specificatie van het domein; \n* Propositie. Deze zullen hieronder uitvoeriger beschreven worden."@nl . . . . . . "Quantificatore esistenziale (simbolo)"@it . . "Existenskvantifikator eller Existenskvantor \u00E4r ett begrepp inom predikatlogiken. Beteckning: \u2203. Satsen \"Det finns minst ett x f\u00F6r vilket predikatet P(x) g\u00E4ller\" skrivs Negationen av en existenskvantifierad sats ger en allkvantifierad sats, negationen av \"det finns minst en vit korp\" \u00E4r \"alla korpar \u00E4r icke-vita\":"@sv . . . . . . . . "En math\u00E9matiques et en logique, plus pr\u00E9cis\u00E9ment en calcul des pr\u00E9dicats, l'existence d'un objet x satisfaisant une certaine propri\u00E9t\u00E9, ou pr\u00E9dicat, P se note \u2203x P(x), o\u00F9 le symbole math\u00E9matique \u2203, lu \u00AB il existe \u00BB, est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propri\u00E9t\u00E9 P. L'objet x a la propri\u00E9t\u00E9 P(x) s'exprime par une formule du calcul des pr\u00E9dicats. Pour exemples,"@fr . . . . . . . "\u5B58\u5728\u91CF\u5316"@zh . . "Existen\u010Dn\u00ED kvantifik\u00E1tor (\u2203) (tak\u00E9 mal\u00FD kvantifik\u00E1tor) je matematick\u00FD symbol pou\u017E\u00EDvan\u00FD nej\u010Dast\u011Bji v predik\u00E1tov\u00E9 logice. Do b\u011B\u017En\u00E9ho jazyka lze jeho v\u00FDznam p\u0159elo\u017Eit jako existuje. Du\u00E1ln\u00EDm kvantifik\u00E1torem k n\u011Bmu je univerz\u00E1ln\u00ED kvantifik\u00E1tor s v\u00FDznamem pro ka\u017Ed\u00E9."@cs . . . "In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as \"there exists\", \"there is at least one\", or \"for some\". It is usually denoted by the logical operator symbol \u2203, which, when used together with a predicate variable, is called an existential quantifier (\"\u2203x\" or \"\u2203(x)\" or \"(\u2203x)\"). Existential quantification is distinct from universal quantification (\"for all\"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification."@en . "91420"^^ . . . "Kwantyfikator egzystencjalny, kwantyfikator ma\u0142y, kwantyfikator szczeg\u00F3\u0142owy \u2013 kwantyfikator oznaczaj\u0105cy, \u017Ce istnieje takie podstawienie zmiennej, dla kt\u00F3rego dane twierdzenie (funkcja zdaniowa) jest prawdziwe. Stosuje si\u0119 dwie postacie graficzne: (zapis ten jest zwi\u0105zany z angielskim zwrotem \u201Ethere exists\u201D) oraz W obu przypadkach czyta si\u0119 \u201Eistnieje takie dla kt\u00F3rego zachodzi \u201D. Gdy formu\u0142a wymaga ustalenia zakresu dla zmiennej, np.: to u\u017Cywa si\u0119 uproszczonej notacji: I czyta si\u0119 \u201Edla pewnego nale\u017C\u0105cego do zbioru zachodzi \u201D. Je\u017Celi jest sko\u0144czonym podzbiorem (niekoniecznie w\u0142a\u015Bciwym) argument\u00F3w to: Stosowany bywa r\u00F3wnie\u017C zapis: oznaczaj\u0105cy \u201Eistnieje dok\u0142adnie jedno x z A, dla kt\u00F3rego zachodzi \u201D. Zanegowany kwantyfikator egzystencjalny staje si\u0119 kwantyfikatorem og\u00F3lnym i na odwr\u00F3t:"@pl . . . . . . "\u5728\u8C13\u8BCD\u903B\u8F91\u4E2D\uFF0C\u5B58\u5728\u91CF\u5316\u662F\u5BF9\u8BBA\u57DF\u5185\u81F3\u5C11\u4E00\u4E2A\u6210\u5458\u7684\u6027\u8D28\u6216\u5173\u7CFB\u7684\u8BBA\u65AD\u3002\u5728\u7B26\u53F7\u903B\u8F91\u4E2D\uFF0C\u5B58\u5728\u91CF\u8BCD\u2203\u662F\u7528\u6765\u6307\u793A\u5B58\u5728\u91CF\u5316\u7684\u7B26\u53F7\u3002 \u5B83\u76F8\u5BF9\u4E8E\u58F0\u79F0\u67D0\u4E9B\u8C13\u8BCD\u5BF9\u6240\u6709\u4E8B\u7269\u90FD\u4E3A\u771F\u7684\u5168\u79F0\u91CF\u5316\u3002"@zh . "\u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F (\u044D\u043A\u0437\u0438\u0441\u0442\u0435\u043D\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0439 \u043A\u0432\u0430\u043D\u0442\u0438\u0444\u0438\u043A\u0430\u0442\u043E\u0440) \u0432 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435 \u2014 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430 \u0438\u043B\u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u044F \u0434\u043B\u044F \u043F\u043E \u043A\u0440\u0430\u0439\u043D\u0435\u0439 \u043C\u0435\u0440\u0435 \u043E\u0434\u043D\u043E\u0433\u043E \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u0430 \u0438\u0437 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u044F. \u041E\u0431\u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442\u0441\u044F \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u043C \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u0430 \u2203 (\u043F\u0440\u043E\u0438\u0437\u043D\u043E\u0441\u0438\u0442\u0441\u044F \u043A\u0430\u043A \u00AB\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442\u00BB \u0438\u043B\u0438 \u00AB\u0434\u043B\u044F \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u043E\u0433\u043E\u00BB). \u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F \u0441\u043B\u0435\u0434\u0443\u0435\u0442 \u043E\u0442\u043B\u0438\u0447\u0430\u0442\u044C \u043E\u0442 \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430 \u0432\u0441\u0435\u043E\u0431\u0449\u043D\u043E\u0441\u0442\u0438, \u0442\u0430\u043A \u043A\u0430\u043A \u043F\u043E\u0441\u043B\u0435\u0434\u043D\u0435\u0435 \u0437\u0430\u0434\u0430\u0451\u0442 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 \u043E \u0442\u043E\u043C, \u0447\u0442\u043E \u0443\u043A\u0430\u0437\u0430\u043D\u043D\u043E\u0435 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u043E \u0438\u043B\u0438 \u043E\u0442\u043D\u043E\u0448\u0435\u043D\u0438\u0435 \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u0442\u0441\u044F \u0434\u043B\u044F \u0432\u0441\u0435\u0445 \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u043E\u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438."@ru . . . . . . . "\u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F"@uk . . . . "1124223240"^^ . "Na l\u00F3gica de predicados, um quantificador existencial \u00E9 a predica\u00E7\u00E3o de uma propriedade ou rela\u00E7\u00E3o para, pelo menos, um elemento do dom\u00EDnio. O operador l\u00F3gico \u2203 \u00E9 usado para denotar a quantifica\u00E7\u00E3o existencial."@pt . . . "Kwantyfikator egzystencjalny"@pl . . . . . "Il quantificatore esistenziale \u00E8 un carattere tipografico scientifico, molto usato sia in insiemistica che in logica, due campi tra loro affini della matematica; il nome del \u2203 ha un'etimologia facilmente ricercabile: con la parola quantificatore si intende la sua funzione di indicare la grandezza o l'estensione di un' 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, l'iniziale capovolta della parola inglese Exists."@it . . . . "En el lenguaje de predicados en l\u00F3gica matem\u00E1tica, se usa el s\u00EDmbolo: , llamado cuantificador existencial, ante puesto a una variable para decir que \"existe al menos\" un elemento del conjunto, , al que hace referencia la variable, que cumple la proposici\u00F3n escrita a continuaci\u00F3n.\u200B Existe x que pertenece a B."@es . "Existentie"@nl . "Existenskvantifikator eller Existenskvantor \u00E4r ett begrepp inom predikatlogiken. Beteckning: \u2203. Satsen \"Det finns minst ett x f\u00F6r vilket predikatet P(x) g\u00E4ller\" skrivs Negationen av en existenskvantifierad sats ger en allkvantifierad sats, negationen av \"det finns minst en vit korp\" \u00E4r \"alla korpar \u00E4r icke-vita\":"@sv . . . "Existen\u010Dn\u00ED kvantifik\u00E1tor (\u2203) (tak\u00E9 mal\u00FD kvantifik\u00E1tor) je matematick\u00FD symbol pou\u017E\u00EDvan\u00FD nej\u010Dast\u011Bji v predik\u00E1tov\u00E9 logice. Do b\u011B\u017En\u00E9ho jazyka lze jeho v\u00FDznam p\u0159elo\u017Eit jako existuje. Du\u00E1ln\u00EDm kvantifik\u00E1torem k n\u011Bmu je univerz\u00E1ln\u00ED kvantifik\u00E1tor s v\u00FDznamem pro ka\u017Ed\u00E9."@cs . . "is true when is true for at least one value of ."@en . . "En el lenguaje de predicados en l\u00F3gica matem\u00E1tica, se usa el s\u00EDmbolo: , llamado cuantificador existencial, ante puesto a una variable para decir que \"existe al menos\" un elemento del conjunto, , al que hace referencia la variable, que cumple la proposici\u00F3n escrita a continuaci\u00F3n.\u200B Existe x que pertenece a B."@es . . . . . "Existential quantification"@en . . . . . . "Kuantifikasi eksistensial"@in . . . . . "\u5728\u8C13\u8BCD\u903B\u8F91\u4E2D\uFF0C\u5B58\u5728\u91CF\u5316\u662F\u5BF9\u8BBA\u57DF\u5185\u81F3\u5C11\u4E00\u4E2A\u6210\u5458\u7684\u6027\u8D28\u6216\u5173\u7CFB\u7684\u8BBA\u65AD\u3002\u5728\u7B26\u53F7\u903B\u8F91\u4E2D\uFF0C\u5B58\u5728\u91CF\u8BCD\u2203\u662F\u7528\u6765\u6307\u793A\u5B58\u5728\u91CF\u5316\u7684\u7B26\u53F7\u3002 \u5B83\u76F8\u5BF9\u4E8E\u58F0\u79F0\u67D0\u4E9B\u8C13\u8BCD\u5BF9\u6240\u6709\u4E8B\u7269\u90FD\u4E3A\u771F\u7684\u5168\u79F0\u91CF\u5316\u3002"@zh . "10869"^^ . "En predikata logiko, la ekzista kvantizanto a\u016D ekzistokvantigilo estas kvantizanto, kiu signas ke iu eco havas almena\u016D 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."@eo . "Existen\u010Dn\u00ED kvantifik\u00E1tor"@cs . "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. Ein Beispiel f\u00FCr eine Existenzaussage ist der Satz \u201EIn Berlin gibt es mindestens einen Tuberkulose-Kranken.\u201C Modern werden Existenzaussagen auch als Existenzs\u00E4tze, Existenzialaussagen oder existenz-/existentialquantifizierte S\u00E4tze bezeichnet. In der traditionellen Logik werden Existenzaussagen als partikul\u00E4re Urteile bezeichnet \u2013 hierzu siehe Kategorisches Urteil. Die logischen Eigenschaften der Existenzaussagen werden modern in der Pr\u00E4dikatenlogik und wurden traditionell als partikul\u00E4r bejahende und verneinende Urteile in der Syllogistik behandelt. In der formalen Sprache der Pr\u00E4dikatenlogik werden Existenzaussagen gebildet, indem mit Hilfe des Existenzquantors \u00FCber Pr\u00E4dikate beziehungsweise Aussageformen quantifiziert wird. Symbolisiert wird der Existenzquantor meist durch eines der Zeichen oder . Beispiel einer Quantifikation: 1. \n* x ist ein Berliner [und] x ist tuberkulosekrank 2. \n* (x ist ein Berliner [und] x ist tuberkulosekrank) (= \u201EExistenzquantifikation\u201C von Satz 1) 3. \n* Es gibt etwas, das ein Berliner ist und tuberkulosekrank ist. 4. \n* Etwas ist ein Berliner und tuberkulosekrank. 5. \n* Einige Berliner sind tuberkulosekrank. 6. \n* Jemand in/aus Berlin ist tuberkulosekrank. 7. \n* Ein Berliner ist tuberkulosekrank. Die Verifikation einer Existenzaussage geschieht durch Nachweis, dass es im Gegenstandsbereich tats\u00E4chlich einen Gegenstand mit der behaupteten Eigenschaft gibt. Die Falsifikation einer Existenzaussage setzt voraus, dass s\u00E4mtliche Gegenst\u00E4nde des Bezugsbereiches beurteilt werden k\u00F6nnen. Ist dies nicht m\u00F6glich, so l\u00E4sst sich eine Existenzaussage nur mehr oder weniger gut widerlegen. Dies veranlasst in den Erfahrungswissenschaften zum Teil zu der Annahme, dass Existenzaussagen solche Aussagen sind, \u201Edie zwar empirisch verifiziert, aber nicht empirisch falsifiziert werden k\u00F6nnen\u201C."@de . "Existential quantification"@en . "\uC220\uC5B4 \uB17C\uB9AC\uC5D0\uC11C \uC874\uC7AC \uC591\uD654(existential quantification)\uB780, \uC591\uD654\uC758 \uC77C\uC885\uC73C\uB85C, \uC8FC\uC5B4\uC9C4 \uC220\uC5B4\uB97C \uB9CC\uC871\uC2DC\uD0A4\uB294 \uAC1D\uCCB4\uAC00 \uB17C\uC758 \uC601\uC5ED\uC5D0 \uC801\uC5B4\uB3C4 \uD558\uB098 \uC874\uC7AC\uD568\uC744 \uB098\uD0C0\uB0B8\uB2E4. \uC774\uB294 \uB17C\uB9AC \uC5F0\uC0B0 \uAE30\uD638 \u2203\uB85C \uD45C\uD604\uB418\uBA70, \uC774 \uAE30\uD638\uB97C \uC874\uC7AC \uC591\uD654\uC0AC \uB610\uB294 \uC874\uC7AC \uAE30\uD638\uB77C \uD55C\uB2E4. \uBCF4\uD3B8 \uC591\uD654\uC0AC\uC640 \uD568\uAED8 \uC220\uC5B4 \uB17C\uB9AC\uC758 \uC8FC\uC694\uD55C \uC591\uD654\uC0AC\uC758 \uD558\uB098\uC774\uB2E4."@ko . . . . . "Quantifica\u00E7\u00E3o existencial"@pt . "Dalam logika predikat, kuantifikasi eksistensial adalah jenis kuantifer, yang sebagai \"ada\", \"setidaknya ada satu\", atau \"untuk beberapa\". Dilambangkan dengan \u2203, jika digunakan bersama dengan variabel predikat, disebut kunatifer eksistensial (\"\u2203x\" or \"\u2203(x)\"). Kuantifikasi eksistensial berbeda dari kuantifikasi universal (\"untuk semua\"), yang menegaskan bahwa sifat atau relasi untuk semua anggota domain. Beberapa sumber menggunakan istilah eksistensialisasi untuk merujuk pada kuantifikasi eksistensial."@in . . . "\uC874\uC7AC \uC591\uD654\uC0AC"@ko . . "\u0423 \u043B\u043E\u0433\u0456\u0446\u0456 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0456\u0432, \u043A\u0432\u0430\u043D\u0442\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u044F \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u2014 \u0442\u0438\u043F \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430, \u043B\u043E\u0433\u0456\u0447\u043D\u0430 \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u0430, \u044F\u043A\u0430 \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0443\u0454\u0442\u044C\u0441\u044F \u044F\u043A \u00AB\u0456\u0441\u043D\u0443\u0454\u00BB, \u00AB\u0454 \u043F\u0440\u0438\u043D\u0430\u0439\u043C\u043D\u0456 \u043E\u0434\u0438\u043D\u00BB \u0430\u0431\u043E \u00AB\u0434\u043B\u044F \u0434\u0435\u044F\u043A\u0438\u0445\u00BB. \u0414\u0435\u044F\u043A\u0456 \u0434\u0436\u0435\u0440\u0435\u043B\u0430 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u044E\u0442\u044C \u0442\u0435\u0440\u043C\u0456\u043D \u0435\u043A\u0437\u0438\u0441\u0442\u0435\u043D\u0446\u0456\u0430\u043B\u0456\u0437\u0430\u0446\u0456\u044F \u0434\u043B\u044F \u043F\u043E\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u043A\u0432\u0430\u043D\u0442\u0438\u0444\u0456\u043A\u0430\u0446\u0456\u0457 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F. \u0412\u043E\u043D\u0430 \u0437\u0430\u0437\u0432\u0438\u0447\u0430\u0439 \u043F\u043E\u0437\u043D\u0430\u0447\u0430\u0454\u0442\u044C\u0441\u044F \u0441\u0438\u043C\u0432\u043E\u043B\u043E\u043C \u043B\u043E\u0433\u0456\u0447\u043D\u043E\u0433\u043E \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u0430, \u044F\u043A\u0438\u0439 \u043F\u0440\u0438 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u0430\u043D\u043D\u0456 \u0440\u0430\u0437\u043E\u043C \u0437\u0456 \u0437\u043C\u0456\u043D\u043D\u043E\u044E \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442\u0443 \u043D\u0430\u0437\u0438\u0432\u0430\u0454\u0442\u044C\u0441\u044F \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u043E\u043C \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F ( \u0430\u0431\u043E ). \u041A\u0432\u0430\u043D\u0442\u043E\u0440 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u0432\u0456\u0434\u0440\u0456\u0437\u043D\u044F\u0454\u0442\u044C\u0441\u044F \u0432\u0456\u0434 \u043A\u0432\u0430\u043D\u0442\u043E\u0440\u0430 \u0437\u0430\u0433\u0430\u043B\u044C\u043D\u043E\u0441\u0442\u0456 (\u00AB\u0434\u043B\u044F \u0432\u0441\u0456\u0445\u00BB), \u044F\u043A\u0438\u0439 \u043F\u0440\u0438\u043F\u0443\u0441\u043A\u0430\u0454, \u0449\u043E \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u0456\u0441\u0442\u044C \u0430\u0431\u043E \u0432\u0456\u0434\u043D\u043E\u0448\u0435\u043D\u043D\u044F \u043C\u0430\u0454 \u043C\u0456\u0441\u0446\u0435 \u0434\u043B\u044F \u0432\u0441\u0456\u0445 \u0447\u043B\u0435\u043D\u0456\u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0456."@uk . . "Na l\u00F3gica de predicados, um quantificador existencial \u00E9 a predica\u00E7\u00E3o de uma propriedade ou rela\u00E7\u00E3o para, pelo menos, um elemento do dom\u00EDnio. O operador l\u00F3gico \u2203 \u00E9 usado para denotar a quantifica\u00E7\u00E3o existencial."@pt . . . . . . . "\uC220\uC5B4 \uB17C\uB9AC\uC5D0\uC11C \uC874\uC7AC \uC591\uD654(existential quantification)\uB780, \uC591\uD654\uC758 \uC77C\uC885\uC73C\uB85C, \uC8FC\uC5B4\uC9C4 \uC220\uC5B4\uB97C \uB9CC\uC871\uC2DC\uD0A4\uB294 \uAC1D\uCCB4\uAC00 \uB17C\uC758 \uC601\uC5ED\uC5D0 \uC801\uC5B4\uB3C4 \uD558\uB098 \uC874\uC7AC\uD568\uC744 \uB098\uD0C0\uB0B8\uB2E4. \uC774\uB294 \uB17C\uB9AC \uC5F0\uC0B0 \uAE30\uD638 \u2203\uB85C \uD45C\uD604\uB418\uBA70, \uC774 \uAE30\uD638\uB97C \uC874\uC7AC \uC591\uD654\uC0AC \uB610\uB294 \uC874\uC7AC \uAE30\uD638\uB77C \uD55C\uB2E4. \uBCF4\uD3B8 \uC591\uD654\uC0AC\uC640 \uD568\uAED8 \uC220\uC5B4 \uB17C\uB9AC\uC758 \uC8FC\uC694\uD55C \uC591\uD654\uC0AC\uC758 \uD558\uB098\uC774\uB2E4."@ko . "Existenskvantifikator"@sv . . . . . . . "\u5B58\u5728\u8A18\u53F7"@ja . . "En math\u00E9matiques et en logique, plus pr\u00E9cis\u00E9ment en calcul des pr\u00E9dicats, l'existence d'un objet x satisfaisant une certaine propri\u00E9t\u00E9, ou pr\u00E9dicat, P se note \u2203x P(x), o\u00F9 le symbole math\u00E9matique \u2203, lu \u00AB il existe \u00BB, est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propri\u00E9t\u00E9 P. L'objet x a la propri\u00E9t\u00E9 P(x) s'exprime par une formule du calcul des pr\u00E9dicats. Pour exemples, \n* dans une structure ordonn\u00E9e, \u00AB x est un \u00E9l\u00E9ment minimal \u00BB s'\u00E9crit \u2200 y x \u2264 y, \u00AB il existe un \u00E9l\u00E9ment minimal \u00BB s'\u00E9crit donc \u2203x \u2200 y x \u2264 y \n* dans une structure munie d'une loi binaire not\u00E9e +, \u00AB x est \u00E9l\u00E9ment neutre \u00BB se dit \u2200y ((y +x = y) \u2227 (x + y = y)), \u00AB il existe un \u00E9l\u00E9ment neutre \u00BB s'\u00E9crit donc \u2203x \u2200 y ((y +x = y) \u2227 (x + y = y)). Le quantificateur existentiel \u2203 est un op\u00E9rateur de liaison, ou signe mutificateur ; la variable qui suit imm\u00E9diatement le quantificateur est dite li\u00E9e, ou muette dans l'expression. Ainsi l'\u00E9nonc\u00E9 \u2203x P(x) ne d\u00E9pend pas de x, et il est synonyme par exemple de \u2203z P(z). L'\u00E9nonc\u00E9 peut se d\u00E9montrer directement par une construction explicite, en produisant l'objet consid\u00E9r\u00E9, ou indirectement par une d\u00E9monstration \u00E9ventuellement non constructive, comme dans le cas d'un raisonnement par l'absurde. Elle peut m\u00EAme \u00EAtre directement exprim\u00E9e par un axiome d'une th\u00E9orie math\u00E9matique. A priori, l'existence ne garantit pas l'unicit\u00E9, ce qui signifie qu'il peut exister plusieurs objets satisfaisant les m\u00EAmes propri\u00E9t\u00E9s, donc que l'obtention de tels objets par des m\u00E9thodes diff\u00E9rentes (ou par la r\u00E9p\u00E9tition d'une m\u00EAme m\u00E9thode) n'aboutira pas n\u00E9cessairement au m\u00EAme r\u00E9sultat. Lorsqu'il y a quantification existentielle unique, c'est-\u00E0-dire conjonction de l'existence et de l'unicit\u00E9, le pr\u00E9dicat est usuellement not\u00E9 \u00E0 l'aide du signe \u00AB \u2203! \u00BB, qui a la m\u00EAme syntaxe que le signe \u00AB \u2203 \u00BB. Les variables peuvent \u00EAtre astreintes \u00E0 des ensembles diff\u00E9rents, r\u00E9els, entiers, vecteurs... Il est souvent n\u00E9cessaire de pr\u00E9ciser explicitement dans la quantification le domaine auquel est astreinte la variable, par exemple \u2203x \u2208 \u211D P(x) pour indiquer que la variable x d\u00E9signe un r\u00E9el, avec diverses syntaxes possibles pour s\u00E9parer la quantification du pr\u00E9dicat (espace comme pr\u00E9c\u00E9demment, virgule : \u2203x \u2208 \u211D, P(x), etc.)."@fr . . "In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as \"there exists\", \"there is at least one\", or \"for some\". It is usually denoted by the logical operator symbol \u2203, which, when used together with a predicate variable, is called an existential quantifier (\"\u2203x\" or \"\u2203(x)\" or \"(\u2203x)\"). Existential quantification is distinct from universal quantification (\"for all\"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification."@en . "\u5B58\u5728\u8A18\u53F7\uFF08\u305D\u3093\u3056\u3044\u304D\u3054\u3046\u3001existential quantifier\uFF09\u3068\u306F\u3001\u6570\u7406\u8AD6\u7406\u5B66\uFF08\u7279\u306B\u8FF0\u8A9E\u8AD6\u7406\uFF09\u306B\u304A\u3044\u3066\u3001\u5C11\u306A\u304F\u3068\u30821\u3064\u306E\u30E1\u30F3\u30D0\u30FC\u304C\u8FF0\u8A9E\u306E\u7279\u6027\u3084\u95A2\u4FC2\u3092\u6E80\u305F\u3059\u3053\u3068\u3092\u8868\u3059\u8A18\u53F7\u3067\u3042\u308B\u3002\u901A\u5E38\u300C\u2203\u300D\u3068\u8868\u8A18\u3055\u308C\u3001\u5B58\u5728\u91CF\u5316\u5B50\uFF08\u305D\u3093\u3056\u3044\u308A\u3087\u3046\u304B\u3057\uFF09\u3001\u5B58\u5728\u9650\u91CF\u5B50\uFF08\u305D\u3093\u3056\u3044\u3052\u3093\u308A\u3087\u3046\u3057\uFF09\u3001\u5B58\u5728\u9650\u5B9A\u5B50\uFF08\u305D\u3093\u3056\u3044\u3052\u3093\u3066\u3044\u3057\uFF09\u306A\u3069\u3068\u3082\u547C\u3070\u308C\u308B\u3002\u3053\u306E\u8A18\u53F7\u306F1897\u5E74\u306B\u30B8\u30E5\u30BC\u30C3\u30DA\u30FB\u30DA\u30A2\u30CE\u306B\u3088\u3063\u3066\u5C0E\u5165\u3055\u308C\u305F\u3002 \u3053\u308C\u3068\u306F\u5BFE\u7167\u7684\u306B\u5168\u79F0\u8A18\u53F7\u306F\u3001\u5168\u3066\u306E\u30E1\u30F3\u30D0\u30FC\u306B\u3064\u3044\u3066\u306E\u91CF\u5316\u3067\u3042\u308B\u3002"@ja . "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. Ein Beispiel f\u00FCr eine Existenzaussage ist der Satz \u201EIn Berlin gibt es mindestens einen Tuberkulose-Kranken.\u201C Die logischen Eigenschaften der Existenzaussagen werden modern in der Pr\u00E4dikatenlogik und wurden traditionell als partikul\u00E4r bejahende und verneinende Urteile in der Syllogistik behandelt."@de . "En l\u00F2gica matem\u00E0tica, es fa servir el s\u00EDmbol: , anomenat quantificador existencial, anteposat a una variable per dir que hi ha almenys un element del conjunt a qu\u00E8 fa refer\u00E8ncia la variable, que compleix la proposici\u00F3 escrita a continuaci\u00F3. Normalment, en l\u00F2gica, el conjunt a qu\u00E8 es fa refer\u00E8ncia \u00E9s l'univers o domini de refer\u00E8ncia, que est\u00E0 format per totes les constants."@ca . . "\u5B58\u5728\u8A18\u53F7\uFF08\u305D\u3093\u3056\u3044\u304D\u3054\u3046\u3001existential quantifier\uFF09\u3068\u306F\u3001\u6570\u7406\u8AD6\u7406\u5B66\uFF08\u7279\u306B\u8FF0\u8A9E\u8AD6\u7406\uFF09\u306B\u304A\u3044\u3066\u3001\u5C11\u306A\u304F\u3068\u30821\u3064\u306E\u30E1\u30F3\u30D0\u30FC\u304C\u8FF0\u8A9E\u306E\u7279\u6027\u3084\u95A2\u4FC2\u3092\u6E80\u305F\u3059\u3053\u3068\u3092\u8868\u3059\u8A18\u53F7\u3067\u3042\u308B\u3002\u901A\u5E38\u300C\u2203\u300D\u3068\u8868\u8A18\u3055\u308C\u3001\u5B58\u5728\u91CF\u5316\u5B50\uFF08\u305D\u3093\u3056\u3044\u308A\u3087\u3046\u304B\u3057\uFF09\u3001\u5B58\u5728\u9650\u91CF\u5B50\uFF08\u305D\u3093\u3056\u3044\u3052\u3093\u308A\u3087\u3046\u3057\uFF09\u3001\u5B58\u5728\u9650\u5B9A\u5B50\uFF08\u305D\u3093\u3056\u3044\u3052\u3093\u3066\u3044\u3057\uFF09\u306A\u3069\u3068\u3082\u547C\u3070\u308C\u308B\u3002\u3053\u306E\u8A18\u53F7\u306F1897\u5E74\u306B\u30B8\u30E5\u30BC\u30C3\u30DA\u30FB\u30DA\u30A2\u30CE\u306B\u3088\u3063\u3066\u5C0E\u5165\u3055\u308C\u305F\u3002 \u3053\u308C\u3068\u306F\u5BFE\u7167\u7684\u306B\u5168\u79F0\u8A18\u53F7\u306F\u3001\u5168\u3066\u306E\u30E1\u30F3\u30D0\u30FC\u306B\u3064\u3044\u3066\u306E\u91CF\u5316\u3067\u3042\u308B\u3002"@ja .