Cuantificadores. - created from Mind Map

Página 1

Un cuantificador es un símbolo que se utiliza para indicar los elementos de un conjunto dado satisfacen un atributo específico (por ejemplo, pertenencia, equivalencia u orden). Hay muchos tipos de cuantificadores, los más utilizados son:

Cuantificador existencial.

Cuantificador universal.

Un cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto cumplen con una determinada propiedad

Ejemplo: ∀x∈A:P(x) Para todo x perteneciente a A, se cumple P(x). Esta afirmación suele usarse como la equivalente de la proposición siguiente: A={x∈U:P(x)} Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Un 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. Se escribe: ∃x∈A:P(x) Existe x en A que cumple P(x).