Cuantificador

Un cuantificador  es un nombre general para las operaciones lógicas que limitan el alcance de la verdad de un predicado y crean una declaración . Mencionado con más frecuencia:

En lógica matemática, la asignación de un cuantificador a una fórmula se denomina vinculación o cuantificación .

En la lógica polivalente , también se introducen otros cuantificadores, por ejemplo, el cuantificador de pluralidad (cuantificador de Rescher) (denotado por una M invertida , se lee "para la mayoría...").

Ejemplos

Denota el predicado " x es divisible por 9". Usando el cuantificador universal , uno puede escribir formalmente las siguientes declaraciones (por supuesto, falsas):

  1. cualquier número natural es múltiplo de 9;
  2. todo número natural es múltiplo de 9;
  3. todos los números naturales son múltiplos de 9;

de la siguiente manera:

.

Las siguientes declaraciones (ya verdaderas) usan el cuantificador existencial :

  1. hay números naturales que son múltiplos de 9;
  2. hay un número natural que es múltiplo de 9;
  3. al menos un número natural es múltiplo de 9.

Su notación formal es:

.

Introducción al concepto

Deje que el predicado : "Un número primo es impar" se dé en el conjunto de números primos. Sustituya la palabra "cualquiera" antes de este predicado. Obtenemos la declaración falsa "cualquier número primo es impar" (esta declaración es falsa, ya que 2 es un número primo par).

Sustituyendo la palabra "existe" antes de este predicado , obtenemos la afirmación verdadera "Hay un número primo que es impar" (por ejemplo, ).

Así, es posible convertir un predicado en un enunciado anteponiendo al predicado las palabras (“todo”, “existe”, y otras), que en lógica se denominan cuantificadores.

Cuantificadores en lógica matemática

("Para todos los valores , la afirmación es verdadera").

("Existe bajo el cual la declaración es verdadera").

Variables libres y enlazadas

El conjunto de variables libres* de la fórmula F se define recursivamente, como sigue:

Variables libres.

fórmula cerrada.

Variable asociada.

Cambio de nombre enlazado, cambio de nombre libre

Operaciones sobre cuantificadores

La regla de negación de cuantificadores  se utiliza para construir negaciones de enunciados que contienen cuantificadores y tiene la forma:


Historial de apariciones

Los filósofos han prestado atención durante mucho tiempo a las operaciones lógicas que limitan el alcance de la verdad de un predicado, pero no las destacaron como una clase separada de operaciones. Entonces, Thomas Hobbes creía que son partes de nombres [1] .

Aunque las construcciones lógico-cuantificadores son ampliamente utilizadas tanto en el lenguaje científico como en el cotidiano, su formalización tuvo lugar recién en 1879  , en el libro de Frege "El Cálculo de Conceptos". La notación de Frege parecía construcciones gráficas engorrosas y no fue aceptada. Posteriormente, se propusieron muchos más símbolos exitosos, pero la notación para el cuantificador de existencia (primera letra invertida del inglés Exists  - existe), propuesta por Charles Pierce en 1885  , y para el cuantificador general ( alemán: Alle    - "todo", "todos"), formado por Gerhard Gentzen en 1935  por analogía con el símbolo del cuantificador existencial. Los términos "cuantificador", "cuantificación" también fueron propuestos por Peirce.

Notas

  1. "Pero las palabras: any, any, some, etc., que indican el significado general o particular de otras palabras, no son nombres, sino solo partes de nombres". (Thomas Hobbes "Sobre el cuerpo")

Literatura

Enlaces