Létezési kvantor

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2019. november 23-án felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .

Az egzisztenciális kvantor ( egzisztenciális kvantor ) a predikátumlogikában egy tulajdonság vagy reláció predikátuma a hatókör legalább egy eleméhez. A ∃ logikai operátor szimbólum jelöli (kiejtve: "létezik" vagy "némelyek számára"). Az egzisztenciális kvantort meg kell különböztetni az univerzális kvantortól , mivel ez utóbbi azt az állítást adja meg, hogy a megadott tulajdonság vagy reláció a tartomány minden elemére érvényes.

A létezés-kvantifikátor szimbólumát (az angol létezésből – „ létezni ”) Giuseppe Peano olasz matematikus vezette be 1897 -ben, az univerzális kvantort jelölő szimbólumot pedig 1935-ben Gerhard Genzen . A koncepciót korábban, 1879-ben javasolta Gottlob Frege Begriffsschrift ("A fogalmak számítása") [1] című könyvében . $\létezik$ $\mindenkinek$

Ennek a kvantornak van egy módosítása, a létezés és egyediség kvantor , amely egy tulajdonság vagy reláció predikátuma a tartomány egyetlen eleméhez. Jelölve ∃! és azt írja, hogy "van és az egyetlen".

Olvasási lehetőségek

A kifejezés így hangzik: $(\x létezik\X-ben) P(x)$

van [érték] a [ halmazból ] úgy, hogy az [állítás] [igaz]; $x$ $x$ $P(x)$
az állítás legalább néhány -hoz tartozó [értékre] igaz ; $P(x)$ $x$ $x$
van a halmaznak olyan eleme, amely rendelkezik a tulajdonsággal ; $x$ $x$ $P(x)$
a halmaz legalább (legalább) egy eleme rendelkezik a tulajdonsággal ; $x$ $x$ $P(x)$
a halmaz egyes elemei rendelkeznek a tulajdonsággal ; $x$ $P(x)$
van olyan érték , amelyre (amelyre) igaz. $x$ $x$ $P(x)$

Kódolás

graféma	Név	Unicode	HTML	Latex
∃	LÉTEZIK	U+2203	∃	\exists
∄	NEM LÉTEZIK	U+2204	∄	\nexists

Lásd még

Jegyzetek

↑ Gottlob Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens . Halle, 1879.

A latin " E, e " betű származékai
Levelek	igen ē̃ è̃ Ee Ëé̈ É̤é̤ ē̃ ẽ Kk Le lu Ë̀ë̀ Ë̂ë̂ Ë̌ë̌ Ë̃ë̃ Ēē ē̃ Ē̤ē̤ Ĕĕ ĕ́ ĕ̀ ĕ̇ Ẹ̆ẹ̆ Ĕ̱ĕ̱ Ėė Ė̄ė̄ Ėʹėʹ Ė̃ė̃ Ęę Ęię Ę̀ę̀ Ę̂ę̂ Ę̌ę̌ Ę̄ę̄ Ę̄́ę̄ Ę̄̀ę̄̀ Ę̄̂ę̄̂ Ę̄̌ę̄̌ Ę̃ę̃ E᷎e᷎ Ẹ̃ẹ̃ Ẽ̱ẽ̱ Ę̈ę̈ Ę̈̀ę̈̀ Ę̈̂ę̈̂ Ę̈̌ę̈̌ Ěě Ȇȇ Ȩȩ Ḝḝ Ȩ́ȩ́ Ȩ̀ȩ̀ Ȩ̂ȩ̂ Ȩ̌ȩ̌ Ȩ̛ȩ̛ Ɇɇ Ḕḕ Ḗḗ Ē̂ē̂ Ē̌ē̌ Ḙḙ Ḛḛ Ẹẹ Ẹẹ́ Ẹ̀ẹ̀ Ẹ̄ẹ̄ Ẻẻ Ẽẽ Ẽ́ẽ́ Ẽ̀ẽ̀ Ẽ̂ẽ̂ Ẽ̌ẽ̌ Ẽ̍ẽ̍ Ệệ Ếế Ềề Ểể Ê̆ê̆ Ễễ E̛e̛ E̊e̊ e̋e̋ Ȅȅ E̍e̍ E̱e̱ E̱é̱ È̱è̱ Ê̱ḵ Ě̱ě̱ Ē̱ē̱ Ḗ̱ḗ̱ Ḕ̱ḕ̱ Ē̱̂ē̱̂ Ë̱ë̱ Ĕ̤ĕ̤ E̲e̲ E̤e̤ Ê̤ê̤ E̤̍e̤̍ È̤è̤ Ê̌ê̌ Ê̄ê̄ e᷑ e᷑ e᷑ E᷆e᷆ E᷇e᷇ eͥ Əə / Ǝǝ Ə̃ə̃ / Ǝ̃ǝ̃ Əə́ / Ǝ́ǝ́ Ǝ̋ǝ̋ Ə̀ə̀ / Ǝ̀ǝ̀ Ǝ̏ǝ̏ Ə̂ə̂ / Ǝ̂ǝ̂ Ə̄ə̄ / Ǝ̄ǝ̄ Ə̌ə̌ / Ǝ̌ǝ̌ Ǝ̍ǝ̍ Ə̧ə̧ Ə̧́ə̧́ Ə̧̀ə̧̀ Ə̣ə̣ Ə̣́ə̣́ Ə̣̀ə̣̀ ɘ ɘ̝ ᶒ ᶕ ᴇ ⱻ ⱸ ꬳ ꬴ ɚ Ææ ᴁ ᴂ Ǽǽ Æ̂æ̂ Æ̀æ̀ Ǣǣ Æ̃æ̃ Æ̈æ̈ Æ̨æ̨ æ̞ Œœ ɶ Œœ́ œ́̃ Œ̀œ̀ œ̀̃ Œ̂œ̂ Œ̌œ̌ œ̆ œ̆́ œ̆̀ Œ̄œ̄ œ̄ œ̄̀ Œ̈œ̈ œ̃ œ᷑ œ᷑ œ̀᷑ ᵫ ᴔ ꭀ ꭁ ꭂ ꬱ ꭢ ꬲ ꭡ
ce betűk felülről	Aͤaͤ aͤ̀ aͤ̆ aͤ̃ Oͤoͤ U u
Szimbólumok	& ℮ ∃/∄ 𝔼 ℇ ℯ/ⅇ ℰ ₠ € 🜀 Ⓔⓔ ⒠