Cuantificador

Saltar a navegación, búsqueda

En Teoría de conjuntos, un cuantificador se utiliza para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen tres tipos de cuantificadores, cuyas características resumimos en la siguiente tabla:

Cuantificador universal

$\forall \, x, y \ldots$

Para todo x, y...

Cuantificador existencial

$\exists \, x, y \ldots$

Existe/n por lo menos un/os x, y...

Cuantificador existencial único

$\exists ! \, x, y \ldots$

Existe un único x, y...

Negación del cuantificador existencial

$\nexists \, x, y \ldots$

No existe ningún x, y...

Declaraciones cuantificadas

Las declaraciones cuantificadas se escriben en la forma:

$\forall \, x \in \mathbb{R} \; : \quad 2x \in \mathbb{R}$

Para todo x que pertenece a R, se cumple que: 2x pertenece a R.

$\forall \, a \in \mathbb{R} , \quad \exists \, x \in \mathbb{R} \; : \quad a < x < (a + 1)$

Para todo a que pertenece a R, existe x que pertenece a R, que esta comprendido entre a y a+1.

$\forall \, a \in \mathbb{R} , \quad \exists ! \, x \in \mathbb{R} \; : \quad a \cdot x=1$

Para todo a que pertenece a R, existe un único x que pertenece a R, que cumple que a por x es igual a 1.

Proposiciones

Proposición 1.

El cuantificador universal, representado por $\forall$ . Este cuantificador se emplea para afirmar que todos los elementos de un conjunto que cumplen una determinada propiedad. Se escribe:

$\forall \, x \in A \quad p(x)$ .

La proposición 1 suele usarse como la equivalente de la proposición siguiente:

$\{x\in A\mid\quad p(x)\}\ = A$

Proposición 2.

El cuantificador existencial se usa para indicar que hay un/os elemento/s en el conjunto $~A$ (no necesariamente único/s) que cumplen una determinada propiedad. Se escribe:

$\exists \, x, y \in A\quad p(x), p(y)$ .

La proposición 2 suele interpretarse como la equivalente de la proposición siguiente:

$\{x, y \in A\mid\quad p(x), p(y)\}\neq\emptyset$

Proposición 3.

El cuantificador existencial con marca de unicidad se usa para indicar que hay un/os elemento/s de un conjunto $~A$ que cumple/n una determinada propiedad, y es/son único/s. Se escribe:

$\exists ! \, x, y \in A \quad p(x), p(y)$ .

Equivalencias

Se definen:

$\neg(\forall_{x\in A}\quad p(x))\qquad\Leftrightarrow\qquad\exist_{x\in A}\quad\neg p(x)$

$\neg(\exist_{x\in A}\quad p(x))\qquad\Leftrightarrow\qquad\forall_{x\in A}\quad\neg p(x)$

Véase también

Obtenido de "Cuantificador"

Categorías: Teoría de conjuntos | Lógica

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

cuantificador — 1. m. Elemento o palabra que cuantifica. 2. Mat. Símbolo antepuesto que relaciona una o más variables con una cantidad. cuantificador existencial. m. Mat. Símbolo que indica que existe al menos un elemento de un conjunto que cumple una… … Diccionario de la lengua española
cuantificador — sustantivo masculino 1. Área: gramática Palabra que se refiere a otra y significa una cantidad, como los numerales o algunos indefinidos: Todas las lenguas tienen cuantificadores … Diccionario Salamanca de la Lengua Española
cuantificador — ► sustantivo masculino 1 LÓGICA Elemento que se usa para expresar la cantidad en un enunciado o un juicio. 2 LINGÜÍSTICA Determinante que expresa idea de cantidad: ■ todo y dos son cuantificadores. * * * cuantificador. m. Elemento o palabra que… … Enciclopedia Universal
cuantificador — {{＃}}{{LM C11081}}{{〓}} {{［}}cuantificador{{］}} ‹cuan·ti·fi·ca·dor› {{《}}▍ s.m.{{》}} {{♂}}En gramática,{{♀}} término que cuantifica a otro o expresa la cantidad de otro: • ‘Tres’ en español es un cuantificador.{{○}} … Diccionario de uso del español actual con sinónimos y antónimos
Cuantificador universal — En lógica matemática, se usa el símbolo , denominado cuantificador universal, antepuesto a una variable para decir que para todo elemento de un cierto conjunto se cumple la proposición dada a continuación. En texto se puede representar con el… … Wikipedia Español
Cuantificador existencial — En el lenguaje de predicados en lógica matemática, se usa el símbolo: , llamado cuantificador existencial, antepuesto a una variable para decir que existe al menos un elemento del conjunto al que hace referencia la variable, que cumple la… … Wikipedia Español
Cuantificador universal — En lógica y matemáticas, se usa el símbolo ∀, denominado cuantificador universal, antepuesto a una variable para decir que «para todo» elemento de un cierto conjunto se cumple la proposición dada a continuación. Normalmente, en lógica, el… … Enciclopedia Universal
Cuantificador existencial — En lógica y en matemáticas, se usa el símbolo ∃, llamado cuantificador existencial, antepuesto a una variable para decir que «existe» al menos un elemento del conjunto al que hace referencia la variable, que cumple la proposición escrita a… … Enciclopedia Universal
cuantificador — s m Signo, especialmente lingüístico, que expresa cantidad, como: dos, treinta, algunos, mucho. nada … Español en México
Ruido de cuantificación — Saltar a navegación, búsqueda Figura 1: Procesos de la conversión A/D. Se define como error de cuantificación o ruido de cuantificación a la señal en tiempo discreto y amplitud continua introducida por el proceso de cuantificación (uno de los… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Cuantificador

Cuantificador

Contenido

Declaraciones cuantificadas