Existens kvantifierare

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 23 november 2019; verifiering kräver 1 redigering .

En existentiell kvantifierare ( existentiell kvantifierare ) i predikatlogik är ett egenskaps- eller relationspredikat för minst ett element från omfånget. Betecknas med den logiska operatorsymbolen ∃ (uttalas "finns" eller "för vissa"). Den existentiella kvantifieraren måste särskiljas från den universella kvantifieraren , eftersom den senare specificerar påståendet att den specificerade egenskapen eller relationen gäller för alla element i domänen.

Symbolen (från engelskan exist - 'att existera') för existenskvantifieraren introducerades av den italienske matematikern Giuseppe Peano 1897 , och symbolen som betecknar den universella kvantifieraren introducerades 1935 av Gerhard Genzen . Konceptet hade föreslagits tidigare, 1879, i Gottlob Freges bok Begriffsschrift ("The Calculus of Concepts") [1] . $\existerar$ $\för alla$

Det finns en modifiering av denna kvantifierare, existens- och unikhetskvantifieraren , som är ett egenskaps- eller relationspredikat för ett och endast ett element i domänen. Betecknas ∃! och lyder "det finns och den enda."

Läsalternativ

Uttrycket lyder så här: $(\finns x\i X) P(x)$

det finns [värde] från [ set ] så att [påstående] är [sant]; $x$ $X$ $P(x)$
påståendet är sant för åtminstone några [värden] som tillhör ; $P(x)$ $x$ $X$
det finns ett element i uppsättningen som har egenskapen ; $x$ $X$ $P(x)$
minst (minst) ett element i uppsättningen har egenskapen ; $x$ $X$ $P(x)$
vissa delar av uppsättningen har egenskapen ; $X$ $P(x)$
det finns ett värde från sådant som (för vilket) är sant. $x$ $X$ $P(x)$

Kodning

grafem	namn	Unicode	HTML	Latex
∃	DET EXISTERAR	U+2203	∃	\exists
∄	DET FINNS INTE	U+2204	∄	\nexists

Se även

Anteckningar

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

Derivater av den latinska bokstaven " E, e "
Brev	Eder ē̃ è̃ 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ͥ Əə / Ǝǝ Ə̃ə̃ / Ǝ̃ǝ̃ Əə́ / Ǝ́ǝ́ Ǝ̋ǝ̋ Ə̀ə̀ / Ǝ̀ǝ̀ Ǝ̏ǝ̏ Ə̂ə̂ / Ǝ̂ǝ̂ Ə̄ə̄ / Ǝ̄ǝ̄ Ə̌ə̌ / Ǝ̌ǝ̌ Ǝ̍ǝ̍ Ə̧ə̧ Ə̧́ə̧́ Ə̧̀ə̧̀ Ə̣ə̣ Ə̣́ə̣́ Ə̣̀ə̣̀ ɘ ɘ̝ ᶒ ᶕ ᴇ ⱻ ⱸ ꬳ ꬴ ɚ Ææ ᴁ ᴂ Ǽǽ Æ̂æ̂ Æ̀æ̀ Ǣǣ Æ̃æ̃ Æ̈æ̈ Æ̨æ̨ æ̞ Œœ ɶ Œœ́ œ́̃ Œ̀œ̀ œ̀̃ Œ̂œ̂ Œ̌œ̌ œ̆ œ̆́ œ̆̀ Œ̄œ̄ œ̄ œ̄̀ Œ̈œ̈ œ̃ œ᷑ œ᷑ œ̀᷑ ᵫ ᴔ ꭀ ꭁ ꭂ ꬱ ꭢ ꬲ ꭡ
Bokstäver ce från ovan	Aͤaͤ aͤ̀ aͤ̆ aͤ̃ Oͤoͤ U u
Symboler	& ℮ ∃/∄ 𝔼 ℇ ℯ/ⅇ ℰ ₠ € 🜀 Ⓔⓔ ⒠