Cuantificator de existență

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 23 noiembrie 2019; verificarea necesită 1 editare .

Un cuantificator existențial ( cuantificator existențial ) în logica predicatului este o proprietate sau un predicat de relație pentru cel puțin un element din domeniu. Notat prin simbolul operator logic ∃ (pronunțat „există” sau „pentru unii”). Cuantificatorul existențial trebuie să fie distins de cuantificatorul universal , deoarece acesta din urmă specifică afirmația că proprietatea sau relația specificată este valabilă pentru toate elementele domeniului.

Simbolul (din engleză exist - „a exista”) pentru cuantificatorul existenței a fost introdus de matematicianul italian Giuseppe Peano în 1897 , iar simbolul care denotă cuantificatorul universal a fost introdus în 1935 de Gerhard Genzen . Conceptul fusese propus mai devreme, în 1879, în cartea lui Gottlob Frege Begriffsschrift („Calculul conceptelor”) [1] . $\există$ $\pentru toți$

Există o modificare a acestui cuantificator, cuantificatorul de existență și unicitate , care este o proprietate sau predicat de relație pentru unul și doar un element al domeniului. Notat ∃! și citește „există și singurul”.

Opțiuni de citire

Expresia sună astfel: $(\există x\în X) P(x)$

există [valoare] de la [ set ] astfel încât [afirmația] este [adevărat]; $X$ $X$ $P(x)$
afirmația este adevărată pentru cel puțin unele [valori] aparținând lui ; $P(x)$ $X$ $X$
există un element al mulţimii care are proprietatea ; $X$ $X$ $P(x)$
cel puțin (cel puțin) un element al mulțimii are proprietatea ; $X$ $X$ $P(x)$
unele elemente ale multimii au proprietatea ; $X$ $P(x)$
există o valoare din care (pentru care) este adevărată. $X$ $X$ $P(x)$

Codificare

grafem	Nume	Unicode	HTML	LaTeX
∃	EXISTA	U+2203	∃	\exists
∄	NU EXISTA	U+2204	∄	\nexists

Vezi și

Note

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

Derivate ale literei latine " E, e "
Scrisori	Voi ē̃ è̃ 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ͥ Əə / Ǝǝ Ə̃ə̃ / Ǝ̃ǝ̃ Əə́ / Ǝ́ǝ́ Ǝ̋ǝ̋ Ə̀ə̀ / Ǝ̀ǝ̀ Ǝ̏ǝ̏ Ə̂ə̂ / Ǝ̂ǝ̂ Ə̄ə̄ / Ǝ̄ǝ̄ Ə̌ə̌ / Ǝ̌ǝ̌ Ǝ̍ǝ̍ Əə Ə́ə́ Ə̀ə̀ Ə̣ə̣ Ə̣́ə̣́ Ə̣̀ə̣̀ ɘ ɘ̝ ᶒ ᶕ ᴇ ⱻ ⱸ ꬳ ꬴ ɚ Ææ ᴁ ᴂ Ǽǽ Æ̂æ̂ Æ̀æ̀ Ǣǣ Æ̃æ̃ Æ̈æ̈ Æ̨æ̨ æ̞ Œœ ɶ Œœ́ œ́̃ Œ̀œ̀ œ̀̃ Œ̂œ̂ Œ̌œ̌ œ̆ œ̆́ œ̆̀ Œ̄œ̄ œ̄ œ̄̀ Œ̈œ̈ œ̃ œ᷑ œ᷑ œ̀᷑ ᵫ ᴔ ꭀ ꭁ ꭂ ꬱ ꭢ ꬲ ꭡ
Literele ce de sus	Aͤaͤ A A A Oͤoͤ Uͤuͤ
Simboluri	& ℮ ∃/∄ 𝔼 ℇ ℯ/ⅇ ℰ ₠ € 🜀 Ⓔⓔ ⒠