algunas de las frases con las que se identifica generalmente este cuantificador son: existe al menos un X, para algún X, para algunos x, existe un X tal que, algunos x, cuando menos x.
Subtema
ejemplos
por ejemplo si se quiere reptresentar la expresion ¨ existe al menos un mexicano que escribe poemas y es politico , se puede formalizar de la siguiente manera: ƎX(mexicano (X)→escribe poemas (x)∧politico(x)).
ejemplo
Subtema
si se desea representar la expresion : ¨algunos estudiantes son jiciosos ¨ se podria restructurar y representar de la siguiente manera: Ǝx(universitario)∧ juiciosos (x)).
es otro tipo de cuantificador dentro del calculo de predicados, el cual indica ALGUN o ALGUNOS valores son verdaderos dentro de un dominio o contexto especifico -
sea A una exprecion, y sea X una veriable, si deseamos indicar que A es verdadero para cuando menos un valor de X escribimos ƎxA, esta frase se lee 'existe un tal que A aqui ƎxA se denomina cuantificador existencial, y se dice que A es el ambito (alcanse) del cuantificador existencial, se dce que la variable X esta ligada por el cuantificador
Existe almenos un ingeniero o un veterinario en la familia, Ǝx(x)→ingeniero(x)∨veterinario(x))
algunos pajaros cantan en la madrugada y de noche, Ǝ(pajaros(x)→cantan en la madrugada (x)∧cantan en la noche (x)).
