Cuantificador

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están:

Para todo x, y...
Existe al menos un x, y...
  • Cuantificador existencial único
Existe exactamente un x, y...
  • Negación del cuantificador existencial
No existe ningún x, y...

Declaraciones cuantificadas

Las declaraciones cuantificadas se escriben en la forma:

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

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

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

Other Languages
български: Квантор
čeština: Kvantifikátor
dansk: Kvantor
Deutsch: Quantor
Esperanto: Kvantigilo
فارسی: سور
עברית: כמת
italiano: Quantificatore
日本語: 量化
Кыргызча: Квантор
Bahasa Melayu: Pengkuantitian
Nederlands: Kwantor (logica)
português: Quantificação
русский: Квантор
Simple English: Logical quantifier
svenska: Kvantifikator
українська: Квантор