P. 1
CUANTIFICADORES

CUANTIFICADORES

|Views: 1.065|Likes:
Publicado porlitto7

More info:

Published by: litto7 on Nov 26, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less

05/28/2013

pdf

text

original

CUANTIFICADORES

teoría de conjuntos y matemáticas en general. los cuantificadores son símbolos utilizados para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad.CUANTIFICADORES y En lógica. pero quizás los más estudiados y utilizados sean: . Existen muchos tipos de cuantificadores.

..y« Existe al menos un x. . Cuantificador existencial x.y« No existe ningún x.. y.. Negación del cuantificador existencial x.y« Existe exactamente un x. y.y« Para todo x.. Cuantificador existencial único ! x. y. y.TIPOS DE CUANTIFICADORES: y y y y Cuantificador universal V x....

x R: a ½ x ½ (a+1) .y Declaraciones cuantificadas: Las declaraciones cuantificadas se escriben en la forma: V x R . se cumple que 2x pertenece a R. Vx R . 2x R Para todo x que pertenece a R.

existe x que pertenece a R. que cumple que a por x es igual a 1. que esta comprendido entre a y a+1. ! x R: a.x=1 Para todo a que pertenece a R diferente de cero.Para todo a que pertenece a R. . V x R ± {0} . existe un único x que pertenece a R.

Cuantificación universal: y El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto cumplen con una determinada propiedad. Por ejemplo: V x A P(x) Esta afirmación suele usarse como la equivalente de la proposición siguiente: {x A l P(x)}=A .

Cuantificación existencial: y El cuantificador existencial se usa para indicar que hay uno o más elementos en el conjunto A (no necesariamente único/s) que cumplen una determinada propiedad.y A I p(x). p(y) Esta proposición suele interpretarse como la equivalente de la proposición siguiente: {x.y A p(x). Se escribe: x.q(y) .

y A p(x). q(y) Se lee "Existe una única pareja de elementos de A cumpliendo una p y otra q³. . Se escribe: ! x.Cuantificación existencial único: y El cuantificador existencial con marca de unicidad se usa para indicar que hay un único elemento de un conjunto A que cumple una determinada propiedad.

Equivale cias: y Se defi e : -V x A P(x) @ x A ±P(x) .x A P(x) @ V x A ± P(x) .

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->