Cuantificador de existencia

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 23 de noviembre de 2019; la verificación requiere 1 edición .

Un cuantificador existencial ( existential quantifier ) en lógica de predicados es un predicado de propiedad o relación para al menos un elemento del alcance. Denotado por el símbolo del operador lógico ∃ (pronunciado "existe" o "para algunos"). El cuantificador existencial debe distinguirse del cuantificador universal , ya que este último especifica la afirmación de que la propiedad o relación especificada se cumple para todos los elementos del dominio.

El símbolo (del inglés exist - 'existir') para el cuantificador de existencia fue introducido por el matemático italiano Giuseppe Peano en 1897 , y el símbolo que denota el cuantificador universal fue introducido en 1935 por Gerhard Genzen . El concepto había sido propuesto anteriormente, en 1879, en el libro de Gottlob Frege Begriffsschrift ("El cálculo de los conceptos") [1] . $\existe$ $\para todos$

Hay una modificación de este cuantificador, el cuantificador de existencia y unicidad , que es un predicado de propiedad o relación para uno y sólo un elemento del dominio. Denotado ∃! y dice "existe y es el único".

Opciones de lectura

La expresión dice así: $(\existe x\en X) P(x)$

hay [valor] de [ conjunto ] tal que [afirmación] es [verdadero]; $X$ $X$ $P(x)$
la afirmación es verdadera para al menos algunos [valores] pertenecientes a ; $P(x)$ $X$ $X$
hay un elemento del conjunto que tiene la propiedad ; $X$ $X$ $P(x)$
al menos (al menos) un elemento del conjunto tiene la propiedad ; $X$ $X$ $P(x)$
algunos elementos del conjunto tienen la propiedad ; $X$ $P(x)$
hay un valor de tal que (para el cual) es verdadero. $X$ $X$ $P(x)$

Codificación

grafema	Nombre	Unicode	HTML	Látex
∃	EXISTE	U+2203	∃	\exists
∄	NO EXISTE	U+2204	∄	\nexists

Véase también

Notas

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

Derivados de la letra latina " E, e "
Letras	S.M mi mi Eee Ëé̈ É̤é̤ mi mi kk Le Lu Ë̀ë̀ Ë̂ë̂ Ë̌ë̌ Ë̃ë̃ Ēē mi Ē̤ē̤ Ĕĕ mi mi mi Ẹ̆ẹ̆ Ĕ̱ĕ̱ Ėė Ė̄ė̄ Ėʹėʹ Ė̃ė̃ Ęę Ę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᷇ mi Əə / Ǝǝ Ə̃ə̃ / Ǝ̃ǝ̃ Əə́ / Ǝ́ǝ́ Ǝ̋ǝ̋ Ə̀ə̀ / Ǝ̀ǝ̀ Ǝ̏ǝ̏ Ə̂ə̂ / Ǝ̂ǝ̂ Ə̄ə̄ / Ǝ̄ǝ̄ Ə̌ə̌ / Ǝ̌ǝ̌ Ǝ̍ǝ̍ Ə̧ə̧ Ə̧́ə̧́ Ə̧̀ə̧̀ Ə̣ə̣ Ə̣́ə̣́ Ə̣̀ə̣̀ ɘ ɘ̝ ᶒ ᶕ ᴇ ⱻ ⱸ ꬳ ꬴ ɚ Ææ ᴁ ᴂ Ǽǽ Æ̂æ̂ Æ̀æ̀ Ǣǣ Æ̃æ̃ Æ̈æ̈ Æ̨æ̨ æ̞ oo ɶ Œœ́ œ́̃ Œ̀œ̀ œ̀̃ Œ̂œ̂ Œ̌œ̌ œ̆ œ̆́ œ̆̀ Œ̄œ̄ œ̄ œ̄̀ Œ̈œ̈ œ̃ œ᷑ œ᷑ œ̀᷑ ᵫ ᴔ ꭀ ꭁ ꭂ ꬱ ꭢ ꬲ ꭡ
Letras ce desde arriba	Automóvil club británico a a a Oͤoͤ uͤuͤ
simbolos	& ℮ ∃/∄ 𝔼 ℇ ℯ/ⅇ ℰ ₠ € 🜀 Ⓔⓔ ⒠