Sample Mind Map

もっと見る

Sample Mind Map

Geraldin Viquezにより

Sample Mind Map

GILMA RODRIGUEZにより

Treballar al núvol

MARIA CARMEN BUENO SOTOにより

verbos mas ING

Erickson Salesにより

-JUAN DAVID AROCA.-

Ǝx

algunos pajaros cantan en la madrugada y de noche, Ǝ(pajaros(x)→cantan en la madrugada (x)∧cantan en la noche (x)).

Existe almenos un ingeniero o un veterinario en la familia, Ǝx(x)→ingeniero(x)∨veterinario(x))

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

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 -

si se desea representar la expresion : ¨algunos estudiantes son jiciosos ¨ se podria restructurar y representar de la siguiente manera: Ǝx(universitario)∧ juiciosos (x)).

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

cuantificador existencial

ejemplos

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

DEFINICION