Eksistens kvantifier

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 23. november 2019; verifikation kræver 1 redigering .

En eksistentiel kvantifikator ( eksistentiel kvantifier ) i prædikatlogik er et egenskabs- eller relationsprædikat for mindst ét element fra omfanget. Betegnes med det logiske operatorsymbol ∃ (udtales "eksisterer" eller "for nogle"). Den eksistentielle kvantifier skal adskilles fra den universelle kvantifier , da sidstnævnte specificerer påstanden om, at den specificerede egenskab eller relation gælder for alle elementer i domænet.

Symbolet (fra det engelske exist - 'at eksistere') for eksistenskvantatoren blev introduceret af den italienske matematiker Giuseppe Peano i 1897 , og symbolet, der betegner den universelle kvantifier, blev introduceret i 1935 af Gerhard Genzen . Konceptet var blevet foreslået tidligere, i 1879, i Gottlob Freges bog Begriffsschrift ("The Calculus of Concepts") [1] . $\eksisterer$ $\for alle$

Der er en modifikation af denne kvantifier, eksistens- og entydighedskvantifieren , som er en egenskab eller et relationsprædikat for ét og kun ét element i domænet. Benævnt ∃! og lyder "der findes og den eneste ene."

Læsemuligheder

Udtrykket lyder således: $(\eksisterer x\i X) P(x)$

der er [værdi] fra [ sæt ] sådan at [udsagn] er [sand]; $x$ $x$ $P(x)$
udsagnet er sandt for i det mindste nogle [værdier] tilhørende ; $P(x)$ $x$ $x$
der er et element i sættet , der har egenskaben ; $x$ $x$ $P(x)$
mindst (mindst) ét element i sættet har egenskaben ; $x$ $x$ $P(x)$
nogle elementer i sættet har egenskaben ; $x$ $P(x)$
der er en værdi fra sådan, at (for hvilken) er sand. $x$ $x$ $P(x)$

Kodning

grafem	Navn	Unicode	HTML	LaTeX
∃	DER FINDER	U+2203	∃	\exists
∄	DER FINDER IKKE	U+2204	∄	\nexists

Se også

Noter

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

Afledninger af det latinske bogstav " E, e "
Breve	Ja ē̃ è̃ 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ͥ Əə / Ǝǝ Ə̃ə̃ / Ǝ̃ǝ̃ Əə́ / Ǝ́ǝ́ Ǝ̋ǝ̋ Ə̀ə̀ / Ǝ̀ǝ̀ Ǝ̏ǝ̏ Ə̂ə̂ / Ǝ̂ǝ̂ Ə̄ə̄ / Ǝ̄ǝ̄ Ə̌ə̌ / Ǝ̌ǝ̌ Ǝ̍ǝ̍ Ə̧ə̧ Ə̧́ə̧́ Ə̧̀ə̧̀ Ə̣ə̣ Ə̣́ə̣́ Ə̣̀ə̣̀ ɘ ɘ̝ ᶒ ᶕ ᴇ ⱻ ⱸ ꬳ ꬴ ɚ Ææ ᴁ ᴂ Ǽǽ Æ̂æ̂ Æ̀æ̀ Ǣǣ Æ̃æ̃ Æ̈æ̈ Æ̨æ̨ æ̞ Œœ ɶ Œœ́ œ́̃ Œ̀œ̀ œ̀̃ Œ̂œ̂ Œ̌œ̌ œ̆ œ̆́ œ̆̀ Œ̄œ̄ œ̄ œ̄̀ Œ̈œ̈ œ̃ œ᷑ œ᷑ œ̀᷑ ᵫ ᴔ ꭀ ꭁ ꭂ ꬱ ꭢ ꬲ ꭡ
Bogstaver ce fra oven	Aͤaͤ en en en Oͤoͤ Uͤuͤ
Symboler	& ℮ ∃/∄ 𝔼 ℇ ℯ/ⅇ ℰ ₠ € 🜀 Ⓔⓔ ⒠